Sort by
Refine Your Search
-
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
-
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
-
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
-
: 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
-
-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
-
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
-
transition of quality advisors in the non-formal education sector towards their new exclusive role as quality facilitators. The objectives are to systematically document and analyse organisational and
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description RESEARCHER PROFILE: Postdoc / R2: PhD holders RESEARCH FIELD(S)1
-
live in. Your role Conduct research related to the topics of the Signal Transduction Laboratory Participation in teaching activities at Bachelor and Master level (Co-) Supervision of master and PhD
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security