[TYPES/announce] 2 post-docs positions at IT University of Copenhagen in Verification of Highly Configurable Software Systems

Andrzej Wąsowski wasowski at itu.dk
Sat Jul 6 09:37:19 EDT 2013

Two projects, VARIES and VARIETE, seek excellent post-doc candidates 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 

Both projects develop theories as well as tools. We are particularly 
interested in applicants with good research potential, oriented at 
publishing, interested in developing research independence and in 
working with PhD and MSc students.

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 European 
Commission and national governments via the ARTEMIS Joint Undertaking.

There are two openings: 36 months (mixed VARIES and VARIETE), and 19 
months (VARIES); either with possibility of extension by another 6 
months.  Expected starting date is October 1st, 2013.

The post-docs will be given opportunity to collaborate with the MTLAB 
Research Centre as well (www.mtlab.dk).

More information is available at


(or http://itu.dk/en/Om-IT-Universitetet/stillinger and choose post.doc 

Application deadline: 4th August, 2013 at 23.59 CET.

You must apply via the above website.  You are encouraged to contact the 
project leader at wasowski at itu.dk before applying.

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

More information about the Types-announce mailing list