-
The 20th edition of the SMT workshop is taking place in Haifa, and we're looking for contributions!
-
We are now seeking to add your expertise to the role of Lecturer - (Data Science & AI) within the Optimisation Group of the Department of Data Science and Artificial Intelligence.
-
QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory.
-
The deadline for applying to those two SAT related PhD positions is the end of the month (Dec. 30).
-
The deadline for applying to those 20 full-time PhD positions is the end of this month (Dec. 30).
-
The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) is a competition aiming for practically exploring the combinatorial reconfiguration problem.
-
The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and combinatorial optimization.
-
The Johannes Kepler University Linz has an opening for a full professorship in Formal Methods.
-
There is an opening for two PhD positions on innovative applications of SAT techniques (that includes, SAT, MaxSAT, (D)QBF, and related techniques), with theoretical and experimental objectives.
-
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien co-funded by the European Commission, will offer 20 full-time PhD positions.
-
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In 2022, it is organized within FLoC in Haifa, Israel.
-
We have a vacancy for an Assistant Professor in Model-Based AI at the Institute for Logic, Language and Computation (ILLC) in Amsterdam, with SAT being one of the relevant topics of expertise.
-
The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.
-
We invite proposals for workshops affiliated with SAT. The purpose of the workshops is to provide an informal venue in which participants can explore specific research areas in-depth.
-
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien co-funded by the European Commission, will offer 20 full-time PhD positions.
-
The annual international SAT conference registration is now open. The conference (July 7-9) will follow a hybrid format, with in-person and virtual participation options, while the affiliated workshops will be held virtually (July 5-6).
-
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master's students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: winter semester 2021/2022, summer semester 2022.