Sort by
Refine Your Search
-
Category
-
Employer
-
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
-
specific focus on Aerial and Space robotics. The vision of RAI is aiming in closing the gap from theory to real life, while the team has a strong expertise in field robotics. Specific application areas
-
Bachelor, Master and Doctoral levels, as well as a thriving research environment and many opportunities for personal development. Our mission is to advance the theory and practice of business, with specific
-
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
-
covers kinetic theory, non-local diffusion and dynamics on graphs. The precise research direction will be determined together with the successful candidate upon personal background and interests
-
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
-
well as a thriving research environment. Our mission is to advance the theory and practice of business with specific focus on entrepreneurship, ownership and renewal. Our guiding principles are: international
-
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