Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD and Post-doc Positions in Computer Science...

Email Gateway (Mar 10 2023 at 09:31):

From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
[Apologies for multiple copies. Please forward to interested students.]

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 (philipp.ruemmer@ur.de).

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.

OpenPGP_signature

Last updated: Jan 04 2025 at 20:18 UTC