Assistant Professor position in Formal Methods and Automated Reasoning, Leiden University (The Netherlands)

The Faculty of Science at Leiden University, through the Leiden Institute of Advanced Computer Science (LIACS), invites applications for an Assistant Professor position (0.8–1.0 FTE) in Formal Methods, with a focus on Automated Reasoning. We seek a candidate with a strong foundation in formal techniques, algorithms, and computational logic, who is eager to apply these methods to real-world challenges in computer science, software engineering, and system design. The successful candidate will conduct foundational research in formal methods and automated reasoning, with an emphasis on developing (probabilistic, stochastic) algorithms for verification, synthesis, and algorithmic theorem proving. Experience at the intersection of automated reasoning and emerging fields, such as artificial intelligence or quantum computing, will be considered a strong advantage.