Logic List Mailing Archive

PhD student or postdoc position in formal methods, Konstanz (Germany), Deadline: 22 Feb 2019

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

Research Assistant / PhD Student (Post-Doc)

position available for three years, starting July 1, 2018. We are primarily 
looking for a PhD Student interested in working on formal methods for the 
design and analysis of complex 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.

In exceptional circumstances applications from post-doctoral candidates with 
fitting interests will also be considered.

For more information and details on how to apply see:

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

(English text at the bottom of the page).

The salary is according to the payscale EG 13 of the TV-L labor agreement, 
which can be found here:

https://lbv.landbw.de/documents/20181/42056/4_2018_10+Tabellenentgelt.pdf/26c42cec-e33e-4477-96b3-7496868771de

Application deadline: February 22, 2019.

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