[isabelle] Permanent position announcement: Formal Methods Research Engineer
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
Our laboratory is located in Rennes
(https://en.wikipedia.org/wiki/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.
PS: Here is the more formal announcement:
===== Formal Methods Research Engineer =====
== Company ==
MITSUBISHI ELECTRIC R&D CENTRE EUROPE
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
â 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
== 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;
â Concrete knowledge of one or more formal tool (like Atelier B,
Frama-C, SPARK, SCADE, Coq, Isabelle, Polyspace, AstrÃe, Z3, SPIN, â) is
â 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
â Open-mindedness, capacity to work in a multicultural and
â 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 fr.merce.mee.com.
This archive was generated by a fusion of
Pipermail (Mailman edition) and