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

The group of Alexander-von-Humboldt Professor Andreas S. Schulz at Technische Universität München (TUM) is seeking exceptional, highly motivated talents with expertise or interest in algorithms, algorithmic game theory, combinatorial optimization, graph theory, integer programming, machine learning, network flows, operations research, stochastic optimization, or a related subject.

Website: https://www.or.tum.de/fileadmin/w00bwl/www/PDFs/TUM_Job_Offer.pdf
Email: or@tum.de