Postdoctoral Researcher in Automated Reasoning

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.