PhD in Highly Adaptable and Trustworthy Software using Formal Models
HATS is a new Integrated Project funded by the European Union, within the programme "Future and Emerging Technologies" (FET) of the 7th Framework
Programme (subject to contract) starting March 2009. The project partners from Chalmers Technical University, Gothenborg, Swede,
University of Oslo, Norway, Royal Institute of Technology, Stockholm, Sweden,
Technical University of Madrid, Spain
IMDEA Software, Spain
Technical University of Kaiserslautern, Germany,
University of Bologna, Italy,
Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands
Norwegian Computer Center, Oslo, Norway
Fredhopper B.V., Amsterdam, Netherlands
Fraunhofer Institute for Experimental SE, Kaiserslautern, Germany,
Katholieke Universiteit Leuven, Belgium
are jointly advertising several 3-5 year PhD, PostDoc, and Engineering
positions.
The goal of HATS is a tool-supported framework and formal methodology
for the development of long-lived and trustworthy software systems.
Specifically, HATS will turn software product family (SWPF) development
into a rigorous approach. The technical core of the project is an Abstract
Behavioral Specification language which will allow precise description
of SWPF features and components and their instances. For further
information see:
Topic areas: Applicants should have a background and/or interest in
one of the topics software modeling, modeling and programming
languages, formal methods, verification, language-based security, type
systems, or concurrency theory.
The following positions are offered:
2 PhD positions with emphasis on formal modeling and verification at Chalmers University of Technology. One of the positions is in the EU project CHARTER which is closely related to HATS. Application deadline is 9th February 2009. Contact: Prof. Reiner Haehnle. Further details and information on how to apply at
http://www.chalmers .se/cse/EN/ news/vacancies/ positions/ two-ph-d- student
Amsterdam
http://www.fredhopp er.com/public/ company-opps. php?cat=0& subcat=0# research- software- engineer
static analysis
http://clip. dia.fi.upm. es/Job_Openings/ hats-doves- phd-grants. html



