The Algorithms group at the University of Bergen has an open 2-year Postdoctoral Researcher position in SAT-solving (deadline 30 April 2023). The goal is to apply SAT-solving techniques in the development of algorithms and in the investigation of mathematical conjectures arising in combinatorics, graph theory, and related areas.

Website: https://www.jobbnorge.no/en/available-jobs/job/242720/researcher-in-informatics-sat-solving
Email: mateus.oliveira@uib.no