Formal - 34+ offres

Alstom

Sorry, the application period for this vacancy has closed

Institut DataIA Paris-Saclay

Formel AI At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and c

Morpho

A decentralized finance platform is looking for a smart contract security expert to ensure the safety and reliability of their protocols. The ideal candidate will have a Master’s degree in Computer Science or related fields and at least 3 years of smart contract auditing experience. Responsibilities

Institut DataIA Paris-Saclay

An innovative tech startup is seeking an AI Engineer to work on cutting-edge technology that combines large language models with formal verification methods. You will design and develop AI systems, collaborate with design partners on proof-of-concept projects, and explore novel architectures to ensu

Inria

*Contrat renouvelable :** Oui *Niveau de diplôme exigé :** Thèse ou équivalent *Fonction :** Ingénieur scientifique contractuel *Niveau d'expérience souhaité :** De 3 à 5 ans ## **A propos du centre ou de la direction fonctionnelle** Le centre Inria de l'Université de Rennes est l'un des huit centre

Institut DataIA Paris-Saclay

Overview Formel AI. At Formel AI, we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent,

Alstom

A global transport solutions provider in France is looking for a passionate individual to join their team, focusing on safety processes in railway projects. The role involves formulating and modelling safety properties for interlocking subsystems, implementing models, and collaborating with diverse

P2P

A leading DeFi lending protocol is looking for a Security Engineer to enhance security and robustness of smart contracts. Responsibilities include implementing formal verification rules using Certora, conducting security reviews, and managing the bug bounty program. Ideal candidates hold a Master's

Inria

Engineer for Generative Formal Code Annotations Renewable contract: Yes Level of qualifications required: PhD or equivalent Fonction: Temporary scientific engineer Level of experience: From 3 to 5 years About the research centre or Inria department Context The Epicure team at Inria Rennes is looking

ALSTOM Gruppe

A leading railway company in Saint-Ouen-sur-Seine is looking for a Master’s student to join their team, focusing on formal methods and safety processes. You will formulate and model safety properties while collaborating across teams to optimize railway solutions. Candidates should be pursuing a Mast

Morpho

A leading DeFi lending protocol is seeking a Security Engineer to ensure the robustness of its smart contracts. Responsibilities include implementing verification rules, conducting security reviews, and managing a bug bounty program. The ideal candidate holds a Master's degree and has 3+ years of au

ENAC - Ecole Nationale de l'Aviation Civile

Pour soutenir sa dynamique en faveur de la promotion de la diversité, l’ENAC facilite l’accueil et l’intégration des travailleurs en situation de handicap. L’ENAC, École Nationale de l’Aviation Civile, est la plus importante des Grandes Écoles ou universités aéronautiques en Europe. Elle forme à un

Institut DataIA Paris-Saclay

A pioneering AI startup in France is looking for an engineer with a strong background in formal methods to develop innovative Large Language Models that ensure transparency and reliability. Candidates should possess significant experience in formal verification and engage actively in research-driven

Missions The recruited postdoctoral researcher will contribute to the ANR/NSF CAFEE project, an international collaboration aiming at bridging the gap between control theory and formal verification at code level . The project targets end-to-end guarantees , from high-level control design to embedded

Morpho Labs

A leading decentralized finance company is seeking a Security Auditor to ensure the security of smart contracts. This role involves implementing formal verification rules, conducting security reviews, and managing a bug bounty program. Candidates should possess a Master’s degree and 3+ years’ experi

Inria

Un institut de recherche national en France recherche un ingénieur pour des annotations formelles de code générées par intelligence artificielle. Le candidat devra avoir une solide expérience en intelligence artificielle, en développement logiciel et être capable de travailler sur des modèles de lan

ALSTOM Gruppe

At Alstom, we understand transport networks and what moves people. From high‑speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling, and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 80,000 colleagues

A leading engineering institution in France is seeking a researcher to teach core computer science subjects and conduct research in digital systems. The successful candidate will engage with students at L3 and M1 levels, focusing on algorithms, programming languages like Go and Rust, as well as form

Alstom

At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling, and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 80,000 colleagues

A prestigious research institution seeks a highly motivated postdoctoral researcher to contribute to an international project in control theory and formal methods. The role involves designing formal verification methods for control software, particularly focusing on optimization-based algorithms. Ca