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 opportunities for collaboration and joint research.
Applications, including a CV, as well as inquiries, should be sent to Jennifer Müller (jmueller [at] mpi-inf.mpg.de).