Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

En savoir

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

Séminaire 

Ronan Bocquillon

Séminaire Let's compute through infinite time!

Sabrina Ouazzani

In this talk, we present infinite time Turing machines (ITTM), from
the original definition of the model to some new infinite time
algorithms.

We will present algorithmic techniques that allow to highlight some
properties of the ITTM-computable ordinals. In particular, we will
study gaps in ordinal computation times, that is to say, ordinal times
at which no infinite time program halts.

En savoir

Recrutement CDD d’ingénieur de recherche en Intelligence Artificielle au CRIL (Lens) - 1 an renouvelable

Un contrat d’ingénieur de recherche est disponible dès à présent au CRIL UMR 8188, Centre de Recherche en Informatique de Lens.

La personne recrutée participera à des développements de prototypes logiciels dans le domaine de l’intelligence artificielle,
et plus particulièrement dans les thématiques de la représentation des connaissances et des raisonnements, des algorithmes
pour la satisfaisabilité et les contraintes.
Elle sera idéalement titulaire d’une thèse en informatique et aura une expérience forte du développement logiciel (C, C++, Java).
Les excellentes candidatures de niveau master ou ingénieur seront cependant examinées avec attention.

Les candidat-e-s doivent envoyer leurs CVs et lettres de motivation en pdf uniquement à Eric Grégoire, directeur du CRIL,
à l’adresse gregoire (at) cril.fr, à qui des renseignements complémentaires peuvent être demandés.

Ce contrat est financé par le Conseil Régional des Hauts de France, dans le cadre du projet CPER DATA,
et est géré par le CNRS qui sera l’employeur.

Le CRIL est un centre de recherche liant le CNRS et l’Université d’Artois. Il comporte près de 60 membres, tous
dans la thématique de l’intelligence artificielle.

En savoir

Recrutement Poste de MCF 27e section - CRIL (Lens) - Université d'Artois

27 MCF

Le poste ci-dessous va paraître au début de l’année 2017 lors de la session nationale synchronisée.

Profil recherche du poste :

Artificial intelligence. The successful candidate will join one of the two scientific axes of CRIL. Preference will be given to candidates bringing novel research openings and directions that extend or are linked to any of these axes, and on candidates working on the interaction between both axes.

Enseignement :

Profil : Informatique

Lieu d’exercice : Faculté des sciences Jean Perrin - Lens

L’informaticien-ne recruté-e sera appelé-e à intervenir dans les différentes filières de formation de l’UFR des Sciences de Lens, dont la licence et le master d’informatique.

Nom du directeur de la faculté des sciences : Jean-François Henninot (03 21 79 17 02 - jfrancois.henninot@univ-artois.fr)

Responsable de la licence d’informatique : Nathalie Chetcuti-Sperandio (03 21 79 17 08 - chetcuti@cril.univ-artois.fr )

Responsable du master d’informatique : Bertrand Mazure (03 21 79 17 87 - mazure@cril.univ-artois.fr)

Des informations supplémentaires peuvent également être obtenues en s’adressant au président du comité de recrutement : Gilles Audemard (audemard@cril.fr)

En savoir

Séminaire Introduction aux solveurs CDCL

Jean-Marie Lagniez (CRIL, Université d’Artois)