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

33 Offres en Informatique parallèle

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

RÉSULTATS (33 EMPLOIS)
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, France
Post Doc - Outils et méthodes pour l'ingénierie de systèmes complexes dans l'Industrie 4.0
PsD-DRT-20-0103 DOMAINE DE RECHERCHE Informatique et logiciels RÉSUMÉ DU SUJET FORMATION NIVEAU MASTER RECOMMANDÉ Doctorat en Informatique ou Informatique industrielle INFORMATIONS PRATIQUES Département Ingénierie Logiciels et Systèmes...
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, France
Post Doc - Tools and methods for Industry 4.0 complex systems engineering
PsD-DRT-20-0103 RESEARCH FIELD Computer science and software ABSTRACT The Fourth Industrial Revolution or Industry 4.0, is the current transformation of traditional manufacturing and industrial practices with the latest smart and digital technologies....
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, 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: Grenoble, 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: Grenoble, 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 into a...
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, 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 use...
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, 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: Grenoble, 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é
CEA Tech
CEA Tech
Localisation: Grenoble, 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...
Sponsorisé
CEA Tech
CEA Tech
Localisation: Grenoble, France
Post Doc - Application of a MDE approach to AI-based planning for robotic and autonomous systems
PsD-DRT-20-0063 RESEARCH FIELD Artificial intelligence & Data intelligence ABSTRACT The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire...