Ingénieur·e de Recherche en Théorie de Concurrence et Hda - CDD H/F - Service Public

MISSIONSAssurer des missions de recherche dans le domaine des HDA et la concurrenceParticiper à la notoriété de l'Ecole et de l'Institut Mines-TélécomACTIVITES1. Assurer des missions de recherche dans le domaine- Participe à la réalisation des contrats de recherche- Conçoit, développe et met en oeuvre une instrumentation technique ou méthodologique innovante dans le cadre des projets scientifiques auxquels il participe- Elabore des algorithmes prototypes- Documente les équipements logiciels conçus pour les programmes de recherche afin d'en permettre le transfert- Réalise des études liant les HDA à d'autres formalismes comme les réseaux de Petri2. Participe à la notoriété de l'Ecole et de l'Institut Mines-Télécom- Est associé aux publications relatives aux projets de recherche en HDA et théorie de langages.- Présente des travaux aux séminaires associés comme pacts et ppwg.3. Activités diverses- Rend compte des activités et des résultats qui relèvent des missions dont il a la charge

Niveau de formation et/ou expérience requis:- Diplôme Bac +5 ou équivalentCompétences, connaissances et expériences indispensables :- Maitrise de l'anglais à l'écrit et à l'oral- Connaissance des outils et environnements de développement logiciels associés: C++- Connaissance des méthodes formelles, théorie de langages et automates- Expertise en conception et analyse d'algorithmes- Excellentes compétences en communication scientifiqueCompétences, connaissances et expériences souhaitables :- Expérience dans le domaine de réseau de PetriCapacités et aptitudes :- Aptitude au travail en équipe au sein de contrats de recherche nationaux ou internationaux, en collaboration avec des partenaires académiques et industriels- Qualités relationnelles- Aptitude à la synthèse et à la rédaction- Sens du travail en équipe- Réactivité, esprit d'initiative et de rigueur- Autonomie