coq-club AT inria.fr

Subject: The Coq mailing list

List archive

engineer position for Coq development

From: Christine Paulin <Christine.Paulin AT lri.fr>
To: coq-club AT pauillac.inria.fr
Subject: engineer position for Coq development
Date: Thu, 19 Apr 2001 12:42:30 +0200

The LogiCal Team at INRIA Rocquencourt
        http://logical.inria.fr ;
is offering a engineer position to collaborate to the development
of the Coq Proof assistant http://coq.inria.fr ;

Tasks
        - organization of the documentation
        - re-organization, documentation interface of the libraries
        - profiling of the system
        - stabilizing the installation procedure on different platforms

Prerequisites :
        - formal methods, logic
        - programming in ML
        - English

Dead-line for application is May 4th.

The job should start no later than September 1st.
The position is for one year with a possible extension to 18 months.
Salary depends on the qualification.

If you are interested, please send a CV together with a motivation
letter and the names of 2 people to recommend you to :
        Christine Paulin

Christine.Paulin AT lri.fr
        tel 33 1 69 15 66 35
        fax 33 1 69 15 65 86

engineer position for Coq development, Christine Paulin