Iago Abal | 26 Mar 22:45 2014

Open PhD position in Formal Methods for Software Product Lines at IT University of Copenhagen

(Apologies for duplicates)

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).

Prospective starting date is in fall 2014. Duration of the scholarship is 3 or 4 years.
The position comes with entry level public servant salary (ca. 2200 EUR per 
month after taxes are deducted), social benefits (like paid vacation time, health 
care and pension saving scheme) along with a travel budget and all other 
support funds required for executing the research project.

Personal contact via email prior to applying is strongly encouraged.

Contact: Associate Professor Andrzej Wąsowski (wasowski <at> itu.dk), Postdoc Aleksandar Dimovski (adim <at> itu.dk)

Deadline for application is April 23 at 23:59 CET.

Haskell mailing list
Haskell <at> haskell.org