The Department of Informatics at the University of Bergen (Norway) has announced a 3 years PhD position in Algorithms. The focus of the position will be on the algorithmic aspects of automated reasoning, and in particular, in the algorithms aspects of automated theorem proving.

Website: https://www.jobbnorge.no/en/available-jobs/job/168659/phd-position-in-algorithms
Email: mateus.oliveira@uib.no