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] Permanent position announcement: Formal Methods Research Engineer

  • Subject: [Frama-c-discuss] Permanent position announcement: Formal Methods Research Engineer
  • From: dmentre at (David MENTRE)
  • Date: Fri, 12 Feb 2016 08:35:56 +0100


Our research laboratory, Mitsubishi Electric R&D Centre Europe, has 
opened a permanent position of Formal Methods Research Engineer. We are 
looking for a young researcher knowing well one or more formal methods 
(and associated tools) to work on applying formal methods to industrial 
systems and software of Mitsubishi Electric group 

We are using various formalisms (Deductive Verification, Model Checking, 
Refinement, Abstract Interpretation, ...) applied to very diverse 
domains (Rail, Factory Automation, Automotive, ...). Mitsubishi Electric 
group has a lot of interesting cases to work on and where formal methods 
could make a real difference!

Our research is applied to concrete industrial case studies which have 
interesting research challenges. As we are part of corporate R&D, we 
have less constraints than business units and make publications and 
prototypes or participate to collaborative research projects like any 
academic research laboratory. In my view, this is the best of both 
worlds. :-)

Our laboratory is located in Rennes 
(, France, a not-so-big city very 
nice to live in.

So if you are a researcher fond of formal methods (and you are because 
you are reading this message ;-) ) and think they can make a real and 
positive impact on society, join us and help us!

If you know somebody that could be interested by this position, let 
her/him know, thank you!

Feel free to publicly or privately ask questions if needed.

Sincerely yours,
D. Mentré

PS: Here is the more formal announcement:

PDF version:

        ===== Formal Methods Research Engineer =====

== Company ==
    1, allée de Beaulieu, CS 10806, 35708 Rennes Cedex 7, France

== Web site ==

== Duration ==
    Undetermined term period (French CDI), from 2016/Q1

== Reference ==

== Context and description ==

As MITSUBISHI ELECTRIC Group’s subsidiary, one of the world’s leading 
names in the manufacture and sales of electric and electronic products 
and systems, the European R&D centre MITSUBISHI ELECTRIC R&D CENTRE 
EUROPE includes a division “Communication Technology Division” (COM) 
specialised in communications and control solutions for professional- 
and consumer-oriented applications.

This division, located in Rennes (Ille-et-Vilaine department, Brittany 
region, France) is looking for a Research Engineer whose tasks are going 
to include:

   • Study and development of software solutions for safety or business 
critical systems (automotive, rail, factory automation, robotic, 
aerospace, nuclear, ...) using formal methods;

   • Study and development of software tools and engineering 
methodologies to promote formal methods use in an industrial context;

   • Involvement in collaborative research projects in the field of 
formal methods.

== Required experience ==

   • At least 3 years of experience in software or mathematics fields, 
within public or private R&D laboratories;

   • Experience in formal methods, and optionally in one of the 
following domains: Automotive; Model Based Engineering; Dependability; 
Software Engineering;

   • Concrete knowledge of one or more formal tool (like Atelier B, 
Frama-C, SPARK, SCADE, Coq, Isabelle, Polyspace, Astrée, Z3, SPIN, …) is 
a plus;

   • Research experience marked by publications and patents is also a plus.

== Essential qualifications ==

   • PhD degree in the field of formal methods.

== Personal Profile ==

   • Motivation and dynamism to work in a research environment adapted 
to industry;

   • Open-mindedness, capacity to work in a multicultural and 
international environment;

   • Ability to work with rigor in a dynamic environment on multiple 
tasks within schedule;

   • Excellent communication skills;

   • Fluent English;

   • Availability for international business trips.

== Contact ==

Magali BRANCHEREAU (Human Resources Manager)

Please send CV and motivation letter by email (indicating in object: 
your name + job ad reference) to:
     jobs at