Dipartimento di Ingegneria e Scienza dell?Inforamazione, University of TRENTO, IT
Three three-year contract positions available from 1st February 2009 on either Post-doctoral or PhD
student level.
The positions are part of the Integrated Project “Secure Change” funded by the EU within the
programme “Future and Emerging Technologies” (FET) as part of the 7th Framework Programme,
involving the European partners Univ. Trento, Open University Univ.Innsbruck, SINTEF, INRIA, KU
Leuven, Budapest UTE, Gemalto, Thales, Telefonica R&D, Smartesting, Deep Blue.
**** Research Topic
The project wish to investigate the possibility of designing and verifying systems that provide both
high-assurance and high-flexibility. Indeed There is growing demand to continuously evolve systems to
meet changing business needs, new regulations and policies, novel technologies and computing
infrastructures. Unfortunately, the pace of required change affects our ability to ascertain and maintain
the quality of a system. The project objective is thus to develop techniques and tools that ensure
“lifelong” compliance to security, privacy and dependability requirements for a long-running evolving
software system. This is challenging because these requirements are not necessarily preserved by
system evolution. The project will focus on the challenges of either very large systems (air traffic
control) or very small (Smartcards)
The positions will focus on one of the following topics:
* Requirements engineering techniques for security requirements of long-living evolvable systems
* Security Policy Checking (Security-by-Contract) at deployment time for long-living evolvable
systems
The successful candidates will work under the supervision of prof. Fabio Massacci and prof. John
Mylopoulos and will also be able to interact with other relevant European research projects, such as:
- MASTER, Managing Assurance, Security and Trust for sERvices is a collaborative project funded
under the EU 7th Research Framework Programme. It is aligned to the strategic objective 1.4. Secure,
dependable and trusted infrastructures defined by the European Commission in the FP7 ICT Work
Programme 2007-2008. http://www.master-fp7.eu/
- SERENITY, System Engineering for Security & Dependability launched in January 2006,
SERENITY is a R&D project funded by the European Union. SERENITY aims at providing security
and dependability in Ambient Intelligence systems (AmI).
For over 36 months, 15 R&D organisations - software companies, research institutions and leading-
edge industrials - will develop specifications, methods and a suite of tools ensuring dependability and
security for future AmI solutions.http://www.serenity-project.org/
- S3MS, Security of Software and Services for Mobile Systems, the objective of the project is to create
a framework and a technological solution for trusted deployment and execution of communicating
mobile applications in heterogeneous environments. http://www.s3ms.org/index.jsp
**** Terms and conditions:
The start date of the positions is planned for 1 Feb. 2009 or earlier. or. Each position will run for three
years and includes no teaching obligations.
The salary will be according to age and experience. For post-doctoral student it is expected to be in the
range 24KEuro-36KEuro/year net.
The applicant should have (or expect to have by the start of the project):
* In the case of a PhD position: a good Masters level or equivalent post-bachelor experience in
Computing, Mathematics, or a related field.
* In the case of a Postdoc position: a PhD in Computing or Mathematics, preferably with
experience in one of Software Engineering, IT Security, or Formal Methods.
Experience or strong interest in Software Engineering, IT Security, or Formal Methods would be an
advantage.
The successful candidates will be expected to produce top level research and to publish it in the major
relevant venues.
Post-doctoral candidates will be involved in the supervision of PhD students and in the creation of a
strong group in their research area. They will also be involved into the scientific and technical part
othe project which include producing project deliverables, and managing collaborations with the
project partners.
*** How to Apply:
send your CV, a brief statement of research interests, plus the names of three referees by November
30th to: simoni@disi.unitn.it
Further technical information on the project can be obtained from: fabio.massacci@disi.unitn.it
**** About us: The Department of Information Engineering and Computer Science of the University
of Trento is a leading and fast-growing research institution, characterized by a young and international
faculty and a large, international student population. The University has been consistently ranked in
rhe top three unjversities in national surveys. The PhD programme in Trento is held in English and the
research group has more than 80% of students from outside Italy.
****About Trento:
Trento (http://www.apt.trento.it/) is a small vibrant city (around 100K people), with a beautifully
preserved historic center, situated in the middle of the Dolomites, consistently ranked at the top for
quality of life. Also thanks to it fortunate location, Trento offers a wide variety of cultural and sports
opportunities all year around, as well as excellent food and wine.