Sort by
Refine Your Search
-
participation, and professional development for instance through Umeå PostDoc Society. Collaborative Environment: Work in a dynamic and supportive team with ongoing collaborations with leading groups in medicine
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
-
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
-
working and driving intradisciplinary projects. Proficiency in one or more programming languages (R, MATLAB, or Python) is required. Based on the project match, experience in PK/PD and ODE-based modeling