Sort by
Refine Your Search
-
aspects of Software Engineering. The position comes with a substantial recruitment package from the Wallenberg AI, Autonomous Systems and Software Program (WASP). Welcome with your application, no later
-
multidisciplinary theme. The program prepares next-generation computational biologists with strong complexity thinking and tools applicable to living systems across organizational scales, addressing major
-
to the doctoral thesis project. Out of this, at least 30 ECTS have to be in a subject closely related to the research topic of the graduate program. Applicants who have acquired equivalent skills in some other
-
USBE, with about 150 employees. About 4000 students follow our programs and courses every year and we offer education from the undergraduate to the doctoral program level in all our main disciplines
-
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
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing