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

92 Offres en Systèmes d'information (informatique de gestion)

Découvrez nos offres en Systèmes d'information (informatique de gestion) et venez vous inscrire à nos alertes emploi pour rester à l'affût de nouvelles opportunités.

RÉSULTATS (92 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é
SOLEIL Synchrotron
SOLEIL Synchrotron
Localisation: Saint-Aubin, France
Ingénieur.e développement logiciel pour les données scientifiques
SOLEIL est le centre français de rayonnement synchrotron, situé sur le plateau de Saclay près de Paris. Il s’agit d’un instrument pluridisciplinaire et d’un laboratoire de recherche, ayant pour mission de conduire des programmes de recherche en utilisant le rayonnement...
Sponsorisé
SOLEIL Synchrotron
SOLEIL Synchrotron
Localisation: Saint-Aubin, France
Ingénieur calcul scientifique
SOLEIL est le centre français de rayonnement synchrotron, situé sur le plateau de Saclay près de Paris. Il s’agit d’un instrument pluridisciplinaire et d’un laboratoire de recherche, ayant pour mission de conduire des programmes de recherche en utilisant le rayonnement...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France
Post Doc - Application d'une approche IDM à la planification basée sur l'IA pour les systèmes robotiques et autonomes
PsD-DRT-20-0063 DOMAINE DE RECHERCHE Data intelligence dont Intelligence Artificielle RÉSUMÉ DU SUJET La complexité de la robotique et des systèmes autonomes ne peut être gérée qu'avec des architectures logicielles bien conçues et des chaînes d'outils...