[TYPES/announce] PhD Position at ITU of Copenhagen

[aleks at dcs.warwick.ac.uk]

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).
VARIETE is a highly prestigious research project awarded by the Danish
Independent Research Council, within the Sapere Aude program. Project
website: https://variete.wikit.itu.dk/
Contact: Associate Professor Andrzej Wąsowski (wasowski at itu.dk),
Postdoc Aleksandar Dimovski (adim at itu.dk)
Research Group: Process and System Models; Software and Systems Section
Deadline for application is April 23 at 23:59 CET.

Positions are based in Copenhagen Denmark within the modern and lively
research environment of IT University of Copenhagen (http://www.itu.dk).

Prospective starting date is in fall 2014. Duration of the scholarship is
3 or 4 years. The scholarship includes full time salary, and budget for
carrying the research project.

Please see the conditions of the call at
https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=168671&departmentId=3439&uiculture=en&MediaId=1282