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.