-
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
-
categories and roles are important. You are welcome to apply for a job with us! Here you can learn more about what it's like to work at Malmö University: Work with us We are looking for A project researcher in
-
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