Post-Doc Positions at Univ. College Dublin.

[Joao Marques-Silva]

The Complex and Adaptive Systems Laboratory at University College Dublin is
opening three post-doctoral positions in the area of Boolean-based constraint
solving and optimization. The post-doctoral researchers will be involved in
developing new decision and optimization procedures for Satisfiability Modulo
Theories (SMT) and Boolean Satisfiability (SAT).

Applicants should have a PhD degree in Computer Science or related discipline.
Experience with tool development is desirable. The post-doctoral researcher
appointments will be for either 1 or 3 years. The salary for post-doctoral
researchers varies between 37750 EUR and 46255 EUR, depending on experience.

More information is available at http://www.csi.ucd.ie/staff/jpms/vacancies/ and
at http://www.ucd.ie/hr/jobvacancies/. The deadline for applications is June 11.
Informal enquiries should be directed to Joao Marques-Silva
(http://www.csi.ucd.ie/staff/jpms/).