The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

As announced by Yves Bertot, the Coq development team has secured
funding for two software engineering positions to be filled for one
year from the fall of 2008 (with a possibility of a one year renewal).
One of the positions will be located in the Marelle team (INRIA Sophia
Antipolis Méditerranée, Next to Nice, in the South of France) and the
other as part of a collaboration involving the TypiCal team (INRIA
Saclay Ile de France in the South of Paris).

The position in the Paris area will be founded for working on one of
these two projects:

- improvements and extensions of the Coq integrated graphical
  interface (communication API, core engine, new features, in
  technical collaboration with CNAM-Paris and the Marelle team),

- database services for Coq/CCI user contributions, libraries and 
  add-ons (browsing, rendering, searching, updating, ...).

The minimal condition for application is a master-level diploma and the
salary is 2495 euros gross. Applicants must register not later than
June 20 at http://www.inria.fr/travailler/opportunites/jeunes.en.html ;.

For further information on the Parisian position, please contact
Hugo.Herbelin AT inria.fr.