Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
Searches related to graph theory
Enter an email to receive alerts for graph-theory positions