[TYPES/announce] PhD positions in Variability Modeling, Analysis, and Verification

[Andrzej Wąsowski]

IT University seeks candidates for two PhD scholarships devoted to 
analysis of variability in safety critical systems. The students will be 
affiliated with the ARTEMIS VARIES project.

VARIES is a European consortium of industrial partners and academic 
institutions that aims (i) to enable companies to make informed 
decisions on variability use in safety critical ES; (ii) to provide 
effective variability architectures and approaches for safety-critical 
ES; and (iii) to offer consistent, integrated and continuous variability 
management over the entire product life cycle.

The PhD students employed at IT University in Copenhagen will be 
involved in the most technical part of the VARIES research agenda. The 
objective will be to work on designing of variability modeling languages 
and transformation tools. Furthermore we will work on analysis, test and 
verification techniques for these models, to establish legally required 
safety level for the systems relying on them.

Students involved in the projects will be able to work closely with 
industrial partners in the project, and will have opportunities to 
influence international industrial standards in the area of variability 
modeling.

Expected start date of employment: September 1st, 2012.
Deadline for applications is: April 16, 2012 at 12.00 Copenhagen time.
The deadline is strict.

Ideal candidates have strong background in classical computer science, 
including compiler technology, semantics and verification.  Preliminary 
research experience are well seen, too---including publications.  We do 
require a strong engineering edge for these positions.  Significant part 
of the work will be developing model-driven engineering tools, and 
applying them in industrial case studies.

The successful applicants will join the lively international environment 
of the newly established Process and System Models Research Group at The 
IT University, with about a dozen of other PhD students. They will also 
be affiliated with a broader network of the basic research center on 
modeling of IT systems, MT-LAB (A VKR centre of excellence).

If you have any specific questions regarding this PhD project, please 
contact Andrzej Wasowski at wasowski at itu.dk

Application is electronic, through the general call at ITU, together 
with scholarships in other projects. Please see:

https://delta.hr-manager.net/ApplicationInit.aspx?ProjectId=109051&DepartmentId=3439&MediaId=1282

or

http://www.itu.dk/en/Forskning/Phd-uddannelsen/Calls-2012

There you can also find contact points regarding administrative matters 
in the application process.

-- 
Andrzej Wąsowski, PhD, http://www.itu.dk/~wasowski/
Associate prof., head of MSc Programme on Software Development
IT University, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark
office 2M27, phone +45 7218 5086, fax +45 7218 5001