Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- SciLifeLab
- Linköping University
- Chalmers University of Technology
- Umeå University
- Lulea University of Technology
- Swedish University of Agricultural Sciences
- Mälardalen University
- Jönköping University
- Linnaeus University
- Nature Careers
- University of Lund
- Blekinge Institute of Technology
- 2 more »
- « less
-
Field
-
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 third-cycle courses and study programmes at a higher education education as well as basic eligibility requirements and assessment criteria, are regulated in the Higher Education Ordinance chapter 7 §§ 34
-
able to plan, organise and prioritise your work effectively Your workplace Tema T - Technology and Social Change - is a nationally and internationally leading environment for research and education
-
courses each year. We also have extensive national and international collaborations with academia, industry and society. This position is funded by the WASP program, and as such comes exciting career