13 computer-programmer-"the"-"U"-"UCL"-"Technical-University-of-Denmark" PhD positions at Umeå University
Sort by
Refine Your Search
-
Researcher (R1) Established Researcher (R3) Application Deadline 14 Sep 2025 - 22:00 (UTC) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment
-
are inviting qualified applicants to apply for a doctoral student position in the European Marie Sklodowska-Curie Training Network programme FADOS. The successful candidate will join a cohort of 17 Doctoral
-
with researchers from different research fields and access to various scientific and technical expertise. All PhD students at the Faculty of Medicine attend the doctoral education program. More
-
legitimacy. WASP-HS The PhD position is part of the Wallenberg AI, Autonomous Systems and Software Program – Humanity and Society (WASP-HS). The vision of WASP-HS is to foster novel interdisciplinary knowledge
-
and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program
-
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 fields such as critical theory, digital sociology, criminology, or science and technology studies (STS). As part of the application, the doctoral student will draft a brief plan for an independent project
-
courses and conduct independent research, leading to a doctoral thesis in business administration with a focus on entrepreneurship. The course component of the doctoral program corresponds to 90 credits
-
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