[TYPES/announce] PhD Scholarships in Software Verification for Product Lines

[Andrzej Wasowski]

IT University seeks excellent Phd candidates to work on the topic of "Verification of Software Product Lines" within the VARIETE project.  The PhD student will work on analysis methods for code and models found in highly configurable software systems (software product lines), especially in the projects that use code generators, model transformations, and domain specific models. 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. The project develops theories as well as tools.

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/

Contact person: Associate Professor Andrzej Wąsowski (wasowski at itu.dk)

Application is through general admission system for ITU Phds.
Please see the call at: https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=148867&departmentId=3439&uiculture=en&MediaId=1282

Application Deadline: 13th October 2013, at 23:59 CET. Note that the deadline is strict and non-negotiable.

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