Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Lulea University of Technology
- Umeå University
- Chalmers University of Technology
- Linköping University
- Sveriges lantbruksuniversitet
- Uppsala universitet
- Jönköping University
- Mälardalen University
- SciLifeLab
- Swedish University of Agricultural Sciences
- Linnaeus University
- Luleå University of Technology
- Lunds universitet
- Malmö universitet
- Nature Careers
- Stockholms universitet
- Umeå universitet
- University of Lund
- 8 more »
- « less
-
Field
-
security - A very good knowledge in programming (such as in C, Java or Python) - In-depth understanding of computer systems (assembly code, compilers) Additional Information Work Location(s) Number of offers
-
of robotics, electromobility and autonomous driving. We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
29 Sep 2025 - 22:00 (UTC) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Reference Number 583--1-9396 Is the
-
reference persons Application deadline 2025-09-21 Registration number AN 2.2.1-1000-25 Union representative Umeå University wants to offer an equal environment where open dialogue between people with
-
application with the reference number below. Your application, including diplomas, must be written in English or Swedish. Recruitment communication and potential interviews will be held in English only. Closing
-
postgraduate education in areas such as Information Processing Technologies, including Quantum Information and Computation, Optoeletronics, Physical Layer Security and Information Theory, Cybersecurity and
-
reference persons Application deadline 2025-09-04 Registration number AN 2.2.1-977-25 Union representative Umeå University wants to offer an equal environment where open dialogue between people with different
-
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
-
Deadline 2 Sep 2025 - 22:00 (UTC) Type of Contract Temporary Job Status Part-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Reference Number 1114--1-13510 Is