Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- CNRS
- Nature Careers
- Aix-Marseille Université
- Ecole Centrale de Lyon
- IMT Atlantique
- Université Paris Cité
- European Synchrotron Radiation Facility
- Fondation Nationale des Sciences Politiques
- IMT MINES ALES
- INRIA
- INSA Strasbourg
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Inria, the French national research institute for the digital sciences
- LAUM UMR CNRS 6613
- Laboratoire de Chimie Théorique, Sorbonne Université & CNRS
- ONERA
- Télécom Paris
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Université de Bordeaux
- Université de Lille
- Université de Montpellier
- 11 more »
- « less
-
Field
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 18 days ago
may involve several complementary aspects: • Theoretical and formal developments to derive new electronic structure methods from QED; • More applied methodological developments, including the treatment
-
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
-
factors should commonly interact to drive plant fitness and potential shifts in specific range positions (e.g., margins or center) under a changing climate, yet correlative-based SDMs lack a formal method
-
engineering and systems‑of‑systems approaches, including MBSE; _Process or system modelling (BPMN, UML, SysML, or related formalisms); _Knowledge of decision modelling, simulation, or decision‑support methods
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 8 days ago
repeated over several trials (to collect multiple samples) before making a decision. For these applications, statistical methods for hypothesis testing and estimation are needed, with formal guarantees
-
GQL-rewritability, and to develop efficient methods for constructing such rewritings when they exist
-
for the MODFLOW 6 Groundwater Transport Model, Techniques and Methods. Reston, VA Where to apply Website https://emploi.cnrs.fr/Offres/Doctorant/UMR6074-ARNBLO-001/Default.aspx Requirements Research FieldComputer
-
motivation letter to wolfgang.bacsa@cemes.fr and emmanuel.soubies@cnrs.fr . A formal application must also be submitted via the https://emploi.cnrs.fr/CNRS portal. However, we strongly encourage prospective
-
use classical methods of analysis and synthesis. However, in the case of large systems, this type of approach will generally lead to very large optimization problems. A second strategy is to describe
-
contribute to the development of next-generation bioresorbable implants. --- This document is shared for validation and input from IISc colleagues before formal publication and dissemination