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 R&D engineer position in ProofInUse lab, Paris
- Subject: [Frama-c-discuss] Two open R&D engineer position in ProofInUse lab, Paris
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Mon, 07 Apr 2014 10:26:35 +0200
The new Joint Laboratory ProofInUse (funded by the French National Research Agency, see http://www.spark-2014.org/proofinuse) hires two experimented R&D engineers 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 pulbications) 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. More details about the scientific program and the positions are given at URL http://www.inria.fr/en/institute/recruitment/offers/r-d-engineers/%28view%29/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4510&ContractType=6502&LG=EN&Resultsperpage=20&nPostingID=8315&nPostingTargetID=14052&option=52&sort=DESC&nDepartmentID=10 Contact: Claude.Marche at inria.fr, Yannick.Moy at adacore.com
- Prev by Date: [Frama-c-discuss] Error on using pp-annot
- Next by Date: [Frama-c-discuss] Call for participation CSTVA'14 Constraints in Software Testing, Verification, and Analysis
- Previous by thread: [Frama-c-discuss] Question about get varinfo from vid
- Next by thread: [Frama-c-discuss] Call for participation CSTVA'14 Constraints in Software Testing, Verification, and Analysis
- Index(es):