Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- CNRS
- Aix-Marseille Université
- Inria, the French national research institute for the digital sciences
- Nature Careers
- Ecole Centrale de Lyon
- Ecole Nationale de l'Aviation Civile
- European Synchrotron Radiation Facility
- IMT Mines Ales
- INSA Strasbourg
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- LAUM UMR CNRS 6613
- ONERA
- Télécom Paris
- 3 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
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
challenge will be to formalize the type of dependency between subsystem characterizations that can be included in the analysis and synthesis (estimation filter) methods, while preserving the convex character
-
supervised by Dr. Carlos Marques at the École normale supérieure de Lyon (ENS de Lyon), where the candidate will be formally enrolled and where part of the research program will be carried out. Further
-
of Geography and Spatial Planning (https://dgeo.uni.lu ), joining the Economic Geography team of Prof. Christian Schulz. The position contributes to the INTERREG-NWE funded AccessHubs project, which examines
-
cylinder flow. Journal of Fluid Mechanics, 896, A24. Your research program After getting familiar with the existing mathematical formalism and numerical tools, you will develop new algorithms to efficiently
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
, artificial intelligence—and particularly machine learning methods—has become indispensable. Depending on the specialty, processed data may include numerical values, point clouds, text or images, often
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package