Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Inria, the French national research institute for the digital sciences
- CNRS
- Université Gustave Eiffel
- Grenoble INP - Institute of Engineering
- IMT Atlantique
- Nature Careers
- Télécom Paris
- ONERA
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université de Bordeaux / University of Bordeaux
- CEA
- Ecole Centrale de Lyon
- French National Research Institute for Agriculture, Food, and the Environment (INRAE)
- Université Paris Cité
- Université Savoie Mont Blanc
- Université de Limoges
- BRGM
- CERBM
- CIML2000
- 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 Centrale de Nantes
- Ecole supérieure de physique et de chimie industrielles de la ville de Paris
- European Synchrotron Radiation Facility
- IC2MP
- IFP Energies nouvelles (IFPEN)
- IMT Mines Albi
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Institut Pasteur
- LGEF/ INSA Lyon
- LSPM , CNRS 3407
- Pascal DEGRAEVE
- UTTOP
- Universite Grenoble Alpes
- University of Réunion
- Université Angers
- Université Claude Bernard Lyon 1
- Université Jean Monnet Saint-Etienne
- Université d'Orléans
- Université de Technologie de Compiègne
- Université de Toulouse
- 34 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 | 9 days 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
-
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
-
plants, and decommissioning operations release gaseous effluents or aerosols containing radionuclides. Monitoring these emissions is crucial for environmental and radiological safety. However, current
-
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
-
. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...
-
an industrial environment. · Mandatory knowledge of European and French electrotechnical standards and safety regulations ion (NFC15-100, NFC 18-510…). · Familiar with Microsoft Word and Excel
-
through systematic experimental campaigns Job description & project sheet for more information Where to apply Website https://institutminestelecom.recruitee.com/l/en/o/post-doctorat-en-cybersecurit