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

[Iago Abal]

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

Find more details at: http://variete.wikit.itu.dk/Positions

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.

Application:
https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=168671&departmentId=3439&uiculture=en&MediaId=1282

Iago
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20140326/c15ee992/attachment.html>