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 linux-france.org (David MENTRE)
- Date: Mon, 12 Oct 2015 08:51:09 +0200
Hello, 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, david == Advanced Software Research Engineer == http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1510_Annonce_COM_EN_IRMF.pdf Company: MITSUBISHI ELECTRIC R&D CENTRE EUROPE 1, allÃ©e de Beaulieu, CS 10806, 35708 Rennes Cedex 7, France Web site : http://www.mitsubishielectric-rce.eu/ 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 include: â¢ Study and development of advanced software solutions for critical systems (automotive, rail, robotic, aerospace, nuclear ...) using formal methods; â¢ 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 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 fr.merce.mee.com