Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- KTH Royal Institute of Technology
- SciLifeLab
- Lunds universitet
- Chalmers University of Technology
- Umeå University
- University of Lund
- Linköping University
- Karolinska Institutet (KI)
- Sveriges lantbruksuniversitet
- Swedish University of Agricultural Sciences
- Stockholms universitet
- Lulea University of Technology
- Nature Careers
- University of Gothenburg
- Karlstad University
- Linnaeus University
- Luleå University of Technology
- Uppsala universitet
- Blekinge Institute of Technology
- Chalmers tekniska högskola
- Jönköping University
- Umeå universitet stipendiemodul
- Örebro University
- Umeå universitet
- Stockholm University
- Karlstads universitet
- Linneuniversitetet
- Mälardalen University
- Chalmers Tekniska Högskola AB
- Högskolan Väst
- Lund University
- Malmö universitet
- University of Borås
- Chalmers
- Chalmers University of Techonology
- Chalmers te
- Epishine
- European Magnetism Association EMA
- Fureho AB
- KTH
- Kungliga Tekniska högskolan
- Linkopings universitet
- Linköpings universitet
- Lund university
- NORDITA-Nordic Institute for Theoretical Physics
- 35 more »
- « less
-
Field
-
the Wallenberg AI, Autonomous Systems and Software Program (WASP). Application deadline is 10 August 2025. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research
-
. The Department of Computer Science and Informatics provides academic programmes in subjects ranging from software engineering and embedded systems to user experience design and cybersecurity, and is also
-
multidisciplinary theme. The program prepares next-generation computational biologists with strong complexity thinking and tools applicable to living systems across organizational scales, addressing major
-
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
-
addition to these requirements, we also require that the candidate has a Ph.D. in Computer Science. Proven expertise in formal methods for verifying safety and security of autonomous systems, and digital twin design, prior
-
closing date for application. We look forward to receiving your application! Union representatives: Saco-S saco-s@mdu.seSusanne Meijer ST-OFR/S, phone: +46 21-10 14 89 We decline all contact with recruiters
-
Researcher (R1) Country Sweden Application Deadline 30 Oct 2025 - 22:59 (UTC) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU
-
- 23:00 (UTC) Type of Contract To be defined Job Status Full-time Hours Per Week To be defined Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No