---------- 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 ([email protected]) and Pascal Fontaine ([email protected]) for details, and/or further discussion about the possible PhD subjects. -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87tvamtsvh.fsf%40gmail.com.
