Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Nature Careers
- CNRS
- Aix-Marseille Université
- Télécom Paris
- IRIT, Université de Toulouse
- École nationale des ponts et chaussées
- Ecole Normale Supérieure
- Grenoble INP - LCIS
- IMT Mines Albi
- Inria, the French national research institute for the digital sciences
- Université de Bordeaux - Laboratoire IMS
- Université de Toulouse
- 2 more »
- « less
-
Field
-
: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and
-
an assistant that offers real-time feedback and recommendations without disrupting agile development? Objectives The PhD will develop the ReqSecDes framework by combining AI-driven extraction and formalization
-
shortage of specialized expertise, the lack of systematic methods to refine abstract security goals such as confidentiality, integrity, or availability into actionable design decisions, and the absence
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
for monitoring territorial and development changes. Baltic cities are transforming at scales and rates that challenge conventional methods of spatial analysis. Today, urban areas are no longer just the setting
-
research. Within this project, the postdoctoral researcher will assume a central role in the empirical implementation. The successful candidate will join the research group on non-formal education at
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
contact Dr. Your profile PhD in Data Science, Environmental Science, or related disciplines Proven expertise in environmental science and data-driven research as PostDoc Experience in acquiring third-party
-
students' historical reasoning in non-formal settings. Interactive Learning Environments Hageneuer, S. (2020). Communicating Past in the Digital Age. In Intern. Conf. on Digital Methods in Teaching and