[TYPES/announce] PhD position at INRIA Sophia Antipolis: Specification and Verification of multi-threaded applications

[Marieke Huisman]

The Everest project at INRIA Sophia Antipolis has an open PhD position
on:

    Specification and Verification of multi-threaded applications

Goal of the project is to develop appropriate techniques for the 
specification and verification of security properties for multi-threaded 
applications. Mobile code will be a priviliged application domain, and 
therefore the typicalities of mobile code will be exploited to make 
verification feasible.

A more detailed project description can be found at:

http://www-sop.inria.fr/everest/offers/multi_threading.php

The PhD project will be part of the Mobius project, see
http://mobius.inria.fr

To apply or for more information, send an email to 
everest_jobs at sophia.inria.fr. If you apply, please send us a curriculum 
vitae and a motivation letter explaining your interest in the project. 
Please mention also who will act as a reference for you.

For more information about
- INRIA, see http://www.inria.fr
- the Everest project, see http://www-sop.inria.fr/everest/
- Sophia Antipolis, see http://www.sophia-antipolis.org/

The salary will be 1379 euros net per month. We might propose a 6 month 
contract, before starting the 3 year PhD contract.