Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
Stage Researcher (R1) Positions PhD Positions Country France Application Deadline 8 Nov 2025 - 23:59 (Europe/Paris) Type of Contract Temporary Job Status Full-time Offer Starting Date 1 Mar 2026 Is the
-
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
-
nanoparticles, whose manufacture is generally based on “trial & error” methods. Thus, the aim of TOSCaNA is to develop an experimental approach and a CFD formalism for predicting the size and morphology of metal
-
: 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
-
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
-
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
-
-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