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] Research Engineer permanent position opened at Mitsubishi Electric R&D Centre Europe, Rennes, France

  • Subject: [Frama-c-discuss] Research Engineer permanent position opened at Mitsubishi Electric R&D Centre Europe, Rennes, France
  • From: dmentre at (David MENTRE)
  • Date: Mon, 12 Oct 2015 08:51:09 +0200


My company, Mitsubishi Electric, has opened a new Research Engineer 
permanent position (French CDI) to work on formal methods in Rennes, France.

We have a lot of interesting challenges to work on in railway, 
automotive, factory automation and other domains!

See requirements and profile below.

Feel free to forward this job announcement to relevant forums.

Best regards,

== Advanced Software Research Engineer ==


1, allée de Beaulieu, CS 10806, 35708 Rennes Cedex 7, France
Web site :

Duration: undetermined term period (CDI), from October 2015

Reference: COM_IRMF

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 located in Rennes (Ille-et-Vilaine department, 
Brittany region) is looking for a Research Engineer whose tasks will 
• Study and development of advanced software solutions for critical 
systems (automotive, rail, robotic, aerospace, nuclear ...) using formal 
• Study and development of software tools to promote advanced software 
solutions’ use in an industrial context;
• Involvement in collaborative research projects in the field of 
advanced software 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: 1) automotive; 2) Model Based Engineering; 3) dependability;
• Concrete knowledge of a formal tool (like Atelier B, Frama-C, SPARK, 
SCADE, Coq, Polyspace, Z3 or SPIN) is a plus;
• Research experience marked by publications and patents is also a plus.

Essential qualifications:

• Graduate engineer and/or PhD degree in the field of advanced software.

Personal Profile:

• Motivation and dynamism to work in a research environment adapted to 
• Open-mindedness, capacity to work in a multicultural and international 
• Ability to work with rigor in a dynamic environment on multiple tasks 
within schedule;
• Excellent communication skills;
• Fluent English;
• Availability for international business trips.


Magali BRANCHEREAU (Human Resources Manager)

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

    jobs at