PFE - Etude de l'impact de l'IA sur les méthodes de preuve formelle (domaine ferroviaire)

Société : SIG4 Engineering

SIG4-Engineering (c'est nous !) est une jeune entreprise spécialisée dans la sécurité des systèmes de signalisation ferroviaire.
Créée en juin 2024, nous sommes désormais 6 ingénieurs comportant déjà plusieurs profils experts et confirmés. Nous devons satisfaire les demandes de multiples clients, tels que ALSTOM, SNCF, RATP ... Rien que ça ! Tous nous ont fait confiance dès la création de la société et nous ont renouvelé cette confiance à ce jour.

Chez SIG4 vous trouverez une forte culture d’entreprise basée sur : le partage d’expérience technique, la transparence sur tous les aspects (commerciaux, financiers, etc), le tout pour continuer de faire grandir une jeune société pleine d’ambition 🙌

Description du poste

Les progrès récents de l'intelligence artificielle ont eu une influence majeure sur tous les cœurs de métier (n'hésitez pas d'ailleurs à regarder cette vidéo qui illustre bien le changement en mathématiques : https://youtu.be/AYPQIntoJeE?si=IQ24z-aUnuGkKtji)
Habituellement, dans le ferroviaire, on réalise manuellement des "preuves formelles" pour vérifier la sécurité des systèmes employés, en fonction à des besoins exprimés par le client.
Seulement, l'IA semble pouvoir commencer à réaliser de telles preuves. L'objectif du stage est donc d'étudier, sur des exemples de plus en plus poussés, comment (et jusqu'où) l'IA peut aller pour réaliser de telles preuves. La qualité de définition des entrants (besoins clients) devrait avoir un impact majeur sur les réponses proposées par l'IA.
Un sujet à cheval entre mathématiques et informatique, ayant pour cœur l'impact de l'intelligence artificielle sur le métier d'ingénieur ; bref, parfait pour un Ensimag !🚈

Profil recherché

- Stage (environ 6 mois) en 100 % télétravail : et oui c'est l'avantage chez SIG4, vous pouvez vivre où vous voulez !
(PS : je ne pensais pas l'apprécier mais le télétravail c'est plus que génial)
- Poste disponible rapidement
- Stage rémunéré (gratification)