Formal Methods: Hardware–Software for Trustworthy Embedded Systems

Assistant/Associate Professor in Formal Methods in Hard- and Software - Permanent contract École Télécom Paris, an international multidisciplinary center for education, research, and innovation, is a leader in the digital world. We are looking for a teacher-researcher in formal methods in the field of hardware and software. You will join the ACES team...

Learning to focus: Physics-Informed Deep Learning for Super-Resolved Ultrasonic Phased-Array Imaging H/F Category Mathematics, information, scientific, software Contract Internship Job title Learning to focus: Physics-Informed Deep Learning for Super-Resolved Ultrasonic Phased-Array Imaging H/F Subject The internship aims to design a physics-informed deep...

General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :• defence and security,• nuclear energy (fission and fusion),• technological research for industry,• fundamental research in the physical sciences and life sciences.Drawing...

Description du poste **Domaine**: - Composants et équipements électroniques **Contrat**: - Stage **Intitulé de l'offre**: - Développement hardware et validation de système électronique pour des expériences de physique H/F **Sujet de stage**: - L'objectif de ce stage est de tester et valider des systèmes électroniques. Les systèmes sont...

Type de structure : CATI (http://cati-neuroimaging.com) is a national platform providing services to acquire, analyze, organize and share neuroimaging data for multicentric clinical research projects. CATI manages an acquisition network spread over more than 50 sites in France and Europe. It also develops software solutions for the automatic extraction of...

Generate erroneous reasoning to enhance explainable AI H/F Stage This internship aims to improve human‑AI collaboration, where accuracy alone is insufficient as trust requires understanding the AI's reasoning. Explainable AI (XAI) focuses on generating clear, faithful, concise, and user‑adapted explanations, since a poor explanation can harm cooperation....

Etude des possibilités d’optimisations et d’accélérations hardwares dans le code NARMER-1 H/F Détail de l'offre Le LTSD, Laboratoire du Transport Stochastique et des Données nucléaires, fait partie du SERMA, le Service d'Etudes des Réacteurs et de Mathématiques Appliquées du CEA/Paris-Saclay. C'est le laboratoire où sont développés les codes...

IT Manager (Part-time)We are seeking a highly skilled IT Manager to join our team in Clairvaux. This part‑time position is suitable for men and does not require any previous experience. The ideal candidate will have a valid biometric passport and will be provided with accommodation.ResponsibilitiesManage hardware and software systems, including...

Informations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'conomie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle...

A prominent research organization in France is seeking a Post-doc for the development of a thermodynamic database on perovskites for solar cells. The role involves constructing thermodynamic models, conducting electronic structure calculations using Density Functional Theory, and optimizing manufacturing processes. Candidates should hold a PhD in Materials...