[TYPES/announce] PhD scholarships in verification at IT University of Copenhagen

[Andrzej Wąsowski]

Two projects, VARIES and VARIETE at IT University of Copenhagen, seek 
excellent PhD students to work on analysis methods for code and models 
found in highly configurable software systems (software product lines). 
The objectives are to work on extensions of model checking and static 
analysis techniques for verification of software systems implemented 
using model transformations. An 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 appreciation for solving problems 
stemming from practice of software development. Both projects develop 
theories as well as tools.

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

VARIES is a consortium of about 20 European partners, a mixture of high 
profile academic partners, research labs and companies developing 
safety-critical embedded or modeling tools. VARIES is funded by the 
European Commission and national governments via the ARTEMIS Joint 
Undertaking.

The enrollment will be at IT University of Copenhagen, includes salary 
and budget for executing the project.

Contact Person: Andrzej Wasowski (wasowski at itu.dk).
Early contact is highly recommended.

Information how to apply:
http://www.itu.dk/en/Forskning/Phd-uddannelsen/Spring%20call%202013

-- 
associate prof. Andrzej Wąsowski,  http://www.itu.dk/~wasowski
IT University, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark
room 4D10 phone +45 7218 5086 fax *5001 skype wasowski_andrzej