PhD Student: Algorithmic aspects of automated theorem proving at University of Bergen (Norway) (apply by May 5, 2019)

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

PhD Student: Algorithmic aspects of automated theorem proving at University of Bergen (Norway) (apply by May 5, 2019)

Ph.D. & Postdoc Positions at Technical University of Munich (Germany) (apply by April 23, 2019)

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

Ph.D. & Postdoc Positions at Technical University of Munich (Germany) (apply by April 23, 2019)