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