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@itu.dk), Postdoc Aleksandar Dimovski (adim@itu.dk) Research Group: Process and System Models < https://pure.itu.dk/portal/en/organisations/process-and-system-models%287804...

;

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