[Haskell-cafe] PhD position at IT University of Copenhagen

[Iago Abal]

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), especially in projects that use simple
code generators and domain specific models. The objectives are to work
on extensions of model checking and static analysis techniques for the
verification of software systems implemented using model
transformations. The 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 an appreciation for problem solving stemming
from practice of software development. The project develops theories as
well as tools. Functional programming skills are an advantage (but not
essential).

VARIETE is a highly prestigious research project awarded by the Danish
Independent Research Council, within the Sapere Aude program. Project
website: https://variete.wikit.itu.dk/

Positions are based in Copenhagen Denmark within the modern and lively
research environment of IT University of Copenhagen (http://www.itu.dk
<http://www.itu.dk/>).

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.

Prospective starting date is in fall 2014. Duration of the scholarship is 3
or 4 years.

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)

Research Group: Process and System Models
<
https://pure.itu.dk/portal/en/organisations/process-and-system-models%287804b276-a960-416f-9cb4-d6c141580289%29.html
>;

Software and Systems Section
<http://itu.dk/en/Om-IT-Universitetet/Organisation_tal_og_fakta>

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

Please see the conditions of the call at

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


Iago Abal Rivas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140321/f544e044/attachment.html>