PhD and Post-doc Positions in Computer Science, University of Regensburg

The Theoretical Computer Science Group at the University of Regensburg, Germany, is recruiting both PhD students and Post-docs. The positions are at the newly founded Faculty of Informatics and Data Science in Regensburg and under the supervision of Philipp Rümmer. The scope of the positions is flexible, and can involve research in areas including:

• Automated Reasoning
• Satisfiability Modulo Theories
• Model checking, in particular methods based on Constraint Horn Clauses
• Formal methods in program analysis, application of formal methods in Embedded Systems or Security

Application deadline: March 31 2023

More information, and instructions how to apply:

* For PhD positions: https://www.uni-regensburg.de/assets/universitaet/stellenausschreibungen/fuer_Forschung_und_Lehre/23_050_FakIDS_WissMA_english.pdf
* For Post-doc positions: https://www.uni-regensburg.de/assets/universitaet/stellenausschreibungen/fuer_Forschung_und_Lehre/23_052_FakID_WissMA_englisch.pdf

For even more information, contact Philipp Rümmer ([email protected]).

The University of Regensburg is a public research university founded in 1962. The university is situated in Regensburg, a UNESCO World Heritage Site listed medieval city in Bavaria, Germany.

Positions are available full-time (40.1 hours per week) or part-time, and time-limited to 3 years, with the possibility for extension for PhD positions. The employment involves teaching duties during term time. Employment is compensated following TV-L E13.