formel d

Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.Nous recherchons de nouveaux collaborateurs motivés par les...

Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.Nous recherchons de nouveaux collaborateurs motivés par les...

Votre mission L’objectif de ce stage est d’utiliser l’IA pour aider les ingénieurs à prouver mathématiquement que des logiciels critiques (aéronautique, ferroviaire, automobile…) respectent les principes de sécurité et sont exempts de bugs critiques. L’IA permettra de diminuer le temps de travail des ingénieurs car la vérification formelle...

Inria, centre Rennes, recherche un ingénieur scientifique contractuel pour piloter l’expérimentation sur l’alliance IA et méthodes formelles dans le cadre du Défi FRAIME. Basé dans les locaux du centre Inria de l’Université de Rennes, vous collaborerez avec MERCE et les équipes Inria de Nantes et Paris pour faire progresser des cas d’usage...

Vos missions seront : * Le suivi du développement de la collection dans le respect des délais, de la qualité des modèles et du budget. * Être l'interface avec les façonniers, le studio, le service marketing et la production. * La coordination des modèles lancés dans notre atelier. * La préparation et participation aux essayages avec le studio et...

Chef de Produit - Développement Formel Dior Men (F/H/X)Au sein du service développement produit PAPH Christian Dior Couture, et rattaché au Chef de Groupe Développement formel ; vous contribuez au développement de la catégorie chemise et pantalons sportswear.Le suivi du développement de la collection dans le respect des délais, de la qualité des...

Chef de Produit - Développement Formel Dior Men (F/H/X)Au sein du service développement produit PAPH Christian Dior Couture, et rattaché au Chef de Groupe Développement formel ; vous contribuez au développement de la catégorie chemise et pantalons sportswear.Le suivi du développement de la collection dans le respect des délais, de la qualité des...

Informations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...

Description du Poste Les Missions Lors de ce projet, nous voulons concevoir un assistant virtuel intelligent, spécifiquement conçu pour guider un expert métier dans un processus de découverte de connaissances en s'appuyant sur l'analyse formelle de concepts (FCA) et les outils afférents, en particulier ceux développés dans le projet SmartFCA. Cette...

Position Au sein du service développement produit Prêt-à-porterH Christian Dior Couture, et rattaché au Chef de Groupe Développement formel ; vous contribuez au développement de la catégorie chemise et pantalons sportswear. Job responsibilities Vos Missions Seront Le suivi du développement de la collection dans le respect des délais, de la qualité...

Informations générales Organisme de rattachement CNRS   Référence UMR7030-MANZAR-001   Date de début de diffusion ...

Vos missions seront : * Le suivi du développement de la collection dans le respect des délais, de la qualité des modèles et du budget. * Être l'interface avec les façonniers, le studio, le service marketing et la production. * La coordination des modèles lancés dans notre atelier. * La préparation et participation aux essayages avec le studio et...

Sujet : Vérification formelle des fonctionnalités CSR critiques En bref Sujet : Intégration de la vérification formelle dans le flux de validation du compilateur de registres Magillem Registers (CSR), afin de mieux garantir le comportement RTL des fonctionnalités CSR critiques (alias, write-once, parité, protection d’accès, registres...

Ingénieur·e de recherche en intelligence artificielle pour l’expérimentation sur la combinaison IA et méthodes formellesNiveau de diplôme exigé : Bac + 5 ou équivalentFonction : Ingénieur scientifique contractuelNiveau d'expérience souhaité : De 3 à 5 ansContexte et atouts du posteL’adoption généralisée de l’IA dans de nombreux domaines...

ContextLes modèles de langage de dernière génération (Frontier LLMs) produisent désormais des preuves Lean correctes à un niveau de compétition, voire de recherche. Deux verrous majeurs subsistent toutefois pour que ces capacités profitent réellement aux communautés de la formalisation et des mathématiques : la qualité du code produit, souvent...

Vos missions en quelques mots Il est chargé :- Installer, déployer et maintenir en condition les applications TAM, TRANSTEX, TRANSWIN, SELTIC V3 et MUSE.- Réaliser les télémaintenances et assistances aux utilisateurs sur le réseaux ACP127.- Rédiger des fiches techniques et directives afférentes aux réseaux mis en place,- Analyser et mettre en...

Informations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...

OUTIL DE PREUVE DE BONNE DÉFINITION DE MODÈLES FORMELS UTILISÉS EN VALIDATION DE DONNÉES Objectifs du stage : Évaluation d’un prouveur de bonne définition et amélioration d’un parseur syntaxique B. CLEARSY DATA SOLVER est un outil de validation de données permettant d’évaluer du code écrit en langage B afin d’en déduire les cas de...

Christian Dior Couture recherche un Chef de Produit - Développement Formel Dior Men, rattaché au Chef de Groupe Développement formel, pour piloter le développement d’une collection chemise et pantalons sportswear, en veillant au respect des délais, du budget et de la qualité.Vous serez l’interface avec les façonniers, le studio, le marketing et la...

SERMA Ingénierie propose un poste à Lyon pour diriger la vérification fonctionnelle d’un portefeuille de circuits intégrés destinés au grand public. Vous garantissez la répartition des tâches et la fluidité des échanges avec le client.Vous avez au moins 5 ans d’expérience en vérification des circuits intégrés, maîtrisez Python et les...