Une ingénieur.e d'études en informatique

À propos
de nous Nantes Université est un établissement public d’enseignement supérieur et de recherche qui propose un modèle d’université inédit en France unissant une université, un hôpital universitaire (CHU de Nantes), un institut de recherche technologique (IRT Jules Verne), un organisme national de recherche (Inserm) ainsi que Centrale Nantes, l’école des Beaux-Arts Nantes Saint-Nazaire et l’École Nationale Supérieure d’Architecture de Nantes. Ces acteurs concentrent leurs forces pour développer l’excellence de la recherche nantaise et offrir de nouvelles opportunités de formations, dans tous les domaines de la connaissance. Durable et ouverte sur le monde, Nantes Université veille à la qualité des conditions d'études et de travail offertes à ses étudiantes, étudiants et personnels, pour favoriser leur épanouissement sur tous ses campus de Nantes, Saint-Nazaire et La Roche-sur-Yon. Mission Ce poste vise à développer de nouvelles méthodes de vérification formelle pour les systèmes temporisés paramétrés soumis à des contraintes énergétiques, en s’appuyant sur les avancées récentes en model checking et en automates temporisés paramétrés. Il s’agit d’identifier les limites des approches existantes, concevoir de nouvelles techniques théoriques et algorithmiques, puis les implémenter et les évaluer expérimentalement, afin de contribuer à l’avancement de l’état de l’art et à l’amélioration des capacités de vérification de systèmes complexes. Mission
• Analyser l’état de l’art en vérification formelle de systèmes temporisés paramétrés à énergie
• Réaliser une veille scientifique approfondie sur les méthodes existantes de vérification de systèmes temporisés, paramétrés et soumis à des contraintes énergétiques.
• Étudier les travaux récents, identifier les verrous scientifiques, les limites des approches existantes et les problèmes encore ouverts.
• Comparer les différents formalismes et techniques de vérification afin d’identifier les pistes les plus pertinentes pour les développements du projet.
• Concevoir de nouvelles méthodes théoriques pour la vérification de systèmes complexes
• Étudier et faire évoluer des formalismes fondés notamment sur les automates temporisés paramétrés afin de prendre en compte les contraintes liées à l’énergie.
• Proposer de nouvelles techniques de raisonnement et de vérification permettant de mieux exploiter la structure des systèmes étudiés.
• Formaliser les méthodes développées et analyser leurs propriétés théoriques, notamment en matière de correction, de complétude, de décidabilité et de complexité.
• Développer et améliorer les algorithmes de vérification
• Concevoir et implémenter des algorithmes permettant de mettre en œuvre les méthodes théoriques proposées.
• Explorer différentes stratégies d’exploration, d’optimisation et d’heuristiques afin d’améliorer les performances des méthodes de vérification.
• Adapter les algorithmes aux caractéristiques des systèmes temporisés paramétrés à énergie et étudier les compromis entre précision, complexité et temps de calcul.
• Évaluer expérimentalement les méthodes développées
• Mettre en place des expérimentations reproductibles permettant de mesurer l’efficacité des approches proposées.
• Construire, sélectionner et exploiter des jeux de tests et des bancs d’essai représentatifs de différents cas d’utilisation.
• Comparer les différentes variantes algorithmiques et heuristiques, ainsi que les méthodes proposées avec les approches existantes, en s’appuyant sur des critères tels que le temps de calcul, la consommation mémoire et la capacité à traiter des instances de taille croissante.
• Identifier, à partir des résultats expérimentaux, les configurations et stratégies les plus efficaces et orienter les développements en conséquence.
• Valoriser et diffuser les résultats de recherche
• Documenter les méthodes, algorithmes et résultats expérimentaux afin de garantir leur compréhension et leur reproductibilité.
• Contribuer à la diffusion des résultats sous la forme de publications scientifiques, de présentations dans des conférences ou séminaires et, lorsque cela est pertinent, de prototypes ou d’outils logiciels.
• Participer aux échanges scientifiques avec les membres de l’équipe et avec la communauté de recherche afin de confronter les résultats obtenus aux travaux existants et d’identifier de nouvelles perspectives de recherche. Retrouvez notre offre complète ici : https://www.univ-nantes.fr/universite/recrutement/nantes-universite-recrute-un-e-ingenieur-e-detude-en-informatique-iut-nantes Profil
• Formation de niveau Bac + 3 ou 4 en informatique ou dans un domaine connexe, avec une spécialisation ou un intérêt marqué pour la vérification formelle, l’algorithmique, l’intelligence artificielle, les systèmes distribués, les systèmes embarqués ou les méthodes formelles.
• Une formation en informatique fondamentale, génie logiciel, science des données ou systèmes d’information, comportant une solide composante en algorithmique et en programmation, pourra également être considérée.
• Expériences antérieures bienvenues pour « occuper le poste : Une première expérience en recherche informatique, algorithmique, programmation ou vérification formelle, notamment dans le cadre d’études académiques ou d’un stage, serait appréciée. Dans l’idéal, la maîtrise des automates temporisés serait un plus. Référence de l'offre : knv7kwdc6c