Recent news about SAT for tag PostDoc

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

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

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

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

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

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

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

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

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