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. 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
to VARIES and VARIETE)
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@itu.dk before applying.
Please spread this announcement to interested parties. Thank you.
--
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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************