Recent news about SAT for tag PhD

• Feb 4, 2026  PhD positions at KU Leuven (combinatorial optimization -- Certifying algorithms / Proof logging / Explanations) (deadline March 16, 2026) by Bart Bogaerts PhD  Position  Deadline 

  Two fully-funded PhD positions at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• Jan 12, 2026  PhD + Postdoc positions on SAT-based machine learning at the University of Helsinki by Andrew Cropper PhD  PostDoc  Position  Deadline 

  CoRDS Doctoral Network is offering a PhD funding related to SAT. The deadline for applications will be extended.

• Jan 6, 2026  PhD: Beyond resolution (University of Lleida) by Carlos Ansótegui PhD  Position 

  CoRDS Doctoral Network is offering a PhD funding related to SAT. The deadline for applications will be extended.

• Dec 3, 2025  PhD: SAT-based Constrained Sampling for Crystal Structure Prediction (University of Liverpool) by Friedrich Slivovsky PhD  Position  Deadline 

  PhD studentship at the University of Liverpool on SAT-based constrained sampling for crystal structure prediction (CSP).

• Nov 28, 2025  Postdoc and PhD openings in combinatorial optimization and/or TCS in Lund by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for postdoc and PhD positions in combinatorial optimization and/or theoretical computer science.

• Jan 22, 2025  Two PhD positions at KU Leuven (combinatorial optimization -- Certifying algorithms / Proof logging / Explanations) (deadline March 6, 2025) by Bart Bogaerts PhD  Position  Deadline 

  Two fully-funded PhD positions at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• Nov 29, 2024  PhD opening in TCS and/or combinatorial optimization (deadline January 17, 2025) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Oct 2, 2024  PhD position in Parallel & Distributed SAT/SMT/BMC at Karlsruhe Institute of Technology by Dominik Schreiber PhD  Position 

  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.

• Jul 24, 2024  PhD opening in TCS and/or combinatorial optimization in Lund by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Dec 9, 2023  Postdoc and PhD positions in TCS and/or combinatorial optimization at University of Copenhagen (deadline Jan 10, 2024) by Jakob Nordström PhD  PostDoc  Position  Deadline 

  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.

• Dec 1, 2023  Satisfiability and Optimization with Certificate Proofs Beyond Resolution by Jordi Levy PhD  Position 

  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.

• Nov 24, 2023  PhD and Postdoc positions in combinatorial optimization (certifying algorithms / proof logging) (deadline January 18, 2024) by Bart Bogaerts PhD  PostDoc  Position  Deadline 

  ERC-Funded PhD and PostDoc positions available at the Vrije Universiteit Brussel to join the proof logging revolution and make combinatorial optimizers deliver 100% correcntess guarantees.

• Aug 22, 2023  PhD opening in TCS and/or combinatorial optimization (deadline September 25, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Dec 11, 2022  Postdoc positions in combinatorial optimization (deadline January 10, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science.

• Dec 11, 2022  PhD positions in TCS and/or combinatorial optimization (deadline January 10, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Dec 10, 2022  Postdoc positions in combinatorial optimization (deadline January 15, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.

• Dec 10, 2022  PhD opening in TCS and/or combinatorial optimization (deadline January 12) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Dec 10, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.

• Aug 18, 2022  PhD opening in TCS and/or combinatorial optimization (deadline September 15) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• May 23, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.

• May 13, 2022  Postdoc positions in TCS and/or combinatorial optimization (deadline June 29) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in theoretical computer science and/or combinatorial optimization.

• May 13, 2022  PhD positions in TCS and/or combinatorial optimization (deadline June 29) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Apr 11, 2022  Fully-funded PhD Position on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD  Deadline 

  The deadline for applying to those two SAT related PhD positions is the end of the month (April 30).

• Apr 11, 2022  10 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position  Deadline 

  The deadline for applying to those 10 full-time PhD positions is the end of this month (April 30).

• Dec 20, 2021  Tenure-track assistant professorship in complexity theory (deadline Jan 30) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory.

• Dec 7, 2021  Reminder: Two PhD Positions on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD  Deadline 

  The deadline for applying to those two SAT related PhD positions is the end of the month (Dec. 30).

• Dec 7, 2021  Reminder: 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position  Deadline 

  The deadline for applying to those 20 full-time PhD positions is the end of this month (Dec. 30).

• Oct 29, 2021  Postdoc positions in combinatorial optimization (deadline November 28) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.

• Oct 29, 2021  PhD positions in TCS and combinatorial optimization (deadline November 28) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and combinatorial optimization.

• Oct 11, 2021  Two PhD Positions on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD 

  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.

• Oct 11, 2021  20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  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.

• Aug 17, 2021  PhD positions in theoretical computer science and/or combinatorial optimization by Jakob Nordström PhD  Position  Deadline 

  The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Aug 2, 2021  Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  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.

• Jun 16, 2020  PhD position focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position focused on SAT solving and combinatorial optimization.

• Jun 16, 2020  Doctoral and Postdoctoral Openings Representation Learning for Planning by Hector Geffner and Blai Bonet PhD  Position  Deadline 

  We have several funded slots for doctoral students and postdoctoral researchers at the AI and ML group at the Universitat Pompeu Fabra, Barcelona, Spain to carry out research on Representation Learning for Planning.

• May 26, 2020  PhD Position in QBF Solving at TU Wien by Friedrich Slivovsky PhD  Position  QBF  Deadline 

  The Algorithms & Complexity group at TU Wien is looking for a PhD student in QBF solving.

• Jul 4, 2019  PhD position available in Trento on “Advancing Optimization Modulo Theories” by Roberto Sebastiani Position  PhD 

  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.

• May 28, 2019  Doctoral position on SAT-Based Local Improvement for Graph Width Parameters by Stefan Szeider Position  Deadline  PhD 

  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.

• Jan 22, 2019  Doctoral Research Position at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  There is an opening for a fully funded research assistant position (PhD student) at the Algorithms and Complexity group at TU Wien, Vienna, Austria.

• Jan 16, 2019  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by February 7, 2019.

• Sep 11, 2018  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by September 29, 2018.

• Jul 1, 2018  PhD position on `Quantum Annealing for SAT Solving' in Trento by Roberto Sebastiani PhD  Position 

  One PhD Student Position on `Quantum Annealing for SAT Solving' available in Trento (Italy) in collaboration with D-Wave Inc.

• Feb 1, 2018  16 PhD Positions in Austria - Logical Methods in Computer Science by Stefan Szeider PhD  Position 

  Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.

• Dec 20, 2016  PhD and Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström PhD  PostDoc  Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for one postdoc and one PhD student in SAT solving.

• Jan 9, 2015  PhD position - Parallel SAT Solving by Norbert Manthey PhD  Position 

  TU Dresden offers a PhD position within on parallel SAT solving, which offers both theoretical and applied research.

• Dec 20, 2014  PhD position in QBF solving at Vienna University of Technology, Austria by Stefan Szeider Position  PhD  QBF 

  There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

• May 23, 2014  Funded Doctoral Positions in Austria (LogiCS) by Stefan Szeider Positions,  PhD 

  TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.