Smart Cards and Program Verification : Employment Opportunities (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Fri, 10 Nov 2000 14:21:45 +0100
From: Eduardo Gimenez <Eduardo.Gimenez@trusted-logic.fr>
To: coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk,
     info-hol@jaguar.cs.byu.edu, lego-club@dcs.ed.ac.uk,
     nuprlnotes@cs.cornell.edu, pvs@csl.sri.com, imps@linus.mitre.org,
     mizar-forum@mizar.uwb.edu.pl, rewriting@ens-lyon.fr, qed@mcs.anl.gov,
     fme@mailbase.ac.uk, formal-methods@cs.uidaho.edu, info@fmeurope.org
Subject: Smart Cards and Program Verification : Employment Opportunities

========================================================================
    Employment Opportunities on Smart Cards and Program Verification
========================================================================

Created in January 1999, TRUSTED LOGIC (www.trusted-logic.fr) is a
fast growing company. It now counts 30 persons and is looking for
more people with a good background in formal methods to join its team.

At TRUSTED LOGIC, we combine an intimate knowledge of embedded
software major challenges and an expertise in state-of-the-art formal
methods analysis. Such a double competence allows us to offer
efficient and secure solutions for smart cards and terminals.

We are proud to number the main actors in the smart card and in the
embedded software industry among our customers (Sun Microsystems Inc.,
VISA International, Bull, Schlumberger, Gemplus, Oberthur, etc.). Our
team also prepares proprietary innovative and advanced components for
secure embedded systems.

Several positions are immediately available for security development
engineers and/or people with former experience in Computer Science
research.

QUALIFICATIONS REQUIRED:

-  A good qualification in at least ONE of the following key
   competence list:

  + formal program verification (theorem proving, static analysis,
    model-checking, etc);
  + security evaluation (Common Criteria, ITSEC, etc),
  + semi-formal methods in software engineering (UML, etc),
  + advanced systems components development (type-checkers, compilers,
    virtual machines, etc)
  + secure applets development (Java, Multos, C, C++)

*PLUS* a strong motivation to acquire skills and to invest in new fields.

- Experience in the use of a proof environment (like for example Coq,
  HOL, Isabelle or PVS) and/or in the the JavaCard programming
  language would be a plus.

- Self-managed, rigorous and a good ability to work in a team.

EXPERIENCE:

- At least a Master or Engineering degree in Computer Science or a
  related field, or equivalent experience.
- Junior (0 to 2 years experience) and Senior (3 or more years
  experience) applications will be considered.

LANGUAGES: A good level of written and spoken English or French.

CONTRACT : Temporary and permanent positions are both available.

LOCATION : Positions are located in France, either in Versailles, close
           to Paris, or in the Nice area, on the French Riviera.

APPLICATIONS:

- by e-mail to contact@trusted-logic.fr. Please, put your résumé (CV)
  and cover letter in plain text in the body of the mail (no attached
  file will be considered);

 - by post to :
       TRUSTED LOGIC
       5, rue du Bailliage
       78000 Versailles (France)

============================================================================