postdoc position at INRIA Sophia Antipolis - pls forward

 Post-Doc Position available at INRIA Sophia Antipolis (Nice) - France

                  JavaCard: semantics and security

One post-doctoral position (9 months, starting spring 1998) is available in 
the CROAP Project at INRIA Sophia Antipolis.

We are involved in a collaborative project (involving other research labs 
and industrial partners) on the formalisation and the verification of 
security policies for smart cards in the context of electronic commerce.
More specifically, we are definig the semantics of the JavaCard kernel
(designed for programming Java smart cards) and formal properties of 
JavaCard applets; such properties ensure both security and reliability 
of Java smart cards.

Candidates for the post-doc position should have experience in some or all of
the following domains:
    - semantics of programming languages
    - formal properties, theorem proving
    - Java, JavaCard
    - security 

The research is to be conducted at INRIA Sophia Antipolis, located in the 
french riviera (Cote d'Azur), between Cannes and Nice.

More information can be found on the web:

If you need more information, or want to apply to this position,
please contact:

Isabelle Attali, Denis Caromel
INRIA Sophia Antipolis
2004 Route des Lucioles, BP 93
06902 Sophia Antipolis Cedex

tel: 04 92 38 79 10, fax: 04 92 38 76 33
email: {ia,caromel}@sophia.inria.fr