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 linux-france.org (David MENTRE)
- Date: Fri, 12 Feb 2016 08:35:56 +0100
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 at fr.merce.mee.com.
- Prev by Date: [Frama-c-discuss] More problems with pointers
- Next by Date: [Frama-c-discuss] names of clauses, invariants, axioms
- Previous by thread: [Frama-c-discuss] More problems with pointers
- Next by thread: [Frama-c-discuss] names of clauses, invariants, axioms