Research position at Sophia Antipolis

• To: types@cis.upenn.edu
• Subject: Research position at Sophia Antipolis
• From: Maryse Renaud <Maryse.Renaud@sophia.inria.fr>
• Date: Thu, 06 Apr 2000 14:40:09 +0200
• Organization: INRIA 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

• Prev: Second CFP: Types in Compilation 2000
• Next: Paper on type-safety bugs in JDK1.2.2
• Index(es):
  • Main
  • Thread