Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
methods and social theory (suitable subjects include but are not limited to human geography, anthropology, sociology, rural development, sustainability studies), completed latest by the 31st of August
-
postgraduate education in areas such as Information Processing Technologies, including Quantum Information and Computation, Optoeletronics, Physical Layer Security and Information Theory, Cybersecurity and
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers