Logic List Mailing Archive

PhD student position or postdoctoral position in formal methods, Konstanz (Germany), Deadline: 28 Jul 2019

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-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:

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:  Stefan.Leue@uni-konstanz.de
WWW:    http://se.uni-konstanz.de
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam