the University of Konstanz has the immediately opening of a definite
term full-time
Research Assistant / PhD Student / Post-Doc
position 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:
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: Stefan.Leue@uni-konstanz.de
WWW: http://se.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
