[isabelle] Open Post-doc position at INRIA Rennes, France





Dear all Isabelle users,

here is a Postdoc position available at INRIA Rennes, France

--------------------------------------------------------------------------------------------------

A postdoc position for 1 year is available at INRIA Rennes - Bretagne Atlantique. The research will take place in the Celtique team (http://www.irisa.fr/celtique/). The task will consist in developing certificates of software which makes it possible
for a user to check a downloaded code, in an automatic manner and extremely
quickly. A program producer can hence verify the security of his program with a large amount of computation resource before distributing it with a certificate that helps the consumer to replay the verification program but with very far fewer resources.

Candidates should have a background in program verification. Additional
knowledge in one or more of the following topics will be appreciated:
 - static analysis,
 - theory of abstract interpretation,
 - language-based security,
 - deductive verification,
 - decision procedures,
 - probabilistic verification
 Knowledge of the French language is not required.

Start of contract: ideally, the candidate will start working in september or october, but
we can accomodate a later date.
Salaries: usual INRIA postdoc salary (2,357.30 euros gross/month, i.e. 1923,26 euros net/month).
Social security benefits:
  - Entitled to unemployment benefit at the end of the contract;
  - Affiliated to the French social security system.

Candidates should submit to david.pichardie[at]irisa.fr, thomas.genet[at]irisa.fr and thomas.jensen[at]irisa.fr
  - A CV including a list of publications
  - A one-page research statement
  - Referee reports for the PhD thesis if any
  - Contact information for two references (including the PhD supervisor)


--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.