Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Chalmers University of Technology
- University of Lund
- Nature Careers
- Linköping University
- Swedish University of Agricultural Sciences
- KTH Royal Institute of Technology
- Umeå University
- Karolinska Institutet (KI)
- Linnaeus University
- Lulea University of Technology
- Jönköping University
- Luleå University of Technology
- Lunds universitet
- Mälardalen University
- SciLifeLab
- Sveriges lantbruksuniversitet
- Lund University
- Lund university
- Umeå universitet stipendiemodul
- Uppsala universitet
- 10 more »
- « less
-
Field
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
-
) start date of the post-doctoral education. The head of the department determines whether their previous training and scholarly qualifications correspond to a Swedish doctorate or higher. What do we offer
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions