Ingénieur en visualisation et environnement de développement

Il y a 2 mois


Palaiseau, France CEA Temps plein

Description de l'offre

« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »

EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ?

Le 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).

Il s'agit d'un poste à pourvoir dès que possible.

POURQUOI NOUS REJOINDRE ?

Notre équipe est spécialisé en analyse sémantique de code source pour la sûreté et la sécurité logicielles.

Frama-C  est une plateforme open-source d’analyses formelles pour C, C++ ou JavaCard. Cette plateforme repose sur des techniques d’analyses avancées comme l’interprétation abstraite ou la vérification déductive . Elle est utilisée dans le monde académique mais aussi industriel que ce soit à des fins de sûreté de fonctionnement ou de cybersécurité , pour prévenir différentes CWE ou pour prouver des propriétés fonctionnelles ou de sécurité sur des codes de tailles variées.

QU’ATTENDONS-NOUS DE VOUS ?

Un des objectifs principaux de ce poste est d’améliorer l’interface graphique de Frama-C .

Frama-C est utilisé à la fois par des développeurs , des auditeurs et des évaluateurs pour valider différentes propriétés de sécurité et notre objectif est de leur fournir les meilleurs méthodes et outils . Pour cela, il faut pouvoir fournir une visualisation efficace et pertinente des résultats d’analyse notamment dans un contexte où les bases de code analysées deviennent de plus en plus grandes.

Vous serez amené.e à :

Développer de nouvelles fonctionnalités et améliorations pour l’interface graphique de Frama-C

Interagir avec les utilisateurs et la communauté open-source

Contribuer à la communication des résultats scientifiques ou techniques de l’équipe

Contribuer au développement de l’équipe

#Cybersecurity #NumericalSimulation

#CEA-List

#LI-SDL

Profil du candidat

VOUS AVEZ ENCORE UN DOUTE ?

Les à-côtés de votre mission principale peuvent vous intéresser :

Un écosystème de  recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal, qui donne du  sens  à votre mission Des  formations  pour renforcer vos compétences , en acquérir de nouvelles et booster votre mission Un  équilibre  vie privée / vie professionnelle reconnu par nos collaborateurs La possibilité de  télétravailler  pour équilibrer les temps de transport et contribuer à votre qualité de vie Un  CE  riche en avantages et en activités sociales, culturelles et sportives Un lieu de travail au cœur d’un plateau dynamique , entouré d’écoles et d’entreprises de la  tech Un restaurant d’entreprise subventionné à proximité Un plan d’épargne entreprise avec abondement employeur Des frais de transports en commun couverts à 75% Des  navettes  dédiées au départ de Paris

COMPÉTENCES REQUISES :

Ingénieur ou fin de thèse

Maitriser le langage TypeScript ou JavaScript

Connaissance d’un framework à la 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)

Cela vous tente ? Postulez, ce poste est fait pour vous

Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes en situation de handicap, cet emploi est ouvert à toutes et à tous.



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

    **Présentation de Télécom SudParis**: Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de...


  • PALAISEAU, France CENTUM T&S Temps plein

    Votre rôle :Dans le cadre du développement de nos activités, nous recherchons un(e) Ingénieur(e) logiciel Linux embarqué (H/F).Vos missions seront les suivantes :- Le portage/adaptation de Linux sur des plateformes spécifiques embarquées,- Le développement de pilotes Linux,- Le développement d'applications temps réel sous Linux (avec ou sans...


  • PALAISEAU, 91120, Palaiseau, France CENTUM T&S Temps plein

    Votre rôle :Dans le cadre du développement de nos activités, nous recherchons un(e) Ingénieur(e) logiciel Linux embarqué (H/F).Vos missions seront les suivantes :- Le portage/adaptation de Linux sur des plateformes spécifiques embarquées,- Le développement de pilotes Linux,- Le développement d'applications temps réel sous Linux (avec ou sans...


  • Palaiseau, France Atalian Maintenance et Energy Temps plein

    Description du poste et Missions Ergelis, filiale du groupe Atalian Maintenance & Energy,spécialisée dans lintégration et la maintenance de système GTB et les solutions de pilotage énergétique des bâtiments, recherche un.e ingénieur.e commercial.e en CDI. Sous la responsabilité hiérarchique du directeur dERGELIS et fonctionnelle du...

  • Assistant Polyvalent

    il y a 1 mois


    Palaiseau, France Ingénieur de Talent Temps plein

    Vous souhaitez évoluer dans un environnement qui place l’innovation au cœur de ses activités ? L’incubateur mutualisé DeepTech de Paris-Saclay forme et accompagne de jeunes start-up en développement, pour favoriser les conditions de leur succès et leur permettre de profiter pleinement de l’exceptionnel écosystème DeepTech de Paris-Saclay...


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

    Quelles sont les missions ?L'unité Plateforme Logicielle Multi-physique (PLM) du DMPE est en charge du développement du code CEDRE (multi-solveurs, parallèle MPI, maillages non structurés) dédié à la simulation numérique multi-physique dans le domaine de l'Energétique. Le code CEDRE s'attache à résoudre des écoulements compressibles, réactifs,...

  • Assistant Polyvalent

    il y a 1 mois


    Palaiseau, France Ingénieur de Talent Temps plein

    Mon client est l’incubateur mutualisé DeepTech du cluster Paris-Saclay. Sa mission est de former et d’accompagner de jeunes start-up en développement, de favoriser les conditions de leur succès et de leur permettre de profiter pleinement de l’exceptionnel éco système DeepTech de Paris-Saclay. **Ce que l’on vous propose**: En interface constante...


  • Palaiseau, Île-de-France EASY PARTNER Temps plein

    Contexte du posteLeader dans la conception et la distribution de technologies acoustiques haut de gamme, nous façonnons les produits du futur du son et cherchons à renforcer notre département software pour travailler sur nos nouveaux produits mais aussi l'évolution de ceux-ci.MissionsDévelopper, implémenter les nouvelles fonctionnalités dans un...


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

    Qui sommes-nous ?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.La Raison d’Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des...


  • Palaiseau, France ONERA Temps plein

    Quelles sont les missions ?L'unité Plateforme Logicielle Multi-physique (PLM) du DMPE est en charge du développement du code CEDRE (multi-solveurs, parallèle MPI, maillages non structurés) dédié à la simulation numérique multi-physique dans le domaine de l'Energétique. Le code CEDRE s'attache à résoudre des écoulements compressibles, réactifs,...


  • Palaiseau, France INSTITUT DE RECHERCHE TECHNOLOGIQUE SYSTEM X Temps plein

    Descriptif du poste **Les missions principales consisteront à**: - Identifier les opportunités de développement de nouveaux business. - Etablir des relations solides avec les partenaires industriels et institutionnels pour maintenir un bon niveau d engagement dans les activités de l institut. - Ramener de nouvelles sources de financements et de...


  • Palaiseau, France VINCI Energies en France Temps plein

    Notre entreprise Axians Networks Paris est spécialisée dans les solutions d’infrastructure haut débit avec la fourniture et la mise en production d’infrastructure fibre optique et cuivre dans les environnements Data Center, Retail, Industriel … avec l’intégration de solution de transport optique telles que le WDM, GPON/POL avec une offre...


  • PALAISEAU, France CEA Temps plein

    Dans le cadre d'un programme d'essaimage de cette technologie mettant en oeuvre le chiffrement homomorphe, le laboratoire recherche un collaborateur pour aider à l'industrialisation de cette technologie dans divers secteurs en vue de la création d'une startup qui commercialisera cette technologie. Le candidat ou la candidate aura pour...


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

    Quelles sont les missions ?Dans l'unité de recherche « Radars, Mesures de signature et Études Système » (RMES), vous serez impliqué dans la définition et la réalisation des nouveaux systèmes radars expérimentaux innovants. Vous aurez en charge le développement des applicatifs logiciels de pilotage/contrôle temps réel des radars, des logiciels de...

  • Ingénieur Outils

    Il y a 2 mois


    Palaiseau, France Atalian Maintenance et Energy Temps plein

    Description du poste et Missions Dans le cadre de notre croissance, le pôle Maintenance & Energy d'Atalian recrute un(e) Ingénieur Outils & Méthodes Maintenance (H/F) en CDI à Palaiseau (91). Rattaché.e au Responsable Outils et méthodes, vous assurerez le bon fonctionnement des outils métiers et procédures techniques du pôle dans un souci de...


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...


  • Palaiseau, France EDF Temps plein

    EDF R&D, avec ses 1 780 collaborateurs de 45 nationalités différentes, a pour missions principales de contribuer à l'amélioration de la performance des unités opérationnelles du groupe, d'identifier et de préparer les relais de croissance à moyen et long termes.La R&D mobilise ses experts de l’énergie au bénéfice des problématiques de ses...


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA...


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...