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

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.

Niveau de qualification requis

Bac + 4/5 et +
  • Employeur
    KRONO-SAFE
  • Secteur d’activité de la structure
    Enseignement - Formation - Recherche
  • Effectif de la structure
    De 21 à 50 salariés
  • Type de stage ou contrat
    Stage pour lycéens et étudiants en formation initiale
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus 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 stage
    86 rue de Paris
    batiment Erable
    91400 ORSAY
  • Accès et transports
    RER B ORSAY VILLE