Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
spaces of AI models will be analyzed in their facts using quantitative methods from data science and AI, results of which then be investigated using qualitative methods and theory of critical studies
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
of robotics, electromobility and autonomous driving. We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and
-
The candidate will be located at the division of Physical Resource Theory , Chalmers University of Technology, Gothenburg, Sweden. We conduct systems-level research to address major environmental challenges using