The TCS Group at KTH invites applications for a PhD position in CS focusing on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms. See http://www.csc.kth.se/~jakobn/openings/J-2018-0940-Eng.php for more information. Informal enquiries are welcome and may be sent to jakobn@kth.se .

Website: http://www.csc.kth.se/~jakobn/openings/J-2018-0940-Eng.php
Email: jakobn@kth.se

A postdoc position on the complexity of CSPs is available at Oxford, supported by Standa Zivny’s ERC grant. The goal of the project is to study tractability (in a broad sense) of CSPs and convex relaxations. An ideal candidate would have a strong background in universal algebra and/or approximation algorithms/relaxations.

Website: http://www.cs.ox.ac.uk/news/1505-full.html
Email: standa.zivny@cs.ox.ac.uk

The eScience Centre is now expanding its staff in all its core areas and is therefore looking to recruit senior experts in core fields who can successfully engage and facilitate teams of software/hardware developers and, together with the management of the centre, set the strategic direction for the development of the centre, both its services and its infrastructure.

Website: https://www.sdu.dk/en/service/ledige_stillinger/971831
Email: pica@cp3.sdu.dk

The Copenhagen Center for Health Technology (CACHET) is looking for an experienced software architect to be responsible for the technological design and development in the center. You will have a central role in managing the software infrastructure and technical aspects of the center’s activities.

Website: http://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions//job?id=04f0f2ad-b0ce-4d7d-ba1c-7e85c8a98287
Email: jakba@dtu.dk