6 offres contrat alternance trouvées dans Éragny

Au sein du Pôle Mécanique Combat Numérisé vous rejoignez l'équipe des ingénieurs/architectes en charge des activités de conception mécanique sur les système de refroidissement cryogénique. Les missions confiées - travaux axés bureau d'étude - Avant projet 3D Catia / Ansys - Simulation thermique et mécanique par éléments finis - Cahier des Charges / discussion avec fournisseurs / prédimensionnement - Note de Justification de Définition

Contexte : La performance et la durabilité des moteurs Safran nécessitent la maîtrise des déformations dynamiques des aubes des rotors aux différents régimes de rotation. Cette mesure s'effectue dans un environnement mécanique fortement contraint (chaleur, vibrations, éventuellement résidus de combustion). Problématique : Le moyen alternatif à la pose de jauges d'extensométrie (méthode très invasive) est l'utilisation de la méthode « tip-timing », qui consiste à étudier les variations du temps de passage des sommets d'aube à des emplacements spécifiés sur le carter. L'activité vibratoire se traduit par d'infimes variations du temps de passage du sommet d'aube. Cette détection peut être réalisée par différents types de capteurs (optiques, capacitifs, etc.). L'enjeu est de disposer de la mesure de datation la plus précise et robuste possible afin d'identifier de manière fiable les différents modes de vibration. Ce sujet mobilise plusieurs domaines de compétences et fait...

Les modèles de langage (LLM) excellent dans la compréhension du langage naturel et sont capables de décomposer des tâches complexes en sous-tâches, mais souffrent d'hallucinations et de faiblesses logiques qui les rendent inaptes à la planification autonome de missions critiques (robotique, drones, logistique). À l'inverse, les vérificateurs formels et planificateurs symboliques garantissent mathématiquement la validité d'un plan, mais manquent de flexibilité face aux requêtes humaines. Ce stage vise à concevoir une architecture neuro-symbolique où le LLM sert d'interface de traduction et de raisonnement haut niveau, tandis qu'un vérificateur formel (interfacé via le protocole open source MCP - Model Context Protocol) fait office de garde-fou déterministe pour garantir des plans 100% exempts d'hallucinations.

Au sein du Pôle Mécanique Combat Numérisé vous rejoignez l'équipe des ingénieurs/architectes en charge des activités de conception mécanique sur les système de refroidissement cryogénique. Les missions confiées - travaux axés bureau d'étude - Avant projet 3D Catia / Ansys - Simulation thermique et mécanique par éléments finis - Cahier des Charges / discussion avec fournisseurs / prédimensionnement - Note de Justification de Définition

Les modèles de langage (LLM) excellent dans la compréhension du langage naturel et sont capables de décomposer des tâches complexes en sous-tâches, mais souffrent d'hallucinations et de faiblesses logiques qui les rendent inaptes à la planification autonome de missions critiques (robotique, drones, logistique). À l'inverse, les vérificateurs formels et planificateurs symboliques garantissent mathématiquement la validité d'un plan, mais manquent de flexibilité face aux requêtes humaines. Ce stage vise à concevoir une architecture neuro-symbolique où le LLM sert d'interface de traduction et de raisonnement haut niveau, tandis qu'un vérificateur formel (interfacé via le protocole open source MCP - Model Context Protocol) fait office de garde-fou déterministe pour garantir des plans 100% exempts d'hallucinations.

Contexte : La performance et la durabilité des moteurs Safran nécessitent la maîtrise des déformations dynamiques des aubes des rotors aux différents régimes de rotation. Cette mesure s'effectue dans un environnement mécanique fortement contraint (chaleur, vibrations, éventuellement résidus de combustion). Problématique : Le moyen alternatif à la pose de jauges d'extensométrie (méthode très invasive) est l'utilisation de la méthode « tip-timing », qui consiste à étudier les variations du temps de passage des sommets d'aube à des emplacements spécifiés sur le carter. L'activité vibratoire se traduit par d'infimes variations du temps de passage du sommet d'aube. Cette détection peut être réalisée par différents types de capteurs (optiques, capacitifs, etc.). L'enjeu est de disposer de la mesure de datation la plus précise et robuste possible afin d'identifier de manière fiable les différents modes de vibration. Ce sujet mobilise plusieurs domaines de compétences et fait...