INRIA postdoc -- JavaCard: semantics and security

Lewis McCarthy (lmccarth@cs.umass.edu)
Sat, 04 Apr 1998 00:02:03 -0500

• Next message: Bill Stewart: "Re: Digital Watermarking query"
• Previous message: Nicholas Charles Brawn: "Re: ElGamal signature encoding"

FYI--

 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:
        http://www.inria.fr/croap/java
        http://www.inria.fr/croap/croap-eng.html
        http://www.irisa.fr/lande/jensen/javacard.html

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
France

tel: 04 92 38 79 10, fax: 04 92 38 76 33
email: {ia,caromel}@sophia.inria.fr
http://www.inria.fr/croap/personnel/Isabelle.Attali/
http://www.inria.fr/sloop/personnel/Denis.Caromel/

• Next message: Bill Stewart: "Re: Digital Watermarking query"
• Previous message: Nicholas Charles Brawn: "Re: ElGamal signature encoding"