1 category-theory Postdoctoral positions at Umeå University

Post-doctoral researcher (3 years) in Computer Science with focus on Compilation of Linear Algebra Expressionst

Umeå University | Sweden | 4 days ago

. Proficiency in programming languages, compilation techniques and optimizations. Proficiency in C, C++, and/or Rust. Merits: Experience with e-graphs. Familiarity with theory and algorithms used by, for example