PhD Positions in Formal Methods and Language-based Security at Chalmers

*PhD* Positions in Formal Methods and Language-based Security at the 
Dept. of Computer Science and Engineering, Chalmers University of 
Technology, Sweden

Application deadline: March 30, 2013

------------------------------------------------------------------------

*Job description ...*

*... of the 2 PhD positions in Formal Methods*
The Formal Methods group is an internationally recognized research group 
with a high-profile research track record and an excellent network of 
collaborators. The group's research focus is in the theoretical and 
practical aspects of formal software verification, including automated 
reasoning, interactive theorem proving, runtime verification, and test 
generation. Together with international collaborators, the group members 
co-developed widely recognized verification tools like KeY 
(www.key-project.org), Vampire (http://vprover.org), ALIGATOR 
(http://mtc.epfl.ch/software-tools/Aligator), and LARVA. The research of 
the two advertised PhD positions will be in the area of Software 
Verification, where
- one position has a stronger focus on the creative use and development 
of automated reasoning techniques for software verification,
- the other has a stronger focus on combining static and runtime 
verification of software.
The selection of the specific research topic will take into account both 
the interests of the new PhD student and the research agenda of the group.

*... of the (up to) 2 PhD positions in Language-based Security*