Descriptif du poste:\n\nContexte et Missions\n* \nMener des recherches sur la synthèse réactive et les applications de la théorie des automates.\nCe projet porte principalement sur les avancées pratiques et théoriques de la synthèse réactive et des thèmes connexes. L'un des axes centraux sera la synthèse de contrôleurs « corrects par construction » à partir de formules LTL.\n \n* \nAssurer des missions de recherche dans le domaine de la synthèse réactif\n* \nParticiper à la notoriété de l'Ecole et de l'Institut Mines-Télécom\n \nActivités\n* \n Assurer des missions de recherche dans le domaine en synthèse réactif et des sujets voisinés\n* \nParticiper à la réalisation des contrats de recherche\n* \nConcevoir et développer des algorithmes liés à la synthèse réactive comme les algorithmes de traduction des formules, l'optimisation des contrôleurs et autres\n* \nParticiper aussi à l'utilisation de ces techniques dans des disciplines voisines comme l'apprentissage guidé. Cas de contraindre l'apprentissage par renforcement par des superviseurs formels\n* \nCommuniquer avec les partenaires de la chaire ASC pour trouver des points d'intérêt commun\n \n2. Participer à la notoriété de l'Ecole et de l'Institut Mines-Télécom\n* \nEtre associé-e aux publications relatives aux projets de recherche en méthodes formelles\n* \nEntretenir des relations étroites avec les institutions académiques, les centres de recherche et les entreprises\n* \nPrésenter des travaux pendant des workshops et conférences approprié (par. Ex. En IdF MeFoSyloma) et pendant les journées de la chair\n\nProfil recherché:\n\nFormation\n* \nDoctorat depuis moins de trois ans ou\n* \nDiplôme Bac + 5 ou équivalent ou\n* \nDiplôme Bac+ 4 ou équivalent avec une expérience professionnelle au moins 4 ans ou\n* \nDiplôme Bac+ 3 ou équivalent avec une expérience professionnelle au moins 6 ans ou\n* \nDiplôme Bac+ 2 ou équivalent avec une expérience professionnelle au moins 10 ans\n \nCompétences, connaissances et expériences indispensables\n* \nMaitrise de l'anglais à l'écrit et à l'oral\n* \nConnaissances scientifiques approfondies des techniques d'apprentissage : Méthodes formelles, théorie d'automates et des langages\n* \nConnaissance des outils et environnements de développement logiciels associés : Python, C++ et son écosystème\n* \nConnaissances en développement et génie logiciel\n* \nExpertise en conception et analyse d'algorithmes\n* \nExcellentes compétences en communication scientifique\n \nCompétences, connaissances et expériences souhaitables\n* \nExpérience dans le domaine contrôle de systèmes industrielles et/ou\n* \nExpérience dans le développement d'applications industrielles\n* \nExpérience d'enseignement dans le supérieur\n* \nConnaissances sur les systèmes Windows\n \nCapacités et aptitudes\n* \nAptitude au travail en équipe au sein de contrats de recherche nationaux ou internationaux, en collaboration avec des partenaires académiques et industriels\n* \nQualités relationnelles\n* \nAptitude à la synthèse et à la rédaction\n* \nSens du travail en équipe\n* \nRéactivité, esprit d'initiative et de rigueur\n* \nCuriosité\n* \nAutonomie