Recent news about SAT for tag Position

• 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.

• Nov 26, 2024  Postdoc positions in combinatorial optimization (certifying algorithms / proof logging) (deadline February 6, 2025) by Bart Bogaerts PostDoc  Position  Deadline 

  ERC-Funded PostDoc position available at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• 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.

• Aug 5, 2024  University of Copenhagen professorships at all levels within all areas of computer science (application deadline Sep 1) by Jakob Nordström Position  Deadline 

  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.

• 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 10, 2023  Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning (application deadline Jan 26) by Jakob Nordström Position  Deadline 

  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.

• 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 27, 2023  Professorship in Formal Methods at Johannes Kepler University Linz by Martina Seidl Position  Deadline 

  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.

• 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.

• Jun 27, 2023  University Assistant (Post-Doc) position available at TU-Wien by Stefan Szeider Position  PostDoc  Deadline 

  There is an opening for a postdoc position (university assistant) at TU Wien within the Algorithms and Complexity research unit.

• Feb 21, 2023  3-year researcher position on OMT in Trento by Roberto Sebastiani Position 

  URGENT: 3-year researcher position on Optimization Modulo Theories in Trento. PhD and expertise in SMT|SAT|CP|MILP needed

• 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.

• Dec 10, 2022  Assistant Professors in Computer Science at Aalto University, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.

• 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).

• Feb 8, 2022  Lecturer Position in Optimisation (CP/MIP/SAT/SMT) by Alexey Ignatiev Position  Lecturer  Deadline 

  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.

• 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).

• Nov 20, 2021  CS Professorships at Aalto University, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.

• 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 25, 2021  Formal Method full professorship position @ JKU Linz by Martina Seidl Position  Deadline 

  The Johannes Kepler University Linz has an opening for a full professorship in Formal Methods.

• 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.

• Oct 4, 2021  Assistant Professor in Model-Based AI at ILLC in Amsterdam by Ulle Endriss Position  Deadline 

  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.

• 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.

• Dec 12, 2020  Postdoctoral position in combinatorial optimization (including SAT solving and constraint programming) at University of Copenhagen by Jakob Nordström PostDoc  Position  Deadline 

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

• Nov 21, 2020  Tenure Track Assistant Professors in Computer Science at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science. The CS Department is very well funded, availability of research funding in Finland in general is very good, and the positions come with a generous start-up package that funds a new research group for a number of years. Quality of life in Helsinki is internationally very competitive on multiple scales, and Finland is globally known as one of the progressive and technologically advanced Nordic societies.

• Aug 24, 2020  Postdoc In Sample Complexity (Or Machine Learning) In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  Do you hold a PhD in Computer Science or Mathematics, or have the expectation to receive one within the next 12 months?

• Aug 24, 2020  Phd Position In Parameterized Complexity In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), supervised by Robert Ganian (principal investigator).

• 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.

• May 12, 2020  Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria by Mihaela Rozman Position  Deadline 

  TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).

• Dec 20, 2019  Postdoc and PhD positions focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström Position  Deadline 

  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.

• Nov 17, 2019  Postdoc position available in Lille on “Knowledge Compilation for Variability Model Analysis” by Clément Quinton Postdoc  Position 

  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.

• Nov 11, 2019  CS Professorships at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  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.

• Nov 10, 2019  Simons-Berkeley Research Fellowships for spring of 2021 on theory and practice of NP and beyond by Jakob Nordström Position  Deadline 

  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.

• Nov 6, 2019  Full Professor in AI Techniques at TU Wien, Austria by Stefan Szeider Position  Deadline 

  TU Wien (Vienna University of Technology) invites applications for a full Professorship in AI Techniques.

• Aug 8, 2019  Professorship in AI at Johannes Kepler University Linz by Armin Biere Position  Deadline 

  The professorship position should focus on the development, design, and implementation or on the theory of Artificial Intelligence methods.

• 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.

• Jul 2, 2019  Post-Doctoral Positions for Provably Verified and Explainable Probabilistic Reasoning by Kuldeep Meel Position  PostDoc 

  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.

• 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.

• May 17, 2019  Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant by Mihaela Rozman Position  Deadline 

  The Security & Privacy group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security”. The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

• 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.

• Dec 24, 2018  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in computer science focused on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms.

• Oct 21, 2018  Two Research Assistant positions in Swansea available soon by Oliver Kullmann Position 

  Based on the grant The next level of SAT solving for very hard problems, soon the details of the two RA positions in Swansea will become available.

• Sep 26, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

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

• 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.

• Sep 2, 2018  Two postdoc positions in SAT/CP/AI available at NUS by Kuldeep S. Meel Position 

  Two post-doctoral research fellow positions in the area of SAT/CP/AI are available at the School of Computing, National University of Singapore, Singapore.

• 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.

• Apr 22, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

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

• 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 23, 2017  Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for postdocs and PhD students in SAT solving.

• Sep 1, 2017  Postdoc position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a postdoc in SAT solving.

• Mar 1, 2017  Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for postdocs and PhD students in SAT solving.

• Jan 7, 2017  Associate professorship in computer science (including SAT solving) at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for a tenured associate professorship in computer science with a broad profile, covering all research areas currently represented at the school (thus including SAT solving).

• 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.

• Dec 14, 2015  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström PostDoc  Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.

• Jan 27, 2015  Postdoc position (SAT, constraints, optimization) by Matti Jarvisalo PostDoc  Position 

  The Constraint Reasoning and Optimization group, led by Dr. Matti Jarvisalo at the University of Helsinki, Finland, is looking for one or more talented and highly motivated postdoctoral researchers to work with us.

• 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.

• Jun 20, 2014  PostDoctoral position proposal in Propositional Satisfiability by Lakhdar Saïs Position  PostDoc 

  Algorithms for Inference and Constraints group (CRIL, CNRS UMR 8188), at Lens (France), is offering a postDoctoral position.

• Apr 1, 2014  Sr. R&D Engineer / Software Architect - Formal verification by Atrenta Position 

  Atrenta is hiring a senior engineer with good skills around SAT and SMT. See announce for details.