2 proof-checking-postdoc-computerscience PhD positions at Umeå University

PhD Position in Mathematics Focusing on the Analysis of Partial Differential Equations

Umeå University | Sweden | about 12 hours ago

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

PhD student in Computing Science with focus on Compilation of Linear Algebra Expressionst

Umeå University | Sweden | about 13 hours ago

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