Sort by
Refine Your Search
-
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
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
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
-
(France) University of Gothenburg (Sweden) University of Oslo (Norway) Participation in specialized training workshops and international conferences. How to apply* Website: Formal applications must be
-
Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD
-
limited to the implantation of continuous-valued neural networks (e.g. multi-layer formal neural networks). The development of a new hardware substrate must be accompanied by a more ambitious technological
-
is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 2 months ago
to obtain a description of the deployment of the application. To describe the model, there are different approaches and formalisms based on diagrams such UML, on logic and data or Feature Models. In
-
equivalent research experience) of research career, measured from the date when the degree was obtained, which would formally entitle the person to embark on a doctorate. Graduation in the field
-
reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In line with our values, the University