Sort by
Refine Your Search
-
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
-
Are you passionate about advancing sustainable mobility solutions? Do you enjoy working at the intersection of artificial intelligence, optimization, and energy management? We invite applications
-
Engineering and Autonomous Systems division . We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and learning
-
Master Programmes, at the Faculty of Medicine, and at the Disciplinary Domain of Science and Technology. The department has a yearly turnover of around SEK 500 million, out of which more than half is made
-
conducts research and teaching within immunology, infection biology, cell biology and cancer. MTC has about 40 research groups and our key words are multidisciplinary, bridging, national and international