PostDoc (H/F) en comptage, complexité et raisonnement neuro-symbolique
Nouveau
- Chercheur en contrat CDD
- 12 mois
- Doctorat
This offer is available in English version
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
L'offre en un coup d'oeil
L'unité
Centre de Recherche en Informatique de Lens
Type de Contrat
Chercheur en contrat CDD
Temps de Travail
Complet
Lieu de Travail
62307 LENS
Durée du contrat
12 mois
Date d'Embauche
01/01/2027
Rémuneration
3071,50
Postuler Date limite de candidature : vendredi 30 octobre 2026 23:59
Description du Poste
Les Missions
Contexte:
Alors que les systèmes d'apprentissage automatique deviennent de plus en plus répandus dans notre vie quotidienne, nous avons besoin de garanties d'exactitude dans les domaines sensibles. Le projet CertAI vise à progresser dans cette direction en tirant parti du comptage des modèles certifiés pour certifier les résultats de l'apprentissage automatique dans des contextes formels restreints.
L'objectif du PostDoc proposé est de travailler à l'intersection du comptage du modèle et de l'apprentissage automatique, dans le but d'améliorer considérablement les performances des compteurs de modèles, en s'appuyant sur les progrès récents dans les formes normales de comptage.
L'Activité
L'activité principale du PostDoc sera de conduire des activités de recherche autour du comptage de modèles. Il aura aussi l'opportunité de participer à l'encadrement du doctorant et des étudiants de master impliqués dans le projet CertAI
Votre Profil
Compétences
Nous sommes à la recherche d'un candidat très motivé avec un fort intérêt pour les aspects théoriques et pratiques de l'informatique, de la satisfaisabilité et/ou du comptage de modèles.
Les candidats doivent être titulaires d'un doctorat (ou équivalent) en informatique ou en mathématiques appliquées et posséder des compétences théoriques et/ou expérience de mise en œuvre, de préférence dans les domaines SAT, #SAT ou domaines similaires.
Une expérience additionnelle dans la théorie et la pratique de l'apprentissage automatique serait un atout.
Votre Environnement de Travail
Le PostDoc aura lieu au CRIL (Lens Computer Science Research Center), un laboratoire internationalement reconnu pour son expertise de pointe en matière d'intelligence artificielle, en particulier dans les domaines de la représentation des connaissances, du raisonnement (SAT, contraintes) et du comptage des modèles. Le PostDoc rejoindra une équipe dynamique et respectée dans ces domaines, bénéficiant :
- d'un environnement de recherche stimulant,
- d'un encadrement d'experts,
- d'un accès à l'équipement et aux ressources nécessaires pour mener à bien leur travail.
Rémunération et avantages
Rémunération
3071,50
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
| Référence de l’offre | UMR8188-MARHEC-007 |
|---|---|
| Section(s) CN / Domaine de recherche | Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations |
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.