offre-emploi

    Tous les emplois Stage Méthodes Formelles - ..


Quoi :    Où   :

9 offres d'emploi Stage Méthodes Formelles -


Stage Méthodes Formelles

Lieu : Levallois-Perret
Société : IKOS GROUP

Le stage s'inscrit dans le cadre d'activités de validation logicielle industrielles à  l'aide du langage de modélisation HLL (HLL),..

Postuler | Plus d'offres Stage Méthodes Formelles
Plus d'offres - Levallois-Perret


Ingénieur preuves formelles H/F Les Ulis (91) CDI

Lieu : Les Ulis
Société : Compagnie des Signaux - CSEE

Vous êtes chargé de démontrer par l'utilisation des méthodes formelles la sécurité d'un logiciel de signalisation ferroviaire ...

Postuler


Ingénieur Principal/Expert en Méthodes Formelle H/F (CDI)

Lieu : France
Société : MICHAEL PAGE

Expertise avancée en méthodes formelles,..Participer à  des projets novateurs impactant la conception de puces et la vérification des systèmes/travailler aux côtés d'experts reconnus en méthodes formelles/un cadre stimulant avec de réelles opportunités d'évolution..

Postuler


[Stage] Développeur IA pour l'identification automatisé de composants sur cartes électronique H/F)

Lieu : France
Société : SERMA Safety & Security

L'objectif du stage est de concevoir et d'implémenter des modèles d'IA capables d'automatiser l'analyse de cartes électroniques et d'identifier les composants qui la constitue...

Postuler


[Stage] Développeur FPGA sur SoC pour l'optimisation de processeurs RISCV H/F)

Lieu : Paris
Société : SERMA Safety & Security

Rejoindre SERMA Safety and Security,..SESIP,..construisons un avenir sécurisé ..Près de 35 ans d'expertise dans des secteurs diversifiés Des projets de cybersécurité innovants et stimulants Des outils et technologies de pointe De nombreuses opportunités de carrière et de développ..

Postuler


[Stage] Développeur FPGA/ C embarqué sur SoC pour l'optimisation de communication ASIC/FPGA H/F)

Lieu : Paris
Société : SERMA Safety & Security

La technicité est ancrée dans notre ADN...Parmi ces outils,..Vous interviendrez sur une architecture SoC avancée comprenant un co-design ASIC/FPGA sur laquelle vous participerez à  la conception,..

Postuler


Chef de Projet Sureté de Fonctionnement Logiciel - KQN

Lieu : Toulouse
Société : SERMA Safety & Security

Renault,..Profil et Compétences :..TUV Rheinland France et le CNPP...DCNS,..TV) et/ou les méthodes formelles...

Postuler


Développeur IA pour l'analyse de communication sur les bus de données H/F)

Lieu : France
Société : SERMA Safety & Security

SOC) Sûreté de fonctionnement Laboratoire de sécurité Méthodes formelles Rejoignez une équipe dynamique où vous aurez l'opportunité de travailler sur des projets passionnants et d'approfondir vos compétences dans un environnement collaboratif et à  taille humaine...

Postuler


Ingénieur qualité logiciels H/F)

Lieu : Ile-de-France
Société : ALTEN

planifier et suivre les reprises documentation · Participer aux stands up meetings hebdomadaires · Mettre en place et MAJ les fiches de relectures · Participer aux revues acceptation · Signer et livrer vers le client · Leader des revues formelles de documentation et d..

Postuler | Plus d'offres Ingénieur qualité logiciels H/F)
Plus d'offres - Ile-de-France

























Recherche d'emploi par pays © 2025 Offres d'emploi fournis par offre-emploi ==> France