[TYPES/announce] PhD positions in Variability Modeling, Analysis, and Verification
wasowski at itu.dk
Sun Mar 18 16:57:00 EDT 2012
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
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:
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
More information about the Types-announce