Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
five pages, including figures and references, Your GMAT (or GRE) and TOEFL/IELTS test scores or any other certificate proofing your English proficiency if available, Contact details for at least two
-
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
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions