Votre alerte-emploi vient d’être créée avec succès.

105 Offres en Sciences informatiques

Découvrez nos offres en Sciences informatiques et venez vous inscrire à nos alertes emploi pour rester à l'affût de nouvelles opportunités.

RÉSULTATS (105 EMPLOIS)
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Vérification à l'exécution avancée sur des programmes C
PsD-DRT-20-0094 DOMAINE DE RECHERCHE Cybersécurité : hardware et software RÉSUMÉ DU SUJET Frama-C est une plateforme d'analyse de code C. E-ACSL est le greffon de Frama-C dédié à la vérification à l'exécution. Il convertit un programme C étendu avec...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Analyse approfondie pour la sécurité des codes avec Frama-C
PsD-DRT-20-0095 DOMAINE DE RECHERCHE Cybersécurité : hardware et software RÉSUMÉ DU SUJET Frama-C est une plateforme d'analyse de code C. Dans le contexte du projet européen H2020 ENSURESEC (2020-2022) qui vise à protéger le e-commerce, nous planifions...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Advanced Runtime Assertion Checking of C Programs
PsD-DRT-20-0094 RESEARCH FIELD Cyber security : hardware and sofware ABSTRACT Frama-C is a framework for code analysis of C code. E-ACSL is the Frama-C plug-in dedicated to runtime assertion checking. It converts a C program extended with formal annotations...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Extensive Code Security Analyses for Frama-C
PsD-DRT-20-0095 RESEARCH FIELD Cyber security : hardware and sofware ABSTRACT Frama-C is a framework for code analysis of C code. In the context of the newly accepted H2020 European project ENSURESEC (2020-2022) that aims at protecting e-commerce, we plan to...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Tâches d'assemblages industrielles robotisées de haute précision avec apprentissage par renforcement basé sur le transfert sim2real
PsD-DRT-20-0082 DOMAINE DE RECHERCHE Usine du futur dont robotique et contrôle non destructif RÉSUMÉ DU SUJET La manipulation et l’assemblage robotique de haute précision pour saisir ou construire des objets est un enjeu majeur pour l'industrie. Cependant,...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - High precision robotic manipulation with reinforcement learning and Sim2Real
PsD-DRT-20-0082 RESEARCH FIELD Factory of the future incl. robotics and non destructive testing ABSTRACT High precision robotic assembly that handles high product variability is a key part of an agile and a flexible manufacturing automation system. To date...
Sponsorisé
University of Neuchâtel
University of Neuchâtel
Localisation: Neuchâtel, Suisse | Se termine le août 09
Assistant·e doctorant·e
Taux d’activité : 75% Institut du management de l’information, Chaire de gestion de l’information, Faculté des sciences économiques de l’Université de Neuchâtel Lieu: Neuchâtel Entrée en fonction : 01.10.2020 ou à définir Durée du contrat : maximum...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD position - Modelling and data assimilation for pre-stresses recovery in the context of structured health monitoring
SL-DRT-20-0982 RESEARCH FIELD Numerical simulation ABSTRACT The context of this thesis is the structural health monitoring (SHM) of materials using ultrasonic guided waves. SHM is spreading across numerous industrial fields, aeronautics being one important...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD - Modélisation et assimilation de données pour la reconstructure des précontraintes dans un contexte de contrôle de santé intégré
SL-DRT-20-0982 DOMAINE DE RECHERCHE Simulation numérique RÉSUMÉ DU SUJET Le contexte de cette thèse est le contrôle de santé intégré (SHM) des matériaux par ondes ultrasonores guidées. Le SHM s'étend sur de nombreux domaines industriels,...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD - Analyse mémoire précise et efficace pour les languages de bas niveau
SL-DRT-20-1088 DOMAINE DE RECHERCHE Cybersécurité : hardware et software RÉSUMÉ DU SUJET Le but de la thèse est de développer une analyse statique automatique (basée sur l'interprétation abstraite) permettant de vérifier l'absence d'erreurs mémoire...