D-CON May 2024

d-con@lists.rwth-aachen.de

2 participants
2 discussions

PostDoc/PhD position in Formal Methods at the University of Konstanz

by Emanuele D'Osualdo

Please distribute (apologies for multiple postings): ===================================== PostDoc/PhD position in Formal Methods at the University of Konstanz https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d2131… ===================================== 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://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d2131… 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://dl.acm.org/doi/10.1145/3477082 and https://dl.acm.org/doi/10.1145/3571219), * Foundations of logics and types (e.g. https://dl.acm.org/doi/10.1145/3563298 and https://dl.acm.org/doi/10.1145/3563318), and * Verification of probabilistic programs (e.g. https://arxiv.org/abs/2402.18708). 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(a)uni-konstanz.de for any questions. For more info: https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d2131…

3 months, 3 weeks

Available PhD/Postdoc position at the University of Bamberg

by Gerald Lüttgen

Hallo zusammen, ich habe an meinem Lehrstuhl eine wissMA-Stelle (Doktorand/in, Post-Doc, Akademische Rätin auf Zeit/Akademischer Rat auf Zeit) zu besetzen und würde mich freuen, wenn die Stellenausschreibung https://www.uni-bamberg.de/fileadmin/abt-personal/Homepage_ab_2016-03/10_St… an alle Interessenten verbreitet werden könnte. Vielen Dank und beste Grüße Gerald Lüttgen -- Prof. Dr. Gerald Lüttgen Lehrstuhl Softwaretechnik und Programmiersprachen, Fakultät WIAI, Universität Bamberg, 96045 Bamberg Mail: gerald.luettgen(a)uni-bamberg.de | Web: https://www.swt-bamberg.de/ | Tel.: 0951 863-3850

4 months, 1 week

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON May 2024