Sort by
Refine Your Search
-
Together with The Laboratory for Molecular Infection Medicine Sweden (MIMS) and the SciLifeLab & Wallenberg National Program for Data-Driven Life Science (DDLS) , Umeå University is looking
-
/ This postdoctoral fellow position is part of a new Career Programme for early-stage researchers in Educational Sciences initiated by the Umeå School of Education. The Career programme aims to strengthen Educational
-
Software Program (WASP). WASP is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program
-
, Autonomous Systems and Software Program (WASP). WASP is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty
-
early-stage researchers recruited into the WISE program will be a part of the WISE Research School https://wise-materials.org/research-school/ an ambitious nationwide program of seminars, courses
-
, Umeå University, and is financed by Umeå School of Education. Project description This postdoctoral fellow position is part of a new career program , initiated by Umeå School of Education. It is linked
-
Software Program (WASP). WASP is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
-
. The research group is connected to SciLifeLab and is part of the National Program for Data-driven Life Science (DDLS ), generously funded by the Knut and Alice Wallenberg Foundation. Our research is focused
-
theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries