-----------------------------------------------------------------------
| HATS: 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, Sweden
   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:

	            http://www.hats-project.eu

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.


2 PostDoc positions are offered at the University of Bologna.  The
emphasis is on formal modeling and verification of the kind of
concurrent systems studied in Hats using various techniques, including
behavioural techniques, logical techniques, and type systems. 

Permanent researchers in  Bologna 
working on the Hats  project include Mario Bravetti, Ugo Dal Lago,
Maurizio Gabbrielli, Cosimo Laneve, Simone Martini, 
Davide Sangiorgi, Gianluigi Zavattaro. 

For further details  and information, please contact 
any of the above researchers.

Applications should be sent by email to
Prof. Davide Sangiorgi   
(Davide.Sangiorgi AT cs DOT unibo DOT it)
preferably by 31 January (late applications may also be 
considered), and  should contain:

1) a full CV including the names 3 persons who may be contacted for
   recommendation letters;
2) a research statement, indicating the research directions you are 
   interesting in and what relevant experience you have;
3) transcripts of degree results where available.