Sort by
Refine Your Search
-
systems. Advanced programming skills. Academic writing skills and the ability to typeset papers in LaTeX. It is highly meritorious if you enjoy working with math notation and formal proofs. Alternatively
-
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 proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions