[SystemSafety] Research position with ProofInUse project

From: Roderick Chapman < >
Date: Wed, 6 Apr 2016 10:00:47 +0100

This may be of interest to some readers of the list.

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 <http://www.lri.fr/%7Emarche/PosteProofInUse2016.pdf>

Contact: Claude.Marche_at_xxxxxx Yannick.Moy_at_xxxxxx

Yannick Moy, Senior Software Engineer, AdaCore

_______________________________________________ The System Safety Mailing List systemsafety_at_xxxxxx
Received on Wed Apr 06 2016 - 11:01:21 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:08 CEST