[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz has the immediately opening of a definite term full-time
Research Assistant / PhD Student / Post-Docposition available for up to three years, with the possibility of a finite extension. We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems. Areas of particular interest include, but are not limited to,
* causality checking and formal models of causality, * safety-critical systems and functional safety, * automotive systems engineering, * automated repair for real-time systems, * formal guarantees for machine-learning based systems, * formal approaches to legal tech, and* formal modeling of collective behavior (https://www.exc.uni-konstanz.de/collective-behaviour).
While preference will be given to candidates intending to pursue a PdD, applications from post-doctoral researchers with fitting interests will also be considered.
For more information and details on how to apply see:https://stellen.uni-konstanz.de/jobposting/e2302642cfeed8a077d596c215eca2bccbb8a115 .
The salary is according to the payscale Entgeltgruppe 13 of the TV-L labor agreement (starting from appr. € 46.000 p.a.), which can be found here:
https://lbv.landbw.de/documents/20181/42056/4_2019_Entgelttabelle.pdf/4592f10c-b4ec-4208-88e7-9c91b7d3b8cd Application deadline: July 28, 2019.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: [email protected] WWW: http://se.uni-konstanz.de
