Logic List Mailing Archive

PhD student position (or postdoctoral position) in logic in computer science, Konstanz (Germany), Deadline: 9 Mar 2015

In my group we like to work on formal methods for software and systems 
modelling 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 position may be interesting for a logician with strong 
interests in logic in computer science (e.g., temporal logics, model 
checking, program semantics, etc.):

* PhD student (preferred) or Post-Doc. Proficiency in German is not a 
prerequisite for this position. See the official job ad in German and 
English at:

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


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

Phone:  +49 (0)7531 88 2893, ~4431 (secretary)
Home:   +49 (0)7533 949 2182
Email:  Stefan.Leue@uni-konstanz.de
WWW:    http://se.uni-konstanz.de