Several PhD student and postdoctoral position in "Automation of Logic", Saarbruecken (Germany)

The Max Planck Institute for Informatics seeks several Researchers at the PHD Student or Postdoc level for the Automation of Logic Group directed by Christoph Weidenbach. We are looking for applicants with a background and interest in Automated Reasoning, including areas like SAT, Tableau, Rewriting, Superposition or theory reasoning with respect to arithmetic or data structures.

The Max Planck Institute for Informatics is located on the campus of Saarland University, Saarbrücken, Germany. Currently, 14 researchers from several nationalities work in the Automation of Logic Group. Our working language is English. The group collaborates with several of the major research institutions in Europe and the U.S. and has high international visibility. There is generous travel support available for all group members. Depending on qualification positions are between 1,300 and 2,600 Euros per month, after taxes.

Please send your application by September 30, 2010. For more information, see http://www.mpi-inf.mpg.de/departments/rg1/offers.html or contact Jennifer Müller at jmueller at mpi-inf.mpg.de.