Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Umeå University
- University of Lund
- Chalmers University of Technology
- Linköping University
- Lunds universitet
- Stockholms universitet
- Uppsala 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
-
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
-
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
Searches related to string theory
Enter an email to receive alerts for string-theory positions