Sort by
Refine Your Search
-
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
Enter an email to receive alerts for web-programmer-"PhD-Jobs.NET" positions