The Coq mailing list

[Jean-Pierre Jouannaud <jeanpierre.jouannaud AT gmail.com>]

Call for postdoc
============

Team: Formes
Subject: Formal proof of programs running on embedded systems (based
  on ARM, MIPS or PowerPC);  Formal analysis of simulation traces.
Scientific requirements:  good practice of Coq proof assistant; practice of
  WHY and FRAMA-C tools or the like.
Employer: INRIA Rocquencourt
Location: Tsinghua University, FIT building, Beijing.
Support: ANR Sives
Administrative Requirement: French social security is mandatory for
ANR support, so we can only hire somebody having worked in France
(possibly as student) and be registered by the French social security.
Nationality is not important as long as this requirement is met.
Salary: usual INRIA postdoc salary (note that cost of life in Beijing
is very low).
Accomodation: is provided at a quite low cost.

Candidates should submit NOW to:
jeanpierre.jouannaud AT gmail.com

1. a CV including a list of publications
2. Referee reports for the PhD thesis if any
3. A letter of recommandation by the the PhD supervisor
4. A letter of recommandation by a specialist not having a conflict of 
interest.

For information about our project:
http://www.inria.fr/recherche/equipes/formes.fr.html
For more information about our project:
http://liama.ia.ac.cn/wiki/projects:formes:menu


--
Jean-Pierre Jouannaud
INRIA Project FORMES
FIT Building, room F-603
Tsinghua University
Beijing
Tel: +80 10 6279 6979 x603
jeanpierre.jouannaud AT gmail.com