[DL] PhD position in KRR at Artois University, France

[Ivan José Varzinczak]

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 (cheikh at cril.fr, condotta at cril.fr, varzinczak at 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