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

65 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 (65 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é
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...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD position - Scalable and Precise Static Analysis of Memory for Low-Level Languages
SL-DRT-20-1088 RESEARCH FIELD Cyber security : hardware and sofware ABSTRACT The goal of the thesis is to develop an automated static analysis (based on abstract interpretation) to verify absence of memory errors in compiled, low-level languages (C, C++,...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD - Informatique quantique pour applications logistiques et industrielles
SL-DRT-20-0791 DOMAINE DE RECHERCHE Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique RÉSUMÉ DU SUJET L'informatique quantique semble prometteuse pour résoudre des problèmes algorithmiques que l'informatique classique ne peut...
Sponsorisé
CEA Tech
CEA Tech
Localisation: France | Se termine le oct. 31
PhD position - Quantum computing for logistics and industrial applications
SL-DRT-20-0791 RESEARCH FIELD New computing paradigms, circuits and technologies, incl. quantum ABSTRACT Quantum computing sounds promising to solve computational problems that classical computing cannot address practically because of their complexity....