- Research on innovative solutions for critical and non-critical systems, with a focus on security,
- Study and develop prototypes of software tools and engineering methodologies to facilitate the application of Formal Methods in an industrial context, spanning from proof of concept to pre-production tools;
- Clearly demonstrate the effectiveness of proposed solutions to both technical and non-technical stakeholders;
- Contribute to open innovation in the field of Formal Methods by collaborating with academic partners through joint research projects, co-supervision of doctoral students, direct contracts, etc.
- At least 3 years' experience (including a Ph.D. in the field of Formal Methods) in software and hardware development or mathematics, gained within public or private R&D laboratories;
- Experience in Formal Methods and possibly in one or more of the following areas: automotive, railway, industrial automation, model engineering, control theory, software engineering, FPGA and similar hardware developments, testing, industrial and optical networks, Artificial Intelligence (Deep & Machine Learning, Genetic Algorithms, etc.);
- Applied knowledge and expertise related to one or more Formal Methods tools (such as Atelier B, Frama-C, SPARK, SCADE, Why3, Boogie, Agda, Coq, Lean, Isabelle, TrustinSoft Analyzer, PolySpace, Astrée, Z3, CVC5, Alt-Ergo, SPIN, NuSMV, Simulink Design Verifier, UPPAAL, etc.);
- Established research experience evidenced by publications or patents;
- A strong knowledge of functional (OCaml, Haskell, etc.), object-oriented (C++, C#, Java, etc.), or synchronous languages (SCADE, Lustre, etc.), as well as software engineering practices, will also be highly appreciated.
- Open-mindedness, capacity to work in a multicultural and international environment;
- Ability to work across multiple tasks methodically and efficiently, within set deadlines;
- Motivation to work in a dynamic industrial research environment and adaptability in reordering priorities;
- Excellent communication and interpersonal skills: ability to share information with team players (must show evidence of teamwork), and to present one's work to a wide audience (demonstrators, presentations, etc.) in an understandable and appealing fashion;
- Fluent written and spoken English;
- Availability for business trips abroad.
-
Researcher in Formal Methods
il y a 1 semaine
Mitsubishi Electric R&D Centre Europe - France Rennes, FranceAs a subsidiary of the Mitsubishi Electric Group, a global leader in electrical and electronic products and systems , MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division named "Communication and Information Systems" (CIS). This division specializes in communication and cont ...
-
Responsable Qualité
il y a 1 semaine
Etablissement de Baguer-Morvan Rennes, FranceL'Hospitalité Saint Thomas de Villeneuve recherche pour ses établissements de santé privé et médico-sociaux d'intérêt collectif de Baguer Morvan, Tinténiac, St Grégoire et St Louis à Rennes, un responsable qualité - gestion des risques en CDI FORFAIT JOUR (208 jours/an). · - Exer ...
-
Product Owner
il y a 6 jours
Scalian Rennes, France**Product Owner / Project Manager F/H** · - CDI (statut cadre) à Rennes (35) / Télétravail partiel · - Min. 3 ans d'expérience en tant que Product Owner / Project Manager (hors stages/alternance) · - Rémunération selon votre expérience et vos compétences : 40 à 43K€ bruts annuels ...
-
Responsable Pédagogique Et Méthodes
il y a 1 semaine
CLPS L'enjeu compétences Le Rheu, FranceDescriptif du poste · Le CLPS recherche un(e) responsable Pédagogique et méthodes basé(e) au siège social au Rheu (35). Rattaché(e) à la direction du développement, des méthodes et des transformations numériques, vous prendrez part à des missions variées: · **Contribuer à l'ingén ...
-
Conseiller en Création Et Reprise D'entreprise
il y a 1 semaine
In Extenso Taden, FranceIn Extenso est **un réseau d'expertise comptable et de conseil** constitué de 250 agences réparties sur l'ensemble du territoire. Notre métier ? **Conseiller et accompagner nos clients**, des dirigeants d'entreprises, dans toutes les étapes de la vie de leur société. · Les équipe ...
-
méthodes F/H
il y a 1 semaine
CAILabs Rennes, France CDI, Temps pleinQui sommes-nous ? · Fondée en 2013, Cailabs est le spécialiste mondial de la mise en forme des lasers, grâce en particulier à une technologie unique et brevetée (MPLC), issue de laboratoires scientifiques. Elle conçoit, fabrique et développe des solutions photoniques innovantes p ...
-
INRIA Rennes, France CDDContexte et atouts du poste · Supervisory Team · Silvina Caino-Lores, PhD (Inria, France) · Alexandru Costan, PhD, HDR (INSA Rennes, France) · Rafael Ferreira da Silva, PhD (Oak Ridge National Laboratory, USA) · Ana Trisovic, PhD (Massachusetts Institute of Technology, USA) · L ...
-
INRIA Rennes, France CDDContexte et atouts du poste · Supervisory Team · Silvina Caino-Lores, PhD (Inria, France) · Gabriel Antoniu, PhD, HDR (Inria, France) · Location and Mobility · The thesis will be hosted by the KerData team at the Inria research center of Rennes. Rennes is the capital city of B ...
-
Assistant Comptable Fournisseurs F/H
il y a 3 jours
Helys Pacé, France CDI, Temps partielL'entreprise · Le temps partagé, vous connaissez ? Hélys, Groupement d'employeurs, vous offre les possibilités de : · trouver un équilibre vie professionnelle/vie personnelle qui a du sens, · d'être reconnu pour vos compétences, · d'être acteur de la performance d'entreprises à t ...
-
Technicien de Laboratoire H/F
il y a 5 jours
Eurial Domagné, France CDITechnicien de Laboratoire H/F · Agrial recrute pour sa branche Rejoindre Agrial, c'est intégrer une coopérative d'agriculteurs, polyvalente, implantée en France et à l'international. C'est vivre une expérience humaine enrichissante et passionnante, au service du « bien manger » ...
-
Technicien de Laboratoire H/F
il y a 6 jours
Groupe Eclor Domagné, FranceRejoindre Agrial, c'estintégrer une coopérative d'agriculteurs, polyvalente, implantée en France et à l'international. · C'est vivre une expériencehumaine enrichissante et passionnante, au service du « bien manger » et du «plus durable ». · C'est se sentir utile etdonner un sens ...
-
Conseiller en Création et Reprise d'Entreprise
il y a 1 semaine
In Extenso Saint-Carné, France CDI· Poste : In Extenso est un réseau d'expertise comptable et de conseil constitué de 250 agences réparties sur l'ensemble du territoire. Notre métier ? Conseiller et accompagner nos clients, des dirigeants d'entreprises, dans toutes les étapes de la vie de leur société. · Les éq ...
-
Conseiller en Création et Reprise d'Entreprise
il y a 4 jours
In Extenso Taden, France CDIVous êtes passionné(e) par entrepreneuriat ? Alors nous vous attendons · Mission · In Extenso est un réseau d'expertise comptable et de conseil constitué de 250 agences réparties sur l'ensemble du territoire. Notre métier ? Conseiller et accompagner nos clients , des dirigea ...
-
Chargé de missions efficacité énergétique(F/H)
il y a 1 jour
LE MERCATO DE L'EMPLOI Montauban-de-Bretagne, France À temps pleinÀ propos de nous · Le Mercato de l'emploi propose pour l'un de ses clients, spécialisé dans le domaine du froid, un poste de Chargé de missions efficacité énergétique (F/H). Ce poste en CDI est basé à Montauban de Bretagne (Ille-et-Vilaine) et est à pourvoir dès que possible pour ...
Researcher in Formal Methods - Rennes, France - Mitsubishi Electric R&D Centre Europe - France
Description
Context and description:
As a subsidiary of the Mitsubishi Electric Group, a global leader in electrical and electronic products and systems, MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division named "Communication and Information Systems" (CIS). This division specializes in communication and control solutions for applications targeting both professional and consumer-oriented sectors. Specifically, the CIS division engages in research activities encompassing multi-approach Formal Methods (such as Deductive Verification, Abstract Interpretation, proof assistants, etc.) across various domains, including automotive, railway, factory automation, robotics, aerospace, nuclear, and hardware and software development.
Located in Rennes (Ille-et-Vilaine, Brittany), the CIS division is seeking a researcher with expertise in Formal Methods to undertake the following responsibilities:
Required education and experience:
The ideal applicant has:
Personal Profile:
Contact:
Magali BRANCHEREAU (Human Resources Manager)
Please send your C.V. and cover letter in English as PDF files to
specifying your name followed by the reference of the job posting INSPE025 in the subject line.