-
project is led by Professor Tora Holmberg. The person who receives the position will be supervised by the project manager but work independently and has great opportunity to influence and design the project
-
information at: https://www.umu.se/en/department-of-computing-science/ You will research in collaboration with the Associate Professor Zoe Falomir. Interested? Submit your application by April 18, 2025. Project
-
affiliation. For more information, please contact MIMS Director, Professor Oliver Billker: oliver.billker@umu.se, +46 90 785 67 78 We welcome your application!
-
Alaska and Greenland. The postdoc will work with Assistant Prof. Gerard Rocher-Ros (Umeå University), and international collaborators within the broader ARIMETH project. Qualifications To be appointed
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing