[Prev][Next][Index][Thread]

Research position at Sophia Antipolis



[The position involves substantial work with type-theory based
proof-development systems and may therefore be of interest to the TYPES
readers.]

INRIA Sophia Antipolis opens one Research and Development Engineer
position (2-year contract) to join the Formavie project (formal methods
for smartcard security, in partnership with Bull and Schlumberger).

See http://www.inria.fr/oasis/Formavie

If any question, please contact:

Isabelle Attali
INRIA Sophia Antipolis
ia@sophia.inria.fr
TÚl: (33) 4 92 38 79 10
Fax: (33) 4 92 38 79 71


--
Maryse RENAUD
Projet OASIS - Assistante DYADE               | TEL: 04.92.38.75.56
INRIA SOPHIA-ANTIPOLIS                        | FAX: 04.92.38.76.44
2004 rte des Lucioles 06902 SOPHIA-ANTIPOLIS
EMAIL: mrenaud@sophia.inria.fr

http://www-sop.inria.fr/oasis/personnel/Maryse.Renaud