Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Uppsala universitet
- Umeå University
- University of Lund
- Chalmers University of Technology
- Linköping University
- Lunds universitet
- Stockholms universitet
- Chalmers tekniska högskola
- Jönköping University
- Mälardalen University
- SciLifeLab
- Stockholm University
- Sveriges lantbruksuniversitet
- Swedish University of Agricultural Sciences
- 4 more »
- « less
-
Field
-
phases'. Within the 'Condensed Matter and Quantum Optics' division, there is a vibrant activity in condensed matter theory, and in particular in strongly correlated systems and topological phases
-
these questions through an interdisciplinary lens, with a strong focus on mathematical and computational methods closely connected to evolutionary theory and biological data. Read more about our research themes and
-
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
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
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