Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F

Description du poste **Domaine**: - Composants et équipements électroniques **Contrat**: - Stage **Intitulé de l'offre**: - Exploring the Generalizability of ML-driven Model Generation for HW Design H/F **Sujet de stage**: The Environmental Design and Architecture Laboratory (LECA), within the Digital Systems and Integrated Circuits Department...

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 within the INFRES department.Scientific context :A job vacancy under the title "Formal Methods at the...

Join to apply for the Associate to the CTO role at Bending Spoons. At Bending Spoons, we’re striving to build one of the all‑time great companies. A company that serves a huge number of customers. A company where team members grow to their full potential. A company that functions at unparalleled levels of effectiveness and efficiency. A company that...

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...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Mission confiée**: In the context of non-destructive testing (NDT) of the civil engineering of EDF's nuclear and hydro power plants in operation, the challenges of extending the service life of...

Three internship topicsare proposed (details are provided below).Duration:4 to 6 months.Start date:preferably early February 2026.The CSEP (Centre Spatial de l'École Polytechnique) is currently seeking interns from various fields to contribute to its satellite project: IonSat, a 6U nanosatellite equipped with an electric thruster, designed to operate in...

At NcodiN, we are redefining the future of AI computing. Our breakthrough optical interposer shatters the limits of system integration, enabling the next generation of AI processors to scale beyond the copper wall. With the world's smallest laser integrated on silicon, we unleash the full potential of AI, setting a new industry standard for performance and...

Type de contrat : CDDNiveau de diplôme exigé : Bac + 5 ou équivalentFonction : DoctorantNiveau d'expérience souhaité : Jeune diplôméA propos du centre ou de la direction fonctionnelleLe centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s'inscrit dans le développement du plateau de Saclay, en partenariat étroit d'une part avec...

Design of a Reinforcement Learning–Driven Scheduler for Efficient and Frugal Container Orchestration H/F Category Engineering science Contract Internship Job location Saclay Subject Context: Modern distributed systems (such as cloud and edge computing platforms) rely on orchestration frameworks like Kubernetes or Docker Swarm to manage the deployment and...

Lecturer and Postdocs at Ecole PolytechniqueThe Ecole Polytechnique is recruiting a lecturer and several postdocs with expertise in one of the following topics: Stochastic Simulation, Uncertainty Quantification, Data Science.The positions are located at the Centre de Mathématiques Appliquées of the Ecole Polytechnique. Duration: 3 years, extension...