PhD position in Formal Methods for Software Product Lines

Deadline for application is April 23 at 23:59 CET.

Please see the conditions of the call and how to apply at

The VARIETE project seeks an excellent PhD student to work on analysis methods for code and models found in highly configurable software systems (software product lines), especially in projects that use simple code generators and domain specific models. The objectives are to work on extensions of model checking and static analysis techniques for the verification of software systems implemented using model transformations. The ideal candidate has a solid background in semantics of programming languages and in algorithmic verification techniques (model checking, type checking, static analysis, satisfiability solving), combined with an appreciation for problem solving stemming from practice of software development. The project develops theories as well as tools. Functional programming skills are an advantage (but not essential).

The position comes with entry level public servant salary (ca. 2200 EUR per month after taxes are deducted), social benefits (like paid vacation time, health care and pension saving scheme) along with a travel budget and all other support funds required for executing the research project.

VARIETE is a highly prestigious research project awarded by the Danish Independent Research Council, within the Sapere Aude program. Project website:

Positions are based in Copenhagen Denmark within the modern and lively research environment of IT University of Copenhagen (

Prospective starting date is in fall 2014. Duration of the scholarship is 3 or 4 years.

Personal contact via email prior to applying is strongly encouraged.

Contact: Associate Professor Andrzej WÄ…sowski (, Postdoc Aleksandar Dimovski (

Research Group: Process and System Models:

Software and Systems Section: