Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Chalmers University of Technology
- Umeå University
- University of Lund
- Lulea University of Technology
- Stockholms universitet
- Uppsala universitet
- Jönköping University
- Lunds universitet
- Mälardalen University
- SciLifeLab
- Stockholm University
- Sveriges lantbruksuniversitet
- Swedish University of Agricultural Sciences
- 3 more »
- « less
-
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
-
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