[TYPES/announce] PhD/PostDoc position in Formal Methods at the University of Konstanz

[Emanuele D'Osualdo]

Please distribute (apologies for multiple postings):
=====================================

PhD/PostDoc position in Formal Methods at the University of Konstanz
https://urldefense.com/v3/__https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314776e7860__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyZsIdvN9$ 

=====================================

The newly established research group in Formal Methods for Software Engineering
at the University of Konstanz, led by TT-Prof. Emanuele D’Osualdo, is inviting
applications for a PhD position or a Postdoctoral position in Formal Methods,
Verification and Programming Languages:

 * PhD position: Full time (4 years)
 * Postdoc position: Full time (2 years + extensions)

Closing date: June 30th (not strict)
Starting date: as soon as possible
Application link: https://urldefense.com/v3/__https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314776e7860__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyZsIdvN9$ 

Doctoral and Postdoctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13.

The focus of the group is:

 * Verification of concurrent systems
   (e.g. https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3477082__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyaqyeHJ9$  and https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3571219__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyf2Fiqku$ ),
 * Foundations of logics and types
   (e.g. https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3563298__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQySEPut-T$  and https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3563318__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyZZ_JFgR$ ), and
 * Verification of probabilistic programs
   (e.g. https://urldefense.com/v3/__https://arxiv.org/abs/2402.18708__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyfOHRcqa$ ).

Outstanding people, even with only a partial match to these topics, are encouraged to apply.
As a member of our team, you will have the opportunity to contribute to
state-of-the-art research and interact with high-profile international
collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial, Groningen).
The working language is English.

The University of Konstanz is one of the eleven Universities of Excellence in Germany, and is located in the beautiful city of Constance, by Lake Constance.

Please reach out to Prof. Emanuele D’Osualdo at emanuele.dosualdo at uni-konstanz.de for any questions.
For more info: https://urldefense.com/v3/__https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314776e7860__;!!IBzWLUs!WLM6Rn7IXcnuWg7Q6YtcgPoHbafGBKkJax5VBdePH3uyb_hA_ZcCwNWUOYb4-Ang0AsZNolgFn04oCvoHl_RvhMGKSWbnjMQyZsIdvN9$