Offers

Applications for PostDoc Positions

Postdoctoral Positions in Automated Reasoning

The Automation of Logic research group led by Christoph Weidenbach at the Max Planck Institute for Informatics in Saarbrücken, Germany, is inviting applications for two postdoctoral researcher positions.

Successful candidates are expected to conduct research in automated reasoning, including areas such as SAT solving, theory reasoning, SMT, first-order logic (FOL) reasoning, and formal verification.

The positions are available for a duration of two to six years, with a negotiable start date.

One of the positions is a non-tenured professor development position. Depending on qualifications and performance, the successful candidate may be promoted to a position equivalent to Assistant Professor in the Department of Computer Science at Saarland University, including the right to supervise PhD students.

The positions do not include mandatory teaching duties; however, opportunities for teaching at the Master’s level are available. The Automation of Logic group maintains strong ties with the automated reasoning group of Stephan Merz at INRIA Nancy, providing further excellent opportunities for collaboration and joint research.

Applications, including a CV, as well as inquiries, should be sent to Jennifer Müller.
 

Lise Meitner Award Postdoctoral Fellowship for Excellent Women in Computer Science

The Max Planck Institute for Informatics is looking for excellent female computer scientists, offering them PostDoc positions to develop their scientific ideas without exertion of influence.

For more information please see Lise Meitner Award Postdoctoral Fellowship or contact meitner-award@mpi-inf.mpg.de

Applications for Ph.D. Positions

IMPRS-TRUST International Max Planck Research School on Trustworthy Computing

The International Max Planck Research School on Trustworthy Computing (IMPRS-TRUST) is a graduate program jointly run by the Max Planck Institute for Informatics (MPI-INF), the Max Planck Institute for Software Systems (MPI-SWS), the Computer Science Department at Saarland University, and the Computer Science Department at TU Kaiserslautern.

To apply for Ph.D. positions, please see International Max Planck Research School.

Applications for Internships

For internship opportunities at Max Planck Institutes in Computer Science, please apply here.