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] two open positions in new Joint Laboratory to develop Why3 and SPARK technologies

  • Subject: [Frama-c-discuss] two open positions in new Joint Laboratory to develop Why3 and SPARK technologies
  • From: moy at (Yannick Moy)
  • Date: Wed, 2 Apr 2014 15:14:42 +0200

We have recently started a Joint Laboratory between the French INRIA research labs and AdaCore, to further develop the Why3 and SPARK technologies used inside the SPARK 2014 tools. You'll find a high level description of our goals here:

We are now looking for two R&D engineers to complete the team of researchers (INRIA) and engineers (AdaCore). It is expected that the engineers contribute both to advancing the academic knowledge in ProofInUse context and to the transfer of this knowledge into the software products distributed by AdaCore. Concretely, the engineer will participate actively to the production of scientific publications, to the software development of SPARK-related tools, and to the support for AdaCore customers.

We expect from the candidate some experience with Formal Methods for Software Engineering in a broad sense, typically the candidate should have defended a PhD in the domain of Formal Methods. More specifically, a plus would be some experience in formal logic and proof techniques, in automated deduction, in Satisfiability Modulo Theory solvers, in Model Checking or in Abstract Interpretation techniques. The candidate should have 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 candidate should be able to write and speak in English fluently.

For all details and contacts, see the description of the position at INRIA:
Yannick Moy, Senior Software Engineer, AdaCore