Un Système d'Effets pour un Langage de Programmation de Smart Contracts de Confiance H/F

il y a 6 jours


GifsurYvette, France CEA Temps plein

Description de l'offre

L'objectif de ce stage est de implémenter un système d'effets sur un langage noyau de smart contracts basé sur les PSS que nous avons mis en place au CEA List. Les effets algébriques permettent au programmeur de formaliser le comportement computationnel attendu du programme, qui est encodé dans le type du programme et automatiquement vérifié en temps de compilation par le type checker. Le système d'effets que nous envisageons possède des propriétés avancées telles que la composabilité, les effets d'ordre supérieur et la dépendance de type. Les effets computationnels à prendre en compte comprennent la termination, les exceptions, la consommation de gaz bornée, les changements de l'état des smart contracts, les changements des balances des comptes, etc.

Une spécification de haut niveau du système d'effets sera disponible et remise au stagiaire. Le candidat interagira avec des chercheurs et des ingénieurs spécialisés dans la technologie blockchain et la théorie des langages de programmation.

Le candidat retenu rejoindra le Laboratoire des systèmes d'information fiables, intelligents et auto-organisés (LICIA) du CEA List.

Le stagiaire aura les responsabilités suivantes :

Se familiariser avec l'état de l'art en matière de typage statique et des systèmes d'effets algébriques. Se familiariser avec le langage noyau de smart contracts basé sur les PSS mis en place au CEA List, et avec la spécification du système d'effets qui sera remise au stagiaire. Étendre le langage de smart contracts développé au CEA List en mettant en place un système d'effets d'après la spécification remise au stagiaire, et produire une implémentation réaliste du dit langage (telle qu'un interpréteur efficace ou une machine virtuelle). Vérifier l'exactitude de l'implémentation réaliste en effectuant des tests et des benchmarks. Documenter le développement du système d'effets en rédigeant un rapport technique et/ou en collaborant à un article scientifique.

Moyens / Méthodes / Logiciels

recherche, programmation

Profil du candidat

Le/La candidat(e) doit avoir les compétences suivantes :

Étudiant(e) master 2 en informatique/ingénierie. Connaissance en théorie des langages de programmation et systèmes de type (expérience préalable d’implémentation des langages de programmation d’ordre supérieur est un atout). Connaissance en blockchain, smart contracts (expérience préalable de développement dans un langage de smart contracts est un atout).

  • Gif-sur-Yvette, France CEA Temps plein

    Description du poste **Domaine**: - Systèmes d'information **Contrat**: - Stage **Intitulé de l'offre**: - Un Système d'Effets pour un Langage de Programmation de Smart Contracts de Confiance H/F **Sujet de stage**: **Durée du contrat (en mois)**: - 6 mois **Description de l'offre**: - L'objectif de ce stage est de implémenter un système...


  • Gif-sur-Yvette, France IRT SystemX Temps plein

    **Contexte du stage**: Au sein de l’Institut de Recherche Technologique SystemX, situé au cœur du campus scientifique Paris-Saclay, vous prendrez une part active dans les travaux de recherche et développements au sein d’une recherche exploratoire qui s’intéresse à l’amélioration des modèles de langage en s’appuyant sur le feedback de...

  • Ingénieur Systèmes H/F

    il y a 3 semaines


    Neuilly-sur-Seine, Île-de-France Sagemcom Temps plein

    Poste :Vous rejoindrez l'équipe Software Grid Solution du département IT comme Ingénieur Systèmes H/F.Contexte :Vous allez participer à l'implémentation et à l'optimisation de notre solution de Smart Metering sur le Cloud.Compétences requises :Connaissance en Système d'exploitation LinuxNotion de déploiement et service Cloud et...


  • Belleville-sur-Saône, Auvergne-Rhône-Alpes, France UN MONDE BLEU Temps plein

    Description du posteVous rejoignez l'équipe d'Un Monde Bleu, une agence réceptive expérimentée basée en région Rhône-Alpes. Nous sommes à la recherche d'un délégué de programme en croisière pour renforcer notre équipe.Ce rôle vous donnera l'occasion de travailler au sein d'une équipe dynamique et dédiée au service des...

  • Ingénieur Systèmes H/F

    il y a 1 mois


    Neuilly-sur-Seine, Île-de-France Sagemcom Temps plein

    Description du poste Titre du poste Ingénieur Systèmes H/F Contrat Stage Description de l'équipe Au sein du département Software Grid Solution et rattaché au chef de produit IT, vous allez participer à l'implémentation et l'optimisation de l'opération de notre solution de Smart Metering sur le Cloud. Description de la...

  • Post-doctorant-e (H/F)

    Il y a 2 mois


    Gif-sur-Yvette, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 22 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant-e (H/F) CNRS - modélisation de la productivité biologique lors des réchauffements passés** Référence : UMR8212-NATBOU-005 Nombre de...


  • Gif-sur-Yvette, Île-de-France Université Paris-Saclay Temps plein

    Mission du Service / Positionnement Hiérarchique :L'Université Paris-Saclay recherche un Coordinateur Technique Projet Refonte SI Scolarité pour rejoindre son équipe de direction des systèmes d'information. Cette mission est rattachée hiérarchiquement au responsable du pôle Applications Métiers et Architecture du Système d'Information...


  • Gif-sur-Yvette, Île-de-France Synchrotron SOLEIL Temps plein

    Synchrotron SOLEIL, un centre de rayonnement synchrotron unique en France, recherche un ingénieur en informatique scientifique pour rejoindre son groupe de réduction et d'analyse de données expérimentales (GRADES). Ce poste est idéal pour les passionnés de science des données, d'intelligence artificielle et de systèmes edge.Le GRADES déploie...


  • Bures-sur-Yvette, France LE MERCATO DE L'EMPLOI Temps plein

    À propos de nousNotre client est une PME dynamique et performante à l'ADN familial, filiale d'un groupe international, et partenaire de confiance depuis 1990 pour la distribution et la maintenance de matériel bureautique.Implanté dans le sud de la région parisienne, expert en solutions d'impression avec des marques de renom comme Canon et KYOCERA, il...

  • Contrat Postdoctoral

    Il y a 3 mois


    Gif-sur-Yvette, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 18 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:contrat postdoctoral (H/F) Etude expérimentale des délais de photoionisation dans les systèmes aqueux en géométrie plane** Référence :...


  • Gif-sur-Yvette, Île-de-France Synchrotron SOLEIL Temps plein

    Poste d'Ingénieur Infrastructures CloudL'Ingénieur Infrastructures Cloud est chargé de la définition et de la mise en œuvre de nouvelles architectures techniques de virtualisation, d'orchestration et de conteneurisation pour le déploiement d'applications scientifiques et techniques au Synchrotron SOLEIL.Contexte et MissionCe poste est...

  • Stagiaire Data Scientist

    il y a 1 mois


    Gif-sur-Yvette, France Servier Temps plein

    **Date de parution**:21 oct. 2024**Ville**:GIF-SUR-YVETTE**Pays/Région**:FR**Type de contrat**:Stage**N° offre**:7143Stagiaire Data Scientist (H/F) - Nous sommes un groupe pharmaceutique à dimension humaine, international et indépendant, gouverné par une Fondation. Notre modèle, singulier, fait notre fierté mais, surtout, nous permet de servir...


  • Villebon-sur-Yvette, Île-de-France LE MERCATO DE L'EMPLOI Temps plein

    À propos de notre équipeLe Mercato de l'Emploi recrute un expert en conception de systèmes embarqués pour rejoindre son équipe d'ingénieurs passionnés !Nous recherchons un professionnels expérimenté capable de concevoir et développer des architectures de systèmes durcis, de participer aux phases de conception HW, SW et FPGA et de fournir des...


  • Neuilly-sur-Seine, Île-de-France Sagemcom Temps plein

    Description du posteTitre du posteIngénieur Développeur Système de CloudContratStageDescription de l'équipeAu sein du département Software Grid Solution et rattaché au chef de produit IT, vous allez participer à l'implémentation et l'optimisation de l'opération de notre solution de Smart Metering sur le Cloud.Description de la...


  • Villebon-sur-Yvette, Île-de-France LE MERCATO DE L'EMPLOI Temps plein

    À propos de notre missionNous recherchons un ingénieur systèmes embarqués expérimenté pour rejoindre l'équipe de LE MERCATO DE L'EMPLOI.Salaire et avantagesPour ce poste, nous proposons un salaire attractif compris entre 55 000 € et 65 000 € brut annuel, ainsi que des primes trimestrielles basées sur la rentabilité de...


  • Gif-sur-Yvette, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Post-doctorant-e (H/F) CNRS – modélisation de la productivité biologique lors des réchauffements passés Référence : UMR8212-NATBOU-005 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mardi 1 octobre 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois...


  • Gif-sur-Yvette, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Post-doctorant-e (H/F) CNRS – modélisation de la productivité biologique lors des réchauffements passés Référence : UMR8212-NATBOU-005 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mardi 1 octobre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat :...


  • Villebon-sur-Yvette, France LE MERCATO DE L'EMPLOI Temps plein

    À propos de nousLe Mercato de l'Emploi recrute pour son client, leader en conception, industrialisation et validation de systèmes embarqués et comptant une cinquantaine de collaborateurs. Reconnue pour son esprit d'innovation, l'entreprise se distingue par sa capacité à gérer des environnements extrêmes et complexes, industriels et militaires, avec...


  • Gif-sur-Yvette, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Thèse - Modélisation globale du cycle de l’azote au sein du système Terre (H/F) Référence : FR636-ALERUB-053 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mercredi 18 septembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de...


  • Gif-sur-Yvette, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Thèse - Modélisation globale du cycle de l’azote au sein du système Terre (H/F) Référence : FR636-ALERUB-053 Nombre de Postes : 1 Lieu de travail : GIF SUR YVETTE Date de publication : mercredi 18 septembre 2024 Type de contrat : CDD Doctorant Durée du contrat : 36 mois Date de début de la...