Partagez sur
STAGE Optimisation et amélioration de génération de codes basé sur un langage de manipulation de modèles de données
Date de mise à jour de l’offre
KRONO-SAFE :
CREATEUR DE LOGICIELS
Description de la mission
KRONO-SAFE est une jeune société de haute technologie, issue du CEA, qui développe et commercialise :
- un système d’exploitation temps réel de nouvelle génération pour applications temps-réel critiques (automobile, ferroviaire, aéronautique…) utilisant des processeurs mono et multi-cœur,
- et des outils destinés au développement de ces applications (conception, simulation et preuve).
KRONO-SAFE, basée à ORSAY (91), a été créée en 2011 et a engrangé depuis plusieurs contrats avec des industriels de renom. C’est pourquoi, afin d’étoffer son équipe de développement, KRONO-SAFE propose un sujet de stage sur 6 mois dédié à l’optimisation et l’amélioration d’un outil de génération de codes basé sur un langage de manipulation de modèles de données.
Dans le cadre du développement d’un compilateur complet, beaucoup de fichiers textes sont générés durant les différentes étapes du processus de compilation. Les fichiers générés sont de nature très diverse et reposent sur des modèles de données différents. L’objectif de ce stage est d’améliorer et d’optimiser le processus de génération de codes du compilateur en travaillant sur notre outil interne basé sur un langage de manipulation de modèles de données pour y ajouter une surcouche procédurale visant à enrichir son expressivité en vue de vérifier la cohérence des modèles ou de faire des calculs sur leurs données.
Au sein de l’équipe R&D en charge du développement de notre chaine de compilation, le stagiaire sera en charge d’appo
- un système d’exploitation temps réel de nouvelle génération pour applications temps-réel critiques (automobile, ferroviaire, aéronautique…) utilisant des processeurs mono et multi-cœur,
- et des outils destinés au développement de ces applications (conception, simulation et preuve).
KRONO-SAFE, basée à ORSAY (91), a été créée en 2011 et a engrangé depuis plusieurs contrats avec des industriels de renom. C’est pourquoi, afin d’étoffer son équipe de développement, KRONO-SAFE propose un sujet de stage sur 6 mois dédié à l’optimisation et l’amélioration d’un outil de génération de codes basé sur un langage de manipulation de modèles de données.
Dans le cadre du développement d’un compilateur complet, beaucoup de fichiers textes sont générés durant les différentes étapes du processus de compilation. Les fichiers générés sont de nature très diverse et reposent sur des modèles de données différents. L’objectif de ce stage est d’améliorer et d’optimiser le processus de génération de codes du compilateur en travaillant sur notre outil interne basé sur un langage de manipulation de modèles de données pour y ajouter une surcouche procédurale visant à enrichir son expressivité en vue de vérifier la cohérence des modèles ou de faire des calculs sur leurs données.
Au sein de l’équipe R&D en charge du développement de notre chaine de compilation, le stagiaire sera en charge d’appo
Profil recherché
Ingénieur informaticien en dernière année, option informatique/génie logiciel/systèmes embarqués.
Maîtrise des langages C++, C, python. Développement orienté objet. Intérêt pour la compilation de langages informatiques.
Le sens de la communication, le goût pour le travail en équipe, la rigueur et la maîtrise de l'anglais sont des atouts indispensables pour la tenue de ce poste.
Maîtrise des langages C++, C, python. Développement orienté objet. Intérêt pour la compilation de langages informatiques.
Le sens de la communication, le goût pour le travail en équipe, la rigueur et la maîtrise de l'anglais sont des atouts indispensables pour la tenue de ce poste.
Niveau de qualification requis
Bac + 4/5 et +
Les offres de stage ou de contrat sont définies par les recruteurs eux-mêmes.
En sa qualité d’hébergeur dans le cadre du dispositif des « 100 000 stages », la Région Île-de-France est soumise à un régime de responsabilité atténuée prévu aux articles 6.I.2 et suivants de la loi n°2204-575 du 21 juin 2004 sur la confiance dans l’économie numérique.
La Région Île-de-France ne saurait être tenue responsable du contenu des offres.
Néanmoins, si vous détectez une offre frauduleuse, abusive ou discriminatoire vous pouvez la signaler
en cliquant sur ce lien.
-
EmployeurKRONO-SAFE
-
Secteur d’activité de la structureEnseignement - Formation - Recherche
-
Effectif de la structureDe 21 à 50 salariés
-
Type de stage ou contratStage pour lycéens et étudiants en formation initiale
-
Date prévisionnelle de démarrage
-
Durée du stage ou contratPlus de 4 mois et jusqu'à 6 mois
-
Le stage est-il rémunéré ?Oui
-
Niveau de qualification requis
Bac + 4/5 et + -
Lieu du stage86 rue de Paris batiment Erable
91400 ORSAY -
Accès et transportsRER B ORSAY VILLE