Logic List Mailing Archive

PhD student position in formal methods, Konstanz (Germany), Deadline: 14 Apr 2018

The Chair for Software and Systems Engineering of the University of Konstanz 
has the opening of a full-time

PhD Student / Research Associate (public service pay scale E 13 TV-L)

position available starting July 1, 2018. We are primarily looking for a PhD 
Student interested in working on formal methods for the design and verification 
of critical cyber-physical systems.

We like to use logic-based methods in modeling, specification and analysis of 
these systems. The position may therefore be interesting of a logician with 
strong interests in logic-based methods in computer science. Affinity towards 
software and some programming experience, however, is a prerequisite.

For more information see

https://www.uni-konstanz.de/stellenangebote/stellenauswahl.php/stellenauswahl.php?seite=2018/048&id=1

(English text at the bottom of the page).

Application deadline: April 14, 2018.

I will be happy to answer specific 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