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

87 Offres en Informatique dans les mathématiques, les sciences naturelles, l'ingénierie et la médecine

Découvrez nos offres en Informatique dans les mathématiques, les sciences naturelles, l'ingénierie et la médecine et venez vous inscrire à nos alertes emploi pour rester à l'affût de nouvelles opportunités.

RÉSULTATS (87 EMPLOIS)
Sponsorisé
Aix-Marseille Université
Aix-Marseille Université
Localisation: Marseille, France
Cifre PhD Proposal “Advanced detection and recognition of air pollution events in confined environments by learning methods”
JOB PROFILE/TYPE PhD Candidate: Cifre PhD Proposal RESEARCH FIELD(S) : Covarians, a company specializing in the development of Internet of Things applications coupled with artificial intelligence for industrial applications, wishes to develop a system for detecting and...
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é
Aix-Marseille Université
Aix-Marseille Université
Localisation: Marseille, France | Se termine le juil. 12
Postdoc in Pharmacogenomic modelling
JOB PROFILE/TYPE     PostDoc RESEARCH FIELD(S)   Machine Learning, Statistical Learning, Bioinformatics JOB LOCATION            Marseille, France JOB DESCRIPTION Working environment The Cancer Research Center of Marseille (CRCM) is the basic science...
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...
Sponsorisé
CEA Tech
CEA Tech
Localisation: 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...