Missions

Le projet ANR «Topology for Types and Terms» cherche à recruter un chercheur post-doctoral pour une période d'un an.

Activités

- Recherche dans les équipes Automates et/ou Algèbre et Calcul (AC).
- Participation aux séminaires du laboratoire et aux groupes de travail associés.
- Participation aux activités et implication éventuelle dans leur organisation.
- Collaboration avec des doctorants et encadrement d'étudiants stagiaires.

Compétences

Nous invitons tout candidat titulaire d'un doctorat en mathématiques ou en informatique et ayant un intérêt scientifique pour les thèmes du projet à poser sa candidature.

Contexte de travail

Le post-doctorant travaillera en étroite collaboration avec le chercheur principal du projet, Sam van Gool sur un ou plusieurs travaux du projet. Pour plus de renseignements, vous pouvez consulter le site suivant https://www.samvangool.net/toptt.html.
La recherche peut également impliquer des collaborations avec d'autres membres de l'IRIF. La candidature doit contenir une lettre de motivation, un CV scientifique et les coordonnées de deux références académiques (nom, e-mail et lien avec le candidat).
Les travaux se dérouleront au sein du laboratoire IRIF. La candidate ou le candidat pourra aussi être amené(e) à se déplacer dans le cadre de missions, par exemple pour assister à une conférence.

Contraintes et risques

Aucun risque identifié.