Max Planck Institut fur Informatik is hiring:
https://tenuretracker.info/l/RDW4SnmC/applications-for-postdoc-positions
#postdoc
---
Extract: 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.