We invite applications for a three-year PhD studentship in Knowledge
Representation and Reasoning at Artois University, Lens (France). The PhD
project will be carried out at CRIL, the Lens Computer Science Research Center
(http://www.cril.univ-artois.fr/en) under the supervision of:
- Fahima Cheikh-Alili (http://www.cril.univ-artois.fr/~cheikh/)
- Jean-François Condotta (http://www.cril.univ-artois.fr/~condotta/)
- Ivan Varzinczak (http://ijv.ovh)
The topic of the PhD project is at the intersection of formal verification and
non-monotonic reasoning in AI. More specifically, the goal of the thesis is to
investigate and develop non-monotonic logic-based formalisms for the
specification and verification of exception-tolerant systems. The research will
be essentially theoretical, but if desired and scientifically significant, the
successful applicant may also do some implementation and test analyses.
Potential applicants are encouraged to contact the supervisors above for
further details on the PhD project and expressions of interest.
The successful applicant is expected to: (1) have a strong background in logic
and theoretical computer science, (2) hold, or be about to complete, a Master's
degree in a relevant field, (3) have good communication skills and proficiency
in both spoken and written English.
This is a full-time research-only appointment, but if desired the successful
applicant can also take part in the teaching duties of the department.
Knowledge of the French language is not required in the work environment.
The starting date is in September 2018, but it can be negotiated.
Candidates should send their application (cover letter, CV and contact
information of two references) by e-mail to the supervisors team above
(che...@cril.fr, condo...@cril.fr, varzinc...@cril.fr) no later than 28 May
2018. Shortlisted candidates will be interviewed shortly after the deadline.
--
Ivan Varzinczak
CRIL, Univ. Artois & CNRS, France
http://member.acm.org/~ijv
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/E217B1C4-4B2F-4E64-B66B-4A3BF2F57AA1%40acm.org.
