Logic List Mailing Archive

PhD student position in formal methods for software and systems modeling, Konstanz (Germany)

In my group we like to work on formal methods for software and systems
modeling and analysis, with particular interest in applying formal
methods research in practical settings. We have recently come up with
the concept of causality checking and are developing tools for system
safety analysis.

The following open PhD position may be interesting for a logician with
strong interests in computer science in general and logic in computer science 
(e.g., temporal logics, model checking, program semantics, etc.) in particular:

http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/061&id=1

(scroll down for the English version.)

The position is primarily geared towards PhD candidates, but in exceptional 
circumstances post-doctoral candidates can be considered as well. Competency in 
German is not a prerequisite.

I will be glad to answer any questions related to this opening.

Sincerely,

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