3-year PhD student position in the field of Symbolic Algorithms (extension to 4 years if teaching). Salary: 491,200 NOK per year (approx 48,000 EUR per year) before taxes. Applicants should have a MSc. degree (or obtain a MSc. degree before 31/01/2022) and a strong background in some relevant subfield of TCS, such as algorithms, graph theory, combinatorics, automata theory, type theory, etc.