Thèse sur la résolution pratique de la cohérence de formules en logique modale

Le CRIL propose un sujet de thèse sur la résolution pratique de la cohérence de formules en logique modale dans le cadre d’un contrat doctoral pour la rentrée 2015.

http://www.cril.univ-artois.fr/article458.html

La thèse sera encadrée par Tiago de Lima (delima@cril.fr), Jean-Marie Lagniez (lagniez@cril.fr) et Daniel Le Berre (leberre@cril.fr).

Nous recherchons un candidat titulaire d’un master en informatique à l’aise avec les formalismes logiques, ayant d’excellentes compétences en programmation en C/C++ ou Java, qui aime mettre en oeuvre, tester et évaluer les algorithmes qu’il conçoit. Idéalement, le candidat aura eu une première expérience de développement d’un (ou partie de) solveur (SAT, CSP, SMT, ASP, etc.) durant sa formation.

Les candidats doivent envoyer le plus rapidement possible un CV, les relevés de notes de master (S1, S2 et S3) et une lettre de motivation à leberre@cril.fr, avant le 4 mai.