Développeur d'Interface Graphique pour Plateforme Open-Source
il y a 3 semaines
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).
-
Ingénieur en visualisation et environnement de développement
il y a 4 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur en visualisation et environnement de développement
il y a 2 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur en visualisation et environnement de développement
il y a 20 heures
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Développeur Front End Expert
il y a 2 jours
Palaiseau, Île-de-France Atexo Temps pleinAtexo, 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...
-
Postdoctorant en génie logiciel et cybersécurité
il y a 4 jours
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPostdoctorant 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...
-
Postdoctorant en génie logiciel et cybersécurité
il y a 2 jours
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinDé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...
-
Postdoctorant en génie logiciel et cybersécurité
il y a 5 jours
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinDé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...
-
Développeur Front End Senior h/f
il y a 3 jours
Palaiseau, Île-de-France Atexo Temps pleinDescription 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...
-
Développeur Front-end Senior
il y a 17 heures
Palaiseau, Île-de-France PARK Senior Villas Chandler Temps pleinDé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...
-
Développeur de sources laser sur puce
il y a 20 heures
Palaiseau, Île-de-France CNRS Temps pleinMissionL'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...
-
Postdoctorant en génie logiciel et cybersécurité
il y a 2 heures
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPostdoctorant 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...
-
Développeur Android senior
il y a 3 jours
Palaiseau, Île-de-France Teamx Temps pleinDé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...
-
Ingénieur en visualisation et développement d'environnement
il y a 1 semaine
Palaiseau, Île-de-France CEA Temps pleinPré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é...
-
Développeur Backend Typescript H/F
il y a 17 heures
Palaiseau, Île-de-France Atexo Temps pleinDescription 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,...
-
Développeur Front-end Senior Angular
il y a 2 jours
Palaiseau, Île-de-France Atexo Temps pleinDé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...
-
Ingénieur Java Développeur Full Stack
il y a 21 heures
Palaiseau, Île-de-France Atexo Temps pleinTalan 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 pleinInformations 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...