Stage : Generation de Code Prouve en Rust

il y a 3 semaines


AixenProvence, France CLEARSY Temps plein

**Objectif du stage **:Développer un traducteur de modèles formels B vers le langage Rust

CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le pilote automatique du métro de la ligne 14 à Paris).
L’activité est majoritairement orientée vers le secteur ferroviaire, énergie (nucléaire) et défense.

Société à taille humaine sur 4 sites en France, en pleine croissance (150 personnes), nous développons et déployons nos systèmes dans le monde entier depuis plus de 10 ans, nous avons notamment pu travailler à Sao Paolo / Stockholm / Caracas / New York / Hiroshima / Honolulu )

Les équipes CLEARSY interviennent dans toutes les phases d’un projet, de la spécification à la réalisation de systèmes « clé en main » tout en garantissant un respect le plus strict des exigences de sûreté.
Clearsy recherche aujourd’hui des ingénieurs passionnés par le challenge technique et qui ont appris à apprendre pour venir renforcer ces équipes techniques.

Cette citation reflète bien nos valeurs : _Steve Jobs - Cela n’a pas de sens d’embaucher des gens intelligents et de leur dire quoi faire ; nous embauchons des gens intelligents pour qu’ils nous disent ce qu’il faut faire_

Atelier B est un environnement de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle repose sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’implémentation logicielle dans la méthode B est exprimée dans un sous-ensemble du langage B, langage de programmation impératif appelé B0. Des traducteurs vers les langages C et ADA permettent ensuite de générer des implémentations dans ces langages.
Dans le cadre de sa démarche de conception de systèmes sécuritaires, CLEARSY souhaite développer un traducteur de modèles B vers le langage Rust. Ce stage pourra s’appuyer sur des outils internes similaires existants ou donner lieu à un développement original, en fonction de l’aisance et de l’appétence du stagiaire avec les formalismes et technologies utilisés.

**Mission**:

- Spécifier les schémas de traduction de B0 vers Rust,
- Développer l’outil de traduction de B0 vers Rust,
- Construire et mettre en œuvre le banc de test qui permettra de valider le traducteur, sur des exemples simples et sur des (extraites de) projets industriels,
- Rédaction du manuel utilisateur de l’outil de traduction de B0 vers Rust (langue anglaise).

**Compétences recherchées**:

- Développement C++
- Git
- Expérience de la programmation Rust (savoir ce qu’est un bon programme)
- Bonnes capacités d’expression écrite et orale
- Rigueur, autonomie, force de propositions
- Connaissance en sémantique des langages de programmation serait un plus

**Localisation **: Aix en Provence
**Durée **: 6 mois
**Niveau **: Bac +5

Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois

Salaire : 650,00€ par mois

Avantages:

- Participation au Transport
- Titre-restaurant

Programmation:

- Du Lundi au Vendredi

Formation:

- Bac +5 (Master / MBA) (Optionnel)

Lieu du poste : Un seul lieu de travail



  • Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage**: Développement C++ / Qt IHM d'un outil d’édition capable de reconstituer un plan de voie sur la base des données topologiques d'une voie ferrée.  Dans les projets de l’industrie ferroviaire, la nécessité de décrire et de partager le réseau ferroviaire a amené à utiliser un format appelé RailML, basé sur XML. Un...


  • Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage**: Développement C++ / Qt IHM d'un outil d’édition capable de reconstituer un plan de voie sur la base des données topologiques d'une voie ferrée.  Dans les projets de l’industrie ferroviaire, la nécessité de décrire et de partager le réseau ferroviaire a amené à utiliser un format appelé RailML, basé sur XML. Un...

  • No Code Product Builder

    il y a 4 semaines


    Aix-en-Provence, France Gojob Temps plein

    Fondée en 2015, Gojob est une plateforme de service pour l’emploi qui s’appuie sur ses propres technologies et données pour rendre le marché du travail plus fluide et accessible, et accompagner chaque individu avec dignité. Chez Gojob, “We staff instantly, at scale and with care”. Membre trois années consécutives de la promotion French Tech...


  • Aix-en-Provence, France Infodis Temps plein

    Studi, l'école n°1 de la formation 100 % en ligne, recherche pour son entreprise partenaire, expert du numérique, un développeur Informatique (H/F) en contrat d'apprentissage.Lancez votre carrière dès à présent en suivant l'une de nos formations diplômantes en Code IT reconnues par l'État de niveau 5 à niveau 7 (Bac+2 à Bac+5).Vos missions, si...

  • Chef de projets

    il y a 4 semaines


    Aix-en-Provence, France Fauché Temps plein

    Informations générales Intitulé du poste Chef de projets - Génie électrique H/F Type de contrat CDI Description du poste La région Fauché Arc Méditerranée compte une quinzaine d’agences répartis en deux sous-ensembles.En très fort développement depuis 10 ans, cette...


  • Aix-en-Provence, France Adsearch Temps plein

    Adsearch vous propose des milliers d''opportunités de carrières dans toute la France pour les profils d''experts, cadres et managers. Que ce soit pour un emploi ou pour une mission, Adsearch c''est le cabinet de recrutement qu''il vous faut !Retrouvez toutes nos offres d'emploi en CDI, CDD, Intérim et Freelance sur notre site internet ! En Bref :...


  • Aix-en-Provence, France AMP - Assurances Mutuelles de Picardie Temps plein

    Talentpeople Aix-en-Provence - 13, CDI Détail du poste Nous recherchons pour l'un de clients, un chargé d'expertise et solutions sur la partie génie climatique en CDI sur la localisation d'Aix-en-Provence. Au sein de la Direction Commerciale Proximité et réseau, le Chargé d'Expertise et Solutions (CES) Génie climatique est chargé d'apporter un...


  • Aix-en-Provence, France ALSTOM Temps plein

    Req ID:443369 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...


  • Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...


  • Aix-en-Provence, France Centre International des Arts en Mouvement Temps plein

    **La structure** Le Centre International des Arts en Mouvement, lieu de référence des arts du cirque en Pays d’Aix, œuvre àpartager la diversité de ces arts avec le plus grand nombre, habitants ou artistes, enfants ou adultes, initiés ou novices. Il se veut un lieu de rencontre entre les arts, de dialogue et de découverte, où naissent...


  • Aix-en-Provence, France CLEARSY Temps plein

    Pour la majeure partie des projet et produit conçu par CLEARSY, une certification SIL2, SIL3 ou SIL4 est effectué par un organisme externe qui audit la conception, la validation et le raisonnement de sécurité. Afin d’obtenir cet avis favorable de certification, un ensemble d’activité doit être réalisé par une équipe d’ingénieurs indépendante...


  • Aix-en-Provence, France AMP - Assurances Mutuelles de Picardie Temps plein

    Talentpeople Aix-en-Provence - 13, CDI Les missions du poste Plus précisément, vous serez amené à: - Apporter un support technique et commercial auprès des clients et des équipes de vente, qualifier techniquement le besoin des clients pour bien les conseiller et définir la solution adaptée, produits et/ou services - Réaliser les études de...

  • 3m Stage

    il y a 4 semaines


    Aix-en-Provence, France ALSTOM Temps plein

    Req ID:443369 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...

  • Stage Vendanges

    il y a 4 semaines


    Aix-en-Provence, France Château du Seuil Temps plein

    Domaine : Cave, vinification, Type de contrat : STAGE Département : Bouches du Rhône Ville Aix-en-Provence Expérience souhaitée : ? Niveau d’études : BEPA, Bac Pro, BTS, DUT ou DEUST ? Date d’embauche 15/08/2023 Description du poste: Le domaine compte 62 ha de vignoble et produit des vins rouges, blancs et rosés certifiés BIO. Il dispose...

  • Stage Gestion Administration

    il y a 4 semaines


    Aix-en-Provence, France Institut Français de Finance et de Data Temps plein

    Le/la chargé(e) d'accueil sera responsable de l'accueil et de l'orientation des visiteurs, de la gestion des appels téléphoniques et des courriers électroniques entrants et sortants, ainsi que de la gestion de diverses tâches administratives liées à l'entreprise. Type d'emploi : Stage Durée du contrat : 1 - 2 mois Programmation: - Travail en...


  • Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels...


  • Aix-en-Provence, Provence-Alpes-Côte d'Azur, France Alstom Temps plein

    Req ID:443369 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...

  • Charge Etudes de Prix

    il y a 4 semaines


    Aix-en-Provence, France Expert & Manager Temps plein

    MARSEILLE Description du poste: A ce titre, vos missions sont les suivantes: Profil recherché: Profil et environnement de travail Vous êtes issu d'une formation de niveau Bac+3 à Bac +5 en Bâtiment ou Génie Civil et bénéficiez d'une première expérience à un poste similaire. Rigoureux(se) et passionné(e), vous êtes également doté(e) d'un fort...


  • Aix-en-Provence, France GROUPE ALIENOR - FILIALE Temps plein

    Acteur national du BTP, le Groupe Aliénor spécialiste de l’ingénierie de la construction, propose à ses clients une expertise diversifiée : maîtrise d’œuvre, bureau d’études techniques et construction. Au-delà de notre expertise technique c’est le savoir-faire et le savoir être de nos équipes qui constitue le véritable ADN de notre...

  • Stage Chargé de Recrutement

    il y a 4 semaines


    Aix-en-Provence, France CAPGEMINI ENGINEERING Temps plein

    Capgemini, qu'est-ce que cela évoque pour vous ? Pour nous, c’est une **sucess story** qui unit aujourd’hui 300 000 collaborateurs dans le monde. Celle d’une start up française née il y a 50 ans, devenue un des **leaders mondiaux du conseil, des services informatiques et de la transformation numérique**. Depuis 2018, nous sommes labellisés**...