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

PhD student in Computing Science with focus on Symbolic AI

Umeå University | Sweden | about 24 hours ago

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

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

Umeå University | Sweden | 21 days 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 | 1 day 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