Camilo Thorne Mannheim, Germany
mobile: +49(0)15202380352 http://camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) ---------- Forwarded message ---------- From: Jakob Nordström <[email protected]> Date: Wed, Dec 14, 2016 at 11:42 PM Subject: [Proof Complexity] Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology To: "[email protected]" <[email protected]> Dear colleagues, I would very much appreciate your assistance in spreading the information that the Theory Group at KTH Royal Institute of Technology is looking for one postdoc and one PhD student in SAT solving (with close connections to proof complexity). The positions are within the research group led by Jakob Nordstrom. Much of the activities of this group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers --- in particular, solvers using conflict-driven clause learning (CDCL). We are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but seem hard to implement efficiently in practice, e.g., algebraic methods such as Groebner bases or geometric methods such as pseudo-Boolean solving. The application deadline is January 15, 2017. See http://www.csc.kth.se/~jakobn/openings/D-2016-0872-Eng.php and http://www.csc.kth.se/~jakobn/openings/D-2016-0833-Eng.php, respectively, for full announcements with more information and instructions how to apply. Informal enquiries are welcome and may be sent to [email protected] . With best regards, Jakob Nordstrom Jakob Nordström, Associate Professor KTH Royal Institute of Technology Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell) http://www.csc.kth.se/~jakobn/ _______________________________________________ Proof-Complexity mailing list [email protected] https://list.math.cas.cz/listinfo/proof-complexity -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJPxwscsBH8vp39ek_a_kbY%3DtOO2oq7xWNy5%2B-zgumqgeBfYiQ%40mail.gmail.com.
