Postdoctoral Researcher in Automated Reasoning

Posted: 31 May 2026 - Saarbrucken, Germany

About this opening

The Automation of Logic research group at the Max Planck Institute for Informatics invites applications for two postdoctoral researcher positions in automated reasoning, focusing on SAT solving, theory reasoning, and formal verification.

Position details

Role area: postdoc
Research field: Computer Science
Research topic: Automated Reasoning

Related openings

More at Max Planck Institut fur Informatik More in Germany More in Computer Science More about Automated Reasoning Browse all open jobs