[TYPES/announce] Postdoc/PhD student positions in Tallinn in FP6 project MOBIUS

[Tarmo Uustalu]

Postdoc/PhD student positions in Tallinn in FP6 project MOBIUS

MOBIUS (http://mobius.inria.fr/) is a FP6 IST programme integrated
project whose objective is to develop a platform for proof-carrying
code for Java-enabled mobile devices.

The project consortium comprises 16 partners across Europe, including
INRIA, Edinburgh, LMU München, Radboud U Nijmegen, Chalmers, ETH
Zürich, U Polit Madrid etc.

One of the partners in the MOBIUS consortium is the Institute of
Cybernetics (IoC) in Tallinn, a semi-autonomous research institute of
Tallinn University of Technology. In computer science, IoC is the
leading research institution in Estonia. The IoC team
(http://cs.ioc.ee/lsg/) consists of Tarmo Uustalu, Ando Saabas and
Peeter Laud.

The IoC team is working on automatic transformation of program proofs
along program compilation, including proof transformation for
optimizations, and on declassification mechanisms for the context of
information flow security.

At this moment, two postdoc/PhD positions are open at IoC in the
project to work on these topics.

The postdoc positions are for 1.5 years, the PhD positions are for a
full study period. The preferred start date is 1 June 2008, but can be
negotiated. The salary depends on the applicant's qualifications and
previous experience, but is very competitive on the Estonian scale and
ensures a high living standard in the country.

Closer details about the positions, project and institute are
available from Tarmo Uustalu, tarmo at cs.ioc.ee.

To apply please email us a detailed CV (incl. a list of publications)
together with contact data for two reference persons. 

Closing date: 20 April 2008.