Chercheur en informatique théorique

Description du Poste

Les Missions

La mission est de contribuer au développement de résultats fondamentaux qui s'inscrivent dans le projet ANR ALARICE , à l'interface entre les réseaux d'automates et la théorie de la complexité algorithmique.

- Site du projet : https://alarice.lis-lab.fr/

L'Activité

- Analyser l’état de l’art sur les problématiques scientifiques étudiées.
- Définir et formaliser des problèmes de recherche originaux si possible impliquant de nouvelles techniques de preuves. nouvelles approches, modèles, méthodes ou résultats théoriques.
- Rédiger et présenter les résultats scientifiques.
- Participer aux activités scientifiques de l’équipe d’accueil et du projet ALARICE.

Votre Profil

Compétences

Nous recherchons des candidats possédant de solides compétences en informatique théorique, en mathématiques discrètes ou en combinatoire. Une expertise dans les domaines suivants sera particulièrement appréciée :
- modèles de calcul,
- systèmes dynamiques discrets,
- théorie de la complexité algorithmique,
- théorie des graphes (algorithmique et structurelle) et jeux sur graphes.

Votre Environnement de Travail

Le chercheur intégrera l'équipe MC3 du laboratoire I3S.

- Site de l'équipe : https://mc3.i3s.univ-cotedazur.fr/
- Site du laboratoire : https://www.i3s.unice.fr/fr/

Rémunération et avantages

Rémunération

entre 3072 euros et 4258.87 euros bruts mensuels selon expérience

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 UMR7271-ADRRIC-001 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.

Le CNRS

Les métiers de la recherche