Sort by
Refine Your Search
-
Listed
-
Employer
- CNRS
- Nature Careers
- Institut Pasteur
- CEA
- European Magnetism Association EMA
- Ecole Nationale des Ponts et Chaussées (ENPC)
- Ecole Normale Supérieure
- IFP Energies nouvelles (IFPEN)
- INSA Rouen Normandie
- INSA Strasbourg
- Inria, the French national research institute for the digital sciences
- Institut Agro Rennes-Angers
- LAUM UMR CNRS 6613
- Sciences Po;
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université Grenoble Alpes
- Université d'Orléans
- fluiidd
- 8 more »
- « less
-
Field
-
4 Mar 2026 Job Information Organisation/Company UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE Department Computer science department Research Field Engineering » Systems engineering Researcher Profile
-
Context and project In all aspects of everyday life, there is a massive digitalization of systems that is increasingly important. One of the consequences of this phenomenon is the massive production
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
5 Mar 2026 Job Information Organisation/Company INSA Strasbourg Department INSA Strasbourg Research Field Computer science » Other Researcher Profile Leading Researcher (R4) Positions Other
-
the CFM-ML Lab. Application Materials Required: Further Info: http://www.phys.ens.fr/ Laura Baron-Ledez Administrative manager - Philippe Meyer Institute Département de Physique, Ecole normale supérieure 24
-
satisfiability checkers. To provide precise robust guarantees for state inclusion, which is a crucial feature to ensure safety in CI operation, secure set-based estimators have been introduced. These state
-
Ecole Nationale des Ponts et Chaussées (ENPC) | Champs sur Marne, le de France | France | about 1 month ago
-018-9301-4 Guayacán-Carrillo & Sulem, 2024. Comp & Geotech, 171, 106355. https://doi.org/10.1016/j.compgeo.2024.106355 Orgogozo et al., 2023. Computer Physics Communications, 282, 108541, https
-
the interface of machine learning and biology (tools developed by the team: https://github.com/cantinilab ). The team is composed of 8 people : 3PhD students, 3 post doc, 1 research engineer and 1 assistant
-
since January 2024 by Professor Yasmine Belkaid, the Institut Pasteur is home to more than 3,000 members of over 100 nationalities. From fundamental understanding of biological processes to pandemic
-
Inria, the French national research institute for the digital sciences | Rennes, Bretagne | France | about 1 month ago
support services. The hired engineer will be a member of the KerData Inria team (https://team.inria.fr/kerdata/ ) led by Gabriel Antoniu. KerData is a joint research team of Inria Rennes - Bretagne