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)

Postdoc position at Bar-Ilan University (ISRAEL) (apply by April 15, 2019)

We offer a postdoctoral position at Bar-Ilan University, Israel, in the field of coding theory and distributed computations. The appointment is for 1 or 2 years, depending on funding and progress, with starting date in October 2019 (flexible). The university resides in Tel-Aviv area.

Apply by sending CV and a short research statement by 15.4.2019.

Website: https://www.eng.biu.ac.il/gellesr/
Email: ran.gelles@biu.ac.il

Postdoc position at Bar-Ilan University (ISRAEL) (apply by April 15, 2019)

postdoc at Center for Quantum Technologies, NUS, Singapore (apply by April 30, 2019)

We have a postdoctoral position in post-quantum cryptography broadly defined. In particular, anyone interested in algorithmic and/or complexity-theoretic aspects of problems relevant in lattice-based, code-based, multivariate cryptography is welcome to apply.

The position comes with an internationally competitive salary and sufficient support for travel.

Website: http://cs.quantumlah.org/index.php
Email: divesh.aggarwal@gmail.com

postdoc at Center for Quantum Technologies, NUS, Singapore (apply by April 30, 2019)