Emplois de formel d – Paris

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...

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...

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é...

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...

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...

Le poste de Responsable Assurance Qualité Software H/F Vous rejoignez l'équipe qualité logiciel composée de 10 personnes, équipe rattachée au département "Product Assurance Engineering" au sein de la direction "Technology & Performance". Vous assurez la qualité des logiciels développés par la Direction Ingénierie. Logiciel du type : Embarqué /...

Le poste de Responsable Projet Systèmes Actionneurs F/H Vous rejoignez le département de l'Ingénierie Mécanique en tant que responsable projet de systèmes électromécaniques. Vous coordonnez et réalisez le développement de projets dans le respect des objectifs techniques, budgétaires, calendaires et de qualité. Vous pilotez les équipes...

Le poste de Responsable Projet Mécatronique F/H Vous rejoignez le département de l'Ingénierie Mécanique en tant que responsable projet de systèmes électromécaniques. Vous coordonnez et réalisez le développement de projets dans le respect des objectifs techniques, budgétaires, calendaires et de qualité. Vous pilotez les équipes...

Aller chercher les enfants à la sortie de l'école Le tout en anglais Contrat de babysitting à temps partiel : entre 5h et 20h par semaine Selon votre niveau d’anglais et la demande de la famille, vous pourrez effectuer toute la garde en anglais ou seulement en partie. Un salaire attractif : jusqu’à 14,24 € brut/heure Un job flexible !...

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...

Ce que vous allez faire Vos missions pourront inclure : Aller chercher les enfants à la sortie de l'école Les faire goûter Les aider dans leurs devoirs Jouer avec eux.. Le tout en anglais Contrat de babysitting à temps partiel : entre 5h et 20h par semaine Selon votre niveau d’anglais et la demande de la famille, vous pourrez effectuer toute...

Inria Paris recherche une personne pour diriger l'axe IA du projet BELLE, superviser le post-doctorant et les stagiaires, et coordonner les activités en interface IA, méthodes formelles et mathématiques.Le poste implique la conception du jeu de données BELLE-Prefs, l'évaluation de la qualité du code Lean et la diffusion des artefacts, avec...

Vous avez de l'expérience avec les enfants, vous parlez anglais et vous recherchez un job à temps partiel, flexible et épanouissant ? Faites de la garde d'enfants avec Momji, le leader de la garde d'enfants à domicile en anglais ! La mission Momji recherche un(e) garde d'enfants à domicile à PARIS(20) pour 6 heures de travail par semaine pour garder 2...

Vous avez de l'expérience avec les enfants, vous parlez anglais et vous recherchez un job à temps partiel, flexible et épanouissant ? Faites de la garde d'enfants avec Momji, le leader de la garde d'enfants à domicile en anglais ! La mission Momji recherche un(e) garde d'enfants à domicile à PARIS(20) pour 6 heures de travail par semaine pour garder 2...

Vous avez de l'expérience avec les enfants, vous parlez anglais et vous recherchez un job à temps partiel, flexible et épanouissant ? Faites de la garde d'enfants avec Momji, le leader de la garde d'enfants à domicile en anglais ! La mission Momji recherche un(e) garde d'enfants à domicile à PARIS(20) pour 6 heures de travail par semaine pour garder 2...

Vous êtes dynamique et vous aimez les enfants ? Vous êtes à la recherche d'un job étudiant, d'un complément de retraite ou d'un temps partiel ? Avec Momji, trouvez un job de babysitting à temps partiel, flexible et adapté à votre emploi du temps ! La mission Momji recherche un(e) garde d'enfants à domicile à PARIS(15) pour 8 heures de travail par...

Vous êtes dynamique et vous aimez les enfants ? Vous êtes à la recherche d'un job étudiant, d'un complément de retraite ou d'un temps partiel ? Avec Momji, trouvez un job de babysitting à temps partiel, flexible et adapté à votre emploi du temps ! La mission Momji recherche un(e) garde d'enfants à domicile à PARIS(15) pour 8 heures de travail par...