Stage - Développement d'un compilateur : B vers HLL

Description de l'offre

01. Missions du stage

Pour ce stage, nous nous intéressons au cas particulier des modèles développés dans le langage B associés à la méthode du même nom. À cet effet, un prototype B-PERFect a déjà été développé pour réaliser la traduction des modèles B vers HLL.

Le stagiaire devra en premier lieu s'approprier les outils ainsi que leur environnement de développement pour pourvoir ensuite aborder les objectifs du stage qui concernent :

·  le développement de nouvelles fonctionnalités du prototype B-PERFect afin d'augmenter les schémas de traduction pris en compte par le traducteur
·  la correction des bogues existants, l'amélioration des performances en vue d'un passage à l'échelle.

Le stagiaire devra également produire toute la documentation correspondante (spécifications, cahiers de test, rapports de test, etc.).

02. Profil recherché

Etudiant(e) Bac+4/5 dans le domaine informatique/génie logiciel

Vos Compétences sont :

·  Maitrise d'un langage de programmation orientée objet (C++, Java,…)
·  Connaissance du langage formel B et des théories des langages est un plus
·  Outils : Gestionnaires de source et versions, Git

Vos aptitudes personnelles sont :

·  Curiosité, rigueur et autonomie
·  Bon relationnel
·  Aptitude à travailler en collaboration

03. L'environnement de travail

Le groupe RATP, implanté dans 14 pays, sur quatre continents, compte parmi les leaders mondiaux de la mobilité urbaine. Il est composé d'une maison-mère qui exploite le réseau francilien – un réseau multimodal parmi les plus complexes – et d'une centaine de filiales qui proposent une variété d'expertises en France et à l'international. C'est une entreprise intégrée, qui détient une expertise globale : ingénierie, exploitation et maintenance.

Le stage proposé s'effectuera au sein de l'équipe QS-AQL dans l'unité ING-STF (Systèmes du Transport Ferroviaire qui conçoit, réalise et qualifie les systèmes du transport). Le laboratoire AQL est un groupe dont l'effectif varie de 25 à 40 personnes selon les prestations et la charge; il compte dans des proportions quasi égales autant d'ingénieurs que de techniciens supérieurs.

La compétence du laboratoire se base sur son expérience de la qualification des logiciels critiques d'équipements de transports guidés. Cette compétence est reconnue tant d'un point de vue institutionnel (accréditation COFRAC) que par les acteurs majeurs du transport ferroviaire mondial (AQL réalise notamment des prestations pour le métro de Stockholm, pour le métro de New York ainsi que pour le Réseau Ferré national Français).

01. Informations complémentaires

Référence de l'offre : ING25/STG
Lieu : Fontenay-sous-Bois (gare de RER Val de Fontenay)
Horaires : De bureau
Début du stage : Dès que possible
Durée du stage : 6 mois
Gratification : En fonction du niveau d'études
Pour postuler : Merci de transmettre vos CV et lettre de motivation par mail à : • Alexandra HALCHIN :[email protected] (Doctorante au sein de AQL) • Julien ORDIONI :[email protected] (Responsable de l'Atelier de Qualification des Logiciels)

Nos dernières offres

Stage - Développement d'un compilateur : B vers HLL|Bac + 5 et plus

Immergés au sein de notre équipe, vous travaillerez à concevoir et développer de nouvelles fonctionnalités d'un moteur de traduction d'un langage de…
En savoir plus

Stage Assistance au développement Portail régulation tramway F/H|Bac + 2/3

Dans le cadre de la mise en place d'un nouvel outil d'aide aux activités des régulateurs Tramway, la RATP recherche un stagiaire pour aider le…
En savoir plus

·  Accès direct
·  Registre d'accessibilité
·  Fournisseurs
·  Presse
·  Bulletins officiels
·  Open Data
·  Fondation Groupe RATP
·  Aide & Contact
·  Médiateur de la RATP

Restons connectés

·  Facebook

·  Soundcloud

·  Youtube

·  Linkedin

·  Twitter

·  Instagram

·  Accessibilité web
·  Données personnelles
·  Mentions légales
·  Plan du site
·  Gestion des cookies
A découvrir :
·  Horaires métro |
·  Horaires bus |
·  Horaires tramway |
·  Horaires RER |