Quoi:

Exemple: Adjoint, Marketing
Où:

Exemple: Paris, Marseille

Set-based verification of quantified properties of neural networks


Lieu de travail: Palaiseau, Essonne

Offer Description The Cosynus team at , CNRS & Ecole Polytechnique, France, invites applications for two 3-year PhD positions in formal methods for the analysis of robustness and explainability of neural networks. These positions are full......

Salaire: indisponible

Entreprise: indisponible

Date de l'emploi: 09 Mai 2024
Partager cet emploi sur:


Offres similaires sur fr.job-less.info:
Ingénieur-Chercheur pour la vérification et la validation de systèmes IA F/H H/F
Commissariat à l'Énergie Atomique -

Essonne

- - 25 Mai 2024
et au transfert industriel de différentes technologies de vérification et validation de programmes, pour en assurer de très..., logiciel Contrat CDD Intitulé de l'offre Ingénieur-Chercheur pour la vérification et la validation de systèmes IA F/H H...
Ingénieur Vérification UVM - Microprocesseur
EN-CORE.IO -

Nice, Alpes-Maritimes

- €50000 - 60000 par année - 24 Mai 2024
'analyse approfondie des exigences systèmes et des documents d'architecture. - La planification des activités de vérification... de vérification en utilisant des langages tels que SystemVerilog, UVM, SystemC, et C++. - L'écriture de benchs au niveau IP et sous...
Ingénieur vérification fonctionnelle UVM - Microprocesseur
EN-CORE.IO -

Grenoble, Isère

- €50000 - 60000 par année - 24 Mai 2024
Description du poste : Vous rejoignez l'équipe logiciel embarqué qui est en charge de la vérification matérielle du...) et Software (C et C++). Sur une base de flot UVM, la vérification s'effectue sur 2 modèles émulés du processeur : l'un en full C...
MANAGER INTÉGRATION, VÉRIFICATION, VALIDATION, QUALIFICATION
Abaka -

Vélizy-Villacoublay, Yvelines

- - 24 Mai 2024
, Vérification, Validation, Qualification, vous serez en charge de la coordination technique de l'équipe de spécification... ou équivalent, vous possédez une expérience en ingénierie système, en phase de spécification et en phase d'intégration/vérification...
Ingénieur vérification - Alternance
Danaher -

Arras, Pas-de-Calais

- - 24 Mai 2024
avec des outils de diagnostic qui répondent aux plus grands défis de santé du monde. L'ingénieur tests & vérification... solutions logicielles de l'entreprise. Ce poste fait partie de l’équipe de vérification du site d’Arras. Chez Beckman Coulter...
Ingénieur Vérification/Validation Logiciel H/F
Expleo -

Montigny-le-Bretonneux, Yvelines

- - 24 Mai 2024
, nous recherchons un(e) Ingénieur(e) Vérification / Validation Logiciel. Vous rejoindrez une équipe de collaborateurs chez notre... la vérification et la validation (V&V) de logiciels embarqués dans des systèmes critiques. Vous serez donc en charge...
Ingénieur Vérification/Validation Logiciel H/F
Expleo -

Grenoble, Isère

- - 24 Mai 2024
vérification validation logiciel H/F Quel est votre projet ? Nous recherchons un Ingénieur vérification validation logiciel...
Ingénieur Responsable Intégration Electronique et Vérification Fonctionnelle
Comat Groupe -

Toulouse

- - 23 Mai 2024
: - Préparation des activités d’intégration électrique et de vérification fonctionnelle (IEVF): - Support à l’écriture des Demande... électrique et vérification fonctionnelle - Analyse et dépouillement de premier niveau des données instrument ou Charge Utile...
Responsable R&D Intégration/Vérification systèmes H/F
SEBIA -

Ile-de-France

- €70000 par année - 22 Mai 2024
, préqualification, vérification et validation) réalisés sur les instruments/logiciels destinés au diagnostic In Vitro. Contribuer... exigences, et en définissant les types d'essais à réaliser. Contribuer à l'amélioration des processus de vérification système...
Ingénieur en Validation et Vérification
CTS Consulting & Technical Support -

Plaisir, Yvelines

- - 21 Mai 2024
Description du poste : CTS recrute un Ingénieur en Validation et Vérification sur système de gestion de carburant... avion. Dans ce cadre, vous aurez à intervenir sur : - de la validation de spécifications système - de la vérification...


Set-based verification of quantified properties of neural networks en Palaiseau, Essonne FR.Job-less.info est un moteur de recherche d'emploi en France avec une approche radicalement differente de la recherche d'emploi. Avec l'aspect et la convivialite des moteurs de recherche generaux job-less.info, il est facile pour vous de percer par mot-cle et l'emplacement des emplois qui correspondent a vos besoins avec precision. Il n'ya pas de frais pour la recherche du bon emploi pour vous.

Profitez de la recherche d'emploi!