Une ingénieur.e d'études en informatique
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
RESPONSABILITÉS:
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.
PROFIL RECHERCHÉ
- 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.
Experience:
Expérience exigée Qualification: Cadre Secteur d'activité: Enseignement supérieur
-
Une ingénieur.e d'études en informatique
Il y a 1 jour
Nantes, Pays de la Loire, France Nantes Université Temps plein 23 556 € - 36 684 € ContratÀ 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...
-
Ingénieur.e de recherche en développement informatique
Il y a 4 jours
Nantes, Pays de La Loire, France Nantes Université Temps pleinVos missions en quelques mots Le projet SIMPHONIA produira un simulateur de patient virtuel réaliste et réactif aux actions d’un utilisateur et d’une équipe médicale virtuelle. Ce simulateur intègrera trois briques logicielles :1- Un pipeline de production de modèle de processus à partir des données d’une cohorte de patients. 2- Un...
-
Ingénieur.e en modélisation de processus biologique
Il y a 4 jours
Nantes, Pays de la Loire, France Université de Nantes Temps plein 42 000 € - 56 000 € ContratLéquipe ComBi fait partie du Laboratoire des Sciences du Numérique de Nantes (LS2N, UMR CNRS 6004), unité de recherche commune à Nantes Université, l'École Centrale de Nantes, IMT Atlantique, le CNRS et Inria. Elle est dirigée par Damien Eveillard. ComBi développe des méthodes informatiques et mathématiques (algorithmique, combinatoire, théorie...
-
Ingénieur ou ingénieure systèmes infrastructures et collèges
Il y a 2 jours
Nantes, Pays de la Loire, France Département de Loire-Atlantique Temps plein 40 000 € - 55 000 € ContratIngénieur ou ingénieure systèmes infrastructures et collègesJoin to apply for the Ingénieur ou ingénieure systèmes infrastructures et collèges role at Département de Loire-AtlantiqueLa Direction solutions numériques, composée d’une centaine d’agentes et agents et disposant d’un budget de près de 30 millions d’euros, accompagne la...
-
Stage Spécialiste Environnement
Il y a 7 jours
Nantes, Pays-de-la-Loire, France Q ENERGY Temps plein 5 € CDIDescriptionQui sommes-nous ? Q ENERGY France est un acteur majeur du marché des énergies renouvelables en France. Autrefois affilié au groupe RES, l’entreprise œuvre depuis 27 ans dans le développement, la construction et l’exploitation de projets éoliens et photovoltaïques. Aujourd'hui également positionnée sur le marché du stockage...
-
Stage Spécialiste Environnement
Il y a 2 semaines
Nantes, Pays de la Loire, France Q ENERGY Temps plein 9 600 € - 12 000 € ContratQui sommes-nous ? Q ENERGY France est un acteur majeur du marché des énergies renouvelables en France. Autrefois affilié au groupe RES, l’entreprise œuvre depuis 27 ans dans le développement, la construction et l’exploitation de projets éoliens et photovoltaïques. Aujourd'hui également positionnée sur le marché du stockage d'énergie, Q ENERGY...
-
Stage d'ingénieur·e en modélisation marine et côtière
Il y a 1 mois
Nantes, France Egen hjemmeside Temps pleinÉtudiant.e en dernière année d'école d'ingénieur ou de master, vous êtes à la recherche d’un stage de fin d’études ou de césure dans le domaine de la modélisation hydrodynamique et hydrosédimentaire ? Nous vous offrons une opportunité de développer vos compétences lors d'un stage dans le monde de la modélisation au service de...
-
Nantes, France Egen hjemmeside Temps pleinVous êtes étudiant.e en dernière année d'école d'ingénieur ou de master et souhaitez participer à des projets impliquant de la modélisation des réseaux urbains ? Si c'est le cas, nous vous offrons une opportunité de développer vos compétences lors d'un stage unique dans le monde de la modélisation hydraulique au sein d'un bureau d'étude expert...
