-
Invitation to submit proposals for workshops to be held at the 2025 SAT conference.
-
SAT'25 will take place August 10-15 in Glasgow, Scotland. Submissions (long papers, short papers, tool papers) are expected by March 27th AoE (abstracts due March 20th AoE).
-
PoS 2025 will be co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025).
-
Two fully-funded PhD positions at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.
-
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
-
ERC-Funded PostDoc position available at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.
-
The young investigator group on Scalable Automated Reasoning at the Department of Informatics at the Karlsruhe Institute of Technology (KIT, in Germany) is looking for a research assistant (a.k.a. doctoral researcher, PhD student), beginning as soon as possible.
-
The Department of Computer Science at the University of Copenhagen (DIKU) invites applications from professors at all levels within all areas of computer science to join our department! Needless to say, the Algorithms and Complexity Section would particularly welcome strong applicants in algorithms, complexity theory, and automated reasoning to strengthen and expand our world-leading research environment.
-
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
-
For the recently established Cluster of Excellence CoE Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria.
-
The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the two categories outstanding master thesis and outstanding undergraduate thesis awards.
-
The Workshop on Counting, Sampling, and Synthesis (MCW 2024) is organized alongside SAT 2024, featuring talks and posters on all aspects of model counting, sampling, and automated synthesis.
-
Invitation to submit solvers and/or benchmarks to the PB24 competition.
-
The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'24, with dedicated competition contributions, post-workshop proceedings and SAT'24 fast track.
-
27th International Conference on Theory and Applications of Satisfiability Testing
-
The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc and PhD positions in theoretical computer science and/or combinatorial optimization.
-
SAT'24 will take place August 21-24 in Pune, India. Submissions (long papers, short papers, tool papers) are expected by March 15th AoE (abstracts due March 8th AoE).
-
PhD position to develop new techniques for the problem of constraint satisfaction (SAT) and constraint optimization (MaxSAT), exploring new ideas based on the use of new proof systems available in Barcelona and Lleida (Spain). The position is to be fulfilled as soon as possible. Applicants must hold a MSc in computer science, mathematics, or physics (or related areas) at the time of application.
-
The Department of Computer Science at the Faculty of Engineering and Natural Sciences at Johannes Kepler University Linz invites applications for a permanent full-time position at the Institute for Formal Models and Verification (FMV) founded by Armin Biere.