Développeur d'Interface Graphique pour Plateforme Open-Source

il y a 3 semaines


Palaiseau, Île-de-France CEA Temps plein

Le CEA recherche un Ingénieur en visualisation et environnement de développement pour la Direction de la Recherche Technologique (DRT). Ce poste à pourvoir rapidement est basé sur le site Nano-Innov de Paris-Saclay.

Notre équipe se spécialise en analyse sémantique de code source pour la sûreté et la sécurité logicielles. Frama-C, notre plateforme open-source d'analyses formelles pour C, C++ ou JavaCard, repose sur des techniques avancées comme l'interprétation abstraite et la vérification déductive. Utilisée à la fois dans le monde académique et industriel, elle sert à garantir la sécurité de fonctionnement et la cybersécurité, prévenir les vulnérabilités logicielles (CWE) et prouver des propriétés fonctionnelles ou de sécurité sur des codes de tailles variées.

Vos missions :

  • Développer et améliorer l'interface graphique de Frama-C, en utilisant TypeScript ou JavaScript et un framework ReactNative.
  • Contribuer à la conception et au développement de nouvelles fonctionnalités pour la plateforme.
  • Collaborer avec les autres membres de l'équipe sur le design et l'implémentation des solutions.

Profil recherché :

  • Ingénieur ou fin de thèse en informatique.
  • Maîtrise du langage TypeScript ou JavaScript et d'un framework ReactNative.
  • Connaissance d'un langage fonctionnel (idéalement OCaml).
  • Connaissance du langage C, capacité à s'approprier d'autres langages.
  • Sens du travail en équipe, capacité à la prise d'initiative et de responsabilité (encadrement et gestion de projet).


  • Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un Ingénieur en visualisation et environnement de développement pour rejoindre son équipe de recherche et développement. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Compétences requisesMaitriser le langage TypeScript ou JavaScriptConnaissance d'un framework à la ReactNativeConnaissance...


  • Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un Ingénieur en visualisation et environnement de développement pour rejoindre son équipe de recherche et développement. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Compétences requisesMaitriser le langage TypeScript ou JavaScriptConnaissance d'un framework à la ReactNativeConnaissance...


  • Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un.e Ingénieur.e en visualisation et environnement de développement pour la CEA/DRT (Direction de la Recherche Technologique). Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Compétences requisesIngénieur ou fin de thèseMaitriser le langage TypeScript ou...


  • Palaiseau, Île-de-France Atexo Temps plein

    Atexo, agence digitale intégrée d'un grand groupe présent internationalement, recherche un Développeur Front End expérimenté pour rejoindre son équipe de développement web.**Rôle et Responsabilités**Sous la responsabilité directe du Team Manager, vous intégrez le pôle Front End de l'agence et intervenez sur la conception et le développement des...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Postdoctorant en génie logiciel et cybersécuritéNous sommes à la recherche d'un postdoctorant en génie logiciel et cybersécurité pour rejoindre notre équipe dynamique au sein du département de recherche Informatique et Réseaux (INFRES) de Télécom Paris.Contexte scientifiqueTélécom Paris co-dirige le projet de recherche SWHSec (Software...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Développez vos compétences en génie logiciel et cybersécuritéNous sommes à la recherche d'un Postdoctorant ou d'un Postdoctorant en génie logiciel et cybersécurité pour rejoindre notre équipe dynamique au sein du département de recherche Informatique et Réseaux (INFRES) de Télécom Paris.Contexte scientifiqueTélécom Paris co-dirige le projet...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Développez vos compétences en génie logiciel et cybersécuritéNous sommes à la recherche d'un Postdoctorant ou d'un Postdoctorant en génie logiciel et cybersécurité pour rejoindre notre équipe dynamique au sein du département de recherche Informatique et Réseaux (INFRES) de Télécom Paris.Contexte scientifiqueTélécom Paris co-dirige le projet...


  • Palaiseau, Île-de-France Atexo Temps plein

    Description de l'Agence Atexo est une agence digitale intégrée d'un grand groupe présent internationalement. Nous sommes portés par une forte culture de l'innovation et gérons nos projets à 100%, conception (UX/UI, Design), réalisation (Java, PHP...) et mise en ligne (Hosting, Cloud, DevOps). Voici un aperçu de notre agence: Nous...


  • Palaiseau, Île-de-France PARK Senior Villas Chandler Temps plein

    Développeur Front-end SeniorRejoignez notre équipe innovante et dynamique au sein d'Altavia Cloud, une entité du Groupe fonctionnant en mode startup-mindset.Rôle et responsabilitésCollaborer avec l'équipe technique pour développer la plateforme logicielleConcevoir et mettre en œuvre des composants logiciels réutilisablesParticiper à la gestion...


  • Palaiseau, Île-de-France CNRS Temps plein

    MissionL'objectif de ce poste est de participer à un projet de recherche visant à développer des sources laser sur puce largement accordables et à contribuer au développement de nouveaux dispositifs optoélectroniques.ActivitésConcevoir et développer des lasers sur puce intégrésDévelopper des simulations pour prédire et améliorer les...

  • Développeur Backend

    il y a 15 heures


    Palaiseau, Île-de-France Atexo Temps plein

    À propos de l'offreNotre client, un acteur français reconnu dans la finance, recherche un Développeur Backend & Data pour rejoindre son équipe technique. Cette équipe est chargée du développement de la plateforme regroupant les activités de l'entreprise, notamment les sites pour les investisseurs et partenaires, ainsi que les applications de...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Postdoctorant en génie logiciel et cybersécuritéTélécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.Nous sommes à la recherche d'un postdoctorant en génie logiciel et cybersécurité pour rejoindre notre...


  • Palaiseau, Île-de-France Teamx Temps plein

    Développeur AndroidContexteEn tant que développeur Android, vous rejoindrez l'équipe de Team-X pour contribuer à la création d'applications innovantes et performantes.ResponsabilitésParticiper à l'analyse du cahier des charges des clients et à la programmation de l'application.Mettre en conformité de l'appli (intégration, test...


  • Palaiseau, Île-de-France CEA Temps plein

    Présentation de l'offreLe CEA recherche un Ingénieur en visualisation et développement d'environnement pour rejoindre son équipe de recherche et développement. Ce poste est basé sur le site de Paris-Saclay, dans l'Essonne.ContexteL'équipe de recherche et développement du CEA est spécialisée dans l'analyse sémantique de code source pour la sûreté...


  • Palaiseau, Île-de-France Atexo Temps plein

    Description Notre client est un acteur français reconnu, spécialisé dans la conception et la commercialisation de produits financiers. L'équipe technique assure le développement de la plateforme regroupant l'ensemble des activités : des sites pour les investisseurs et partenaires et des applications de gestion des produits (conception,...


  • Palaiseau, Île-de-France Atexo Temps plein

    Découvrez notre équipe de développementNous sommes une agence digitale intégrée d'un grand groupe présent internationalement. Nous sommes portés par une forte culture de l'innovation et gérons nos projets à 100%, conception (UX/UI, Design), réalisation (Java, PHP...) et mise en ligne (Hosting, Cloud, DevOps).Qui sommes-nous?Clients grands comptes...

  • Développeur Java

    il y a 2 heures


    Palaiseau, Île-de-France Amontech Temps plein

    À propos de l'offreAmontech, une entreprise innovante et humaine, recherche un Développeur Java pour rejoindre son équipe dynamique.Compétences requisesExpérience en développement logiciel avec JavaConnaissance de Angular et de BDDMaîtrise de NoSQLResponsabilitésParticiper aux phases d'analyse, de conception, de développement et de...


  • Palaiseau, Île-de-France Atexo Temps plein

    Talan est un groupe international de conseil en transformation et en innovation par la technologie, créé en 2002. Nous accompagnons les entreprises dans des secteurs variés : énergie, industrie, transport, finance, luxe... La valorisation des données, leurs structurations, et leurs usages (Data et Technologies) Talan est une entreprise responsable,...


  • Palaiseau, Île-de-France CNRS Temps plein

    Informations générales Intitulé de l'offre : Ingénieur en développement logiciel pour un service d'édition collaborative (H/F) Référence : UMR7161-GOVVAN-006 Nombre de Postes : 1 Lieu de travail : PALAISEAU Type de contrat : CDD Technique/Administratif Durée du contrat : 18 mois Quotité de travail : Temps complet Rémunération : Entre 2932...

  • Développeur Backend

    il y a 21 heures


    Palaiseau, Île-de-France Atexo Temps plein

    À propos de l'offreNotre client, un acteur français reconnu dans la conception et la commercialisation de produits financiers, recherche un Développeur Backend & Data pour rejoindre son équipe technique.Compétences requisesExpérience de 5 ans en tant que développeur Backend sur TypescriptBonnes connaissances en PHP SymfonyConnaissance de la...