Email Gateway (Aug 22 2022 at 12:37): Email Gateway (Aug 22 2022 at 12:37):From: David MENTRE <dmentre@linux-france.org>
Hello,
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
(http://www.mitsubishielectric.com/products/).
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
(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.
Sincerely yours,
D. Mentré
PS: Here is the more formal announcement:
PDF version:
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1602_Annonce_COM_IRMF_EN.pdf
===== 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 ==
http://www.fr.mitsubishielectric-rce.eu
== Duration ==
Undetermined term period (French CDI), from 2016/Q1
== 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 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@fr.merce.mee.com.
Last updated: Apr 19 2024 at 01:05 UTC