The Scalable Automated Reasoning group at KIT (Karlsruhe, Germany) is looking for a doctoral researcher (a.k.a. PhD student) to begin ASAP. Our aim is to study and advance crucial tools at the core of automated reasoning, such as the satisfiability of propositional formulas (SAT), with a focus on parallel/distributed systems. The position is full-time and compensated with TVÖD E13.

Website: https://s.kit.edu/satres-phd
Email: dominik.schreiber@kit.edu