Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Job offer: engineer position in formal methods


  • Subject: [Frama-c-discuss] Job offer: engineer position in formal methods
  • From: Claude.Marche at inria.fr (Claude Marché)
  • Date: Thu, 31 Mar 2016 09:49:57 +0200

The Joint Laboratory ProofInUse (funded by the French National
Research Agency, see http://www.spark-2014.org/proofinuse) hires
an experienced R&D engineer in the domain of Formal Methods for
Software Engineering.

ProofInUse originates from the sharing of resources and knowledge
between the Toccata research team, specializing in techniques for
deductive program verification and the SME AdaCore, a software
publisher, specializing in providing software development tools for
critical systems.

The recruited engineer will work in close collaboration with the
ProofInUse Research and Development team, to address both its
scientific and its technological challenges. It is expected that the
engineer contributes both to advancing the academic knowledge in
ProofInUse context (and thus to the production of scientific
publications) and to the transfer of this knowledge into the software
products distributed by AdaCore.

We expect from the candidate some experience with Formal Methods for
Software Engineering (PhD thesis or equivalent), a fair experience in
software development, a plus would be the knowledge of functional
programming, and the knowledge of the programming languages OCaml and
Ada.

The position is to be filled as soon as possible starting from May 1st
2016, for an initial duration of 12 months.

More details about the scientific program and the positions are given at URL
http://www.lri.fr/~marche/PosteProofInUse2016.pdf

Contact: Claude.Marche at inria.fr, Yannick.Moy at adacore.com

-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |