the University of Konstanz has the immediately opening of a full-time
PhD Student / Post-Doc position.
Reference Number 2022/078. The start date is July 1st, 2022, or by
mutual agreement. The position is initially available for three years
(Doctoral Position) or two years (Post-Doctoral Position) with a
possibility of extension. Preference will be given to Doctoral
candidates. The position will allow for the writing of a doctoral
dissertation.
The position is to support the research, teaching and administrative
activities of the Chair for Software and Systems Engineering. Our
research interests span a wide spectrum of topics in systems and formal
methods, ranging from model checking, SMT solving, real-time systems,
hybrid systems, system analysis, causality, automated repair,
verification of machine learning, automotive functional safety, software
tool environments to formal modeling in Legal Tech. The working language
is English. Excellent undergraduate and graduate degrees (or doctoral
degree in case of a Post-Doc application) in Computer Science or a very
closely related area are a prerequisite.
Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least approx. € 50.000,00 p.a.
Application deadline: April 24, 2022.
For more information and application instructions please see
https://stellen.uni-konstanz.de/jobposting/acf41fd61d1ed76fb0a6495a83468ca48a16e0fd0
I will be happy to answer further questions, and look forward to your
qualified application!
Stefan Leue
--
Prof. Dr. Stefan Leue
Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany
Office: PZ902
Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
Email: Stefan.Leue@uni-konstanz.de
WWW: http://sen.uni-konstanz.de
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
