Sort by
Refine Your Search
-
eligibility for admission to postgraduate education can be read here - General study plan for postgraduate education at the department of informatics. In order to fulfill the requirement for special
-
The Department of Computing Science is hiring an assistant professor in cybersecurity, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). Application deadline is 10 August 2025
-
expect the successful candidate to be present at the workplace in Umeå and participate in the department's joint activities. The application must include: A research plan describing the proposed doctoral
-
and with national/international partners. It is time-limited (4–5 years) and may include up to 20% teaching. As a PhD student, you will be admitted to the faculty’s doctoral program and actively
-
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
-
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
-
ECTS relevant 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
-
. Additional information Normally, the PhD program amounts to four years of full-time studies. This PhD position consists of a two-year scholarship followed by a two-year PhD student employment. The PhD position
-
program focused on international contemporary art. We curate and produce exhibitions of the highest quality in collaboration with artists and art museums from around the world. More information can be found
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing