The Department of Computer Science at Lund University invites applications for postdoc and PhD positions focused on SAT solving and combinatorial optimization. The postdocs and PhD students will be working in the research group of Jakob Nordström, which is currently in transition from KTH to a combined location at Lund University and the University of Copenhagen on either side of the Oresund bridge.
The Spirals research team at University of Lille invites applications for a postdoc position in computer science focusing on using techniques from the area of knowledge compilation for answering queries on variability models. The project broadly aims to investigate different representations of the variability model, in particular relying on d-DNNF circuits, to perform various operations such as counting, enumerating and updating.
Aalto University Computer Science department’s annual call for applications for Assistant Professorships is now open. All areas are considered, especially the focus areas listed in the ad, but of particular importance are areas that can be viewed as falling inside “Formal methods for software”. Candidates from 0 until about 6 years from PhD are considered at the assistant professor level.
The call for applications for research fellowships (postdoc positions) at the Simons Institute at UC Berkeley for 2020-21 has now been posted with an application deadline of December 15.
TU Wien (Vienna University of Technology) invites applications for a full Professorship in AI Techniques.
One PhD position in ICT on the research project ”Advancing Optimization Modulo Theories” is available at the International Doctorate School in Information and Communication Technologies of the University of Trento, Italy, under the supervision of prof. Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out within the Software Engineering & Formal Methods Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento.
Multiple post-doctoral research positions available in the project on “Provably Verified and Explainable Probabilistic Reasoning,” led by the Principle Investigator, Kuldeep S. Meel. The positions are supported in part by the multi-million dollar NRF Fellowship for AI awarded to PI and additional funding from Defense Service Organization, Singapore.
There is an opening for a fully funded doctoral position at the Algorithms and Complexity group at TU Wien, Vienna, Austria. The position is within the FWF-funded research project P32441 on SAT-Based Local Improvement for Graph Width Parameters.
The MaxSAT Evaluation 2019 is coming up soon! We have extended the deadline for submitting benchmarks and solvers for the MaxSAT Evaluation 2019 to Friday, June 7, 2019.