Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Inria, the French national research institute for the digital sciences
- CNRS
- Université Gustave Eiffel
- Nature Careers
- Télécom Paris
- Grenoble INP - Institute of Engineering
- IMT Atlantique
- ONERA
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université de Bordeaux / University of Bordeaux
- BRGM
- CEA
- Ecole Centrale de Lyon
- French National Research Institute for Agriculture, Food, and the Environment (INRAE)
- Université Savoie Mont Blanc
- Université de Limoges
- CERBM
- CIML2000
- CNRS LABORATOIRE EM2C
- CentraleSupélec
- Centre Euopéen de Recherche et de Formation Avancée en Calcul Scientifique (CERFACS)
- Centre National de la Recherche Scientifique (CNRS)
- Commissariat à l'Energie Atomique et aux Energies Alternatives - Groupe
- Communauté d’universités et établissements de Toulouse
- Ecole supérieure de physique et de chimie industrielles de la ville de Paris
- European Synchrotron Radiation Facility
- IFP Energies nouvelles (IFPEN)
- IMT Mines Albi
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Institut Pasteur
- LGEF/ INSA Lyon
- LSPM , CNRS 3407
- LaTIM - Brest
- Pascal DEGRAEVE
- Universite Grenoble Alpes
- University of Réunion
- Université Angers
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes
- Université Jean Monnet Saint-Etienne
- Université d'Orléans
- Université de Technologie de Compiègne
- 32 more »
- « less
-
Field
-
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
-
, one aspect could be overlooked: heat transfer and the risk of thermal runaway. Thermal runaway remains a significant safety risk in the chemical industry, accounting for nearly 25% of accidents [1
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 23 hours ago
algorithms, and to publish these results in research papers. bibliographic work algorithm design and their theoretical analysis numerical simulations writing scientific papers Where to apply Website https
-
management, combined "safety/security" approaches, risk analysis, and the optimization and certification of systems using artificial intelligence. Skills in the laboratory's application domains, particularly
-
. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...
-
teaming strategies. - Participating in the creation of realistic simulated environments based on environmental data. - Defining evaluation protocols and performance metrics (safety, energy, mission
-
. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...
-
these materials to minimize their environmental footprint while ensuring the durability and safety of infrastructure. In nature, it has been demonstrated that filamentous fungi possess considerable potential
-
, specifically within the IRISA/Sotern teams, in cooperation with the LAB-STICC/Iris, all two experts research groups in network security. In collaboration with the project team and under the supervision
-
and protocols for next-generation networks (B5G/6G, Internet of Things, SDN/NFV, constrained systems), the resilience and security of critical infrastructures, security-by-design for hardware and