[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]).
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
