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
-
: 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
-
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
-
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
-
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
-
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
-
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
-
primary school students' historical reasoning in non-formal settings. Interactive Learning Environments. Hageneuer, S. (2020). Communicating Past in the Digital Age. International Conference on Digital
-
professors, researchers, postdoc and PhD candidates about the administrative steps to be undertaken prior to arrival at AMU and the various practical formalities to be completed once in France: visas and entry
-
represented by them in the context of the microbiome. Here, using a triptych approach leveraging in silico, in vitro and in vivo methods, we aim to specifically and systematically characterize and validate