Fwd: PhD position: logic, SMT, verification

[Haniel Barbosa]

---------- Forwarded message ---------

The Computer Science department of the Montefiore Institute at the
University of Liège invites applications for a PhD position / teaching
assistant. The position is for 4 years with an evaluation after 2
years.

Duties: the recruited PhD student will conduct her/his research in the
department with Bernard Boigelot and/or Pascal Fontaine on symbolic
verification and/or SMT solving, and will help with teaching duties in
the department, mainly on subjects related to logic and programming.

Requirements: we are looking for excellent candidates with a Master
university degree (or equivalent) in computer science, engineering, or
mathematics. Good knowledge of programming and mathematical logic is
mandatory. Some acquaintance with verification, SAT/SMT solving,
automated/interactive theorem proving, or automata based decision
procedures (e.g. for modal or temporal logics) is a plus.

Contact: please contact Bernard Boigelot
(boig...@montefiore.ulg.ac.be) and Pascal Fontaine
(pfon...@montefiore.ulg.ac.be) for details, and/or further discussion
about the possible PhD subjects.