PhD in CS focused on SAT solving at KTH Royal Institute of Technology (apply by May 15, 2018)

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

PhD in CS focused on SAT solving at KTH Royal Institute of Technology (apply by May 15, 2018)

postdoc at University of Oxford (apply by June 15, 2018)

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

postdoc at University of Oxford (apply by June 15, 2018)

Senior Software and Hardware Architects for Research Infrastructure at eScience Centre, University of Southern Denmark (apply by May 7, 2018)

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

Senior Software and Hardware Architects for Research Infrastructure at eScience Centre, University of Southern Denmark (apply by May 7, 2018)

Chief Software Architect at Copenhagen Center for Health Technology , Technical University of Denmark (apply by May 1, 2018)

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

Chief Software Architect at Copenhagen Center for Health Technology , Technical University of Denmark (apply by May 1, 2018)

Data Science postdoc at UC San Diego (apply by April 15, 2018)

Exceptional, self-motivated candidates with an outstanding research record are encouraged to apply to the Data Science postdoctoral fellowship. Data science should be interpreted broadly, and includes many areas within theory. Fellows will teach one data-science related class per year, and will be given a research budget and a faculty-type office.

Website: http://qi.ucsd.edu/dsfellows/
Email: slovett@ucsd.edu

Data Science postdoc at UC San Diego (apply by April 15, 2018)

Software and Hardware Architects at The eScience Center at the University of Southern Denmark (apply by April 25, 2018)

Software and hardware architects for research infrastructure

The eScience Center at the University of Southern Denmark (SDU), develops and operates large-scale e-Infrastructures dedicated to research in all fields, such as the Danish national supercomputing facility (DeIC National HPC centre, SDU).

Website: https://www.sdu.dk/en/service/ledige_stillinger/969841?sc_lang=da
Email: pica@cp3.sdu.dk

Software and Hardware Architects at The eScience Center at the University of Southern Denmark (apply by April 25, 2018)

Postdoc positions in TCS at KTH Royal Institute of Technology (apply by April 22, 2018)

The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in TCS. The application deadline is April 22, 2018. See http://apc.eecs.kth.se/J-2018-0433-Eng.php for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to apc@csc.kth.se .

Website: http://apc.eecs.kth.se/J-2018-0433-Eng.php
Email: apc@csc.kth.se

Postdoc positions in TCS at KTH Royal Institute of Technology (apply by April 22, 2018)