Open Initiative for Next Generation of
Probabilistic Safety Assessment
Job offers
Postdoctoral Research Fellow Position Available: "Formal Methods and Reliability Engineering".
A one-year position for a Postdoctoral Research Fellow is available in Marseilles-France, to work within the "Secure and Critical Communicating Systems" Research Group on a project entitled: "Formal Methods and Reliability Engineering". The project,in the framework of an advanced R&D international cluster, will identify the principles, techniques and artefacts needed to integrate the formal method B (initially developed by J.-R. Abrial) and some elements of safety analyses.
Salary is competitive and the University "Méditerranée" in Marseilles offers an excellent benefits package and very attractive environment in Luminy Campus (Provence, Calanques, French Riviera, etc).
Ideal candidate should possess the following qualifications:
- a recently earned Ph.D. in Computer Science with a dissertation topic in formal methods, or closely related to reliability engineering.
- Skills to program.
- Will to work on real-life test cases.
Candidates with Ph.D. topics in other related areas but who have knowledge and training in formal methods and reliability engineering are also encouraged to apply.
Interested individuals should submit an electronic resume, relevant publications and/or PhD thesis, a cover letter highlighting their suitability for the position, the availability starting period and the names of three referees by end of December 2007, to:
T. MUNTEAN, Professor Computer Science; Univ. "Méditerranée" - Marseille
Tel.+33(0)491828501;(secr.0491828510)
Email:
and
A. Rauzy, CNRS Researcher, Univ. "Méditerranée" - Marseille
Tel.+33(0)491269624;
Email: