[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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, [EMAIL PROTECTED] 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.