Sort by
Refine Your Search
-
Listed
-
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
-
Welcome to Linnaeus University! Here you'll meet 2 200 staff members and 40 000 students, all united in following the vision to set knowledge in motion for a sustainable societal development. With
-
is close. Our cohesive campuses make it easy to meet, work together and exchange knowledge, which promotes a dynamic and open culture. The ongoing societal transformation and large green investments in
-
resources all provide excellent opportunities for ground-breaking research. The successful candidate will be capable of working efficiently and productively within a team, while also developing