- 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
- 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
- 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)
-
Responsable Du Pôle Environnement, Développement
il y a 17 heures
Ville de Cachan Cachan, France**Direction des R** **essources Humaines · **Pôle GPEC · **Formation - Recrutement - Mobilité · **Profil de poste · Située à 2,5 km de la porte d'Orléans et desservie par la ligne B du RER, Cachan est l'une des communes · les plus attractives de la région francilienne. Ses habita ...
-
Newen - Alternance Environnement Et Développement
il y a 5 jours
TF1 Boulogne-Billancourt, FranceNewen Studios, filiale du Groupe TF1, est un acteur européen majeur en forte croissance dans la production et la distribution audiovisuelle, avec une stratégie multigenre (fiction, film, animation, téléfilm, documentaire, divertissement...). · Présent dans 11 pays, Newen Studios ...
-
Chargé de Mission Environnement, Développement
il y a 2 jours
Newrest Paris e, France**Newrest Wagons-Lits, prestataire de la SNCF pour l'offre de restauration à bord des trains TGV et Intercités, recherche un Chargé de mission environnement, développement durable - RSE (junior) H/F en CDI.** · **Poste à pourvoir dès que possible basé à Paris 15ème.** · Sous la r ...
-
Responsable Environnement Et Développement Durable
il y a 1 semaine
Christian Dior Couture Paris, France**Position**: · **La responsabilité sociale et environnementale est ancrée dans l'histoire de la Maison depuis sa création, et accompagne son développement dans tous ses univers. Elle résonne au cœur de ses actions et leur donne tout leur sens.** · En 2020, la Maison a créé le pr ...
-
Conseiller Environnement Developpement Durable
il y a 1 semaine
CMA IDF Nanterre, France**Présentation** · Rejoindre la Chambre de Métiers et de l'Artisanat d'Ile de France c'est à la fois s'investir et participer au développement de l'économie de proximité avec les artisans et concourir à la réussite des Jeunes en leur apprenant un métier. · En postulant à la CMA-I ...
-
Conseiller Environnement Developpement Durable
il y a 1 semaine
CMA IDF Bobigny, France**Société**: · Rejoindre la CMA Ile de France c'est à la fois s'investir et participer au développement de l'économie de proximité avec les artisans et concourir à la réussite des Jeunes en leur apprenant un métier. · En postulant à la CMA-IDF vous évoluerez dans un environnement ...
-
Conseiller(E) Environnement Developpement Durable
il y a 1 jour
CMA IDF Paris, France**À propos de nous**: · Rejoindre la Chambre de Métiers et de l'Artisanat d'Ile de France c'est à la fois s'investir et participer au développement de l'économie de proximité avec les artisans et concourir à la réussite des Jeunes en leur apprenant un métier. · En postulant à la ...
-
APPRENTISSAGE - Développement durable / Environnement (H/F)
il y a 6 jours
Dassault Systèmes Vélizy-Villacoublay, FranceAu sein de la direction Sustainability du Groupe, vous intégrerez l'équipe Sustainability Operations, en charge de l'empreinte environnementale de Dassault Systèmes, de sa trajectoire de neutralité carbone, et de la réponse aux questionnaires extra-financiers. · Cette équipe évol ...
-
CEA Palaiseau, France AlternanceDescription de l'offre · Dans le cadre des projets industriels et institutionnels croissants, le laboratoire veut montrer ses développements, ses outils et ses compétences dans le domaine du Edge2Cloud. Dans cette perspective, il doit se doter d'un démonstrateur convainquant pou ...
-
Chargé de projet développement environnement
il y a 3 jours
MANPOWER FRANCE Puteaux, France contractActeur majeur du marché de l'emploi depuis plus de 65 ans, Manpower France regroupe aujourd'hui plus de 3 500 collaborateurs qui accompagnent chaque jour près de salariés intérimaires, au sein des entreprises clientes en France. Chaque année, près de recrutements directs en CDI e ...
-
Chargé de projet développement environnement
il y a 1 jour
MANPOWER FRANCE Puteaux, France contract· Manpower GD PARIS SIEGES SOCIAUX recherche pour son client, un acteur du secteur de l'environnement, un Chargé de projet développement environnement (H/F)C Filiale du leader de l'énergie en France, la société vise à accélérer le développement de projets de compensation carbone ...
-
Alternance - Préventrice ou Préventeur Santé
il y a 3 jours
EDF Palaiseau, FranceMise en ligne le 20/02/2024 · Principales caractéristiques de l'offre d'emploi · - Type de contrat: · - Alternance · - Niveau de formation: · - BAC +2 / BAC +3 · - Expérience: · - Débutant · - Spécialité(s): · - Prévention des risques / Sûreté · - Pays / Région: · - France / Ile- ...
-
Plongeur (F/H) - Palaiseau (91)
il y a 1 jour
Convivio Palaiseau, FranceConvivio, **groupe familial de restauration**, présent sur la moitié ouest de la France, met sa passion de l'**art culinaire** au service de ses convives. · Avec 2 600 collaborateurs, notre groupe allie **proximité** et **convivialité**. Convaincus que notre **richesse** et notre ...
-
Business Developer
il y a 4 jours
SASU CENTUM TETS CENTUM TECHNOLOGIES ET SOLUTIONS Palaiseau, France**Depuis 30 ans, CENTUM T&S apporte conseil et expertise à ses clients dans le domaine de l'électronique et du logiciel en environnement contraint et embarqué.**: · **Intégré dans un groupe international de 2300 collaborateurs, nous sommes spécialisés en design, développement et ...
-
Responsable Des Systèmes D'information
il y a 2 jours
LABOGENA Palaiseau, France**L'entreprise** · LABOGENA DNA, filiale du groupe INNOVAL et leader français des laboratoires de génotypage, est reconnu comme expert de la technologie d'analyse sur puces à ADN « SNP ». · Les prestations de LABOGENA DNA sont utilisées par ses clients principalement pour calcule ...
-
Senior Software Developer
il y a 3 jours
Snowpack Palaiseau, FranceSnowpack recrute un(e) **Senior Software Developer **pour un contrat à durée indéterminée. · Vous voulez **rendre Internet plus sûr **en participant au déploiement d'une nouvelle technologie dans un **environnement dynamique** et en **pleine croissance** ? **Rejoignez-nous ** · * ...
-
Business Manager
il y a 1 semaine
CENTUM T&S Palaiseau, France**Depuis 30 ans, CENTUM T&S apporte conseil et expertise à ses clients dans le domaine de l'électronique et du logiciel en environnement contraint et embarqué.**: · **Intégré dans un groupe international de 2300 collaborateurs, nous sommes spécialisés en design, développement et ...
-
Exploration Des Signatures Comportementaux
il y a 1 semaine
INRAE Palaiseau, France91120 Palaiseau _ · **RETOUR À LA LISTE DES RÉSULTATS** · **Présentation INRAE**: · L'Institut national de recherche pour l'agriculture, l'alimentation et l'environnement (INRAE) est un établissement public de recherche rassemblant une communauté de travail de personnes, avec 272 ...
-
Conducteur D'engins
il y a 2 jours
ALSTOM Palaiseau, FranceÀ la tête des entreprises qui s'engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails ...
-
Responsable EHS Projet Clé en Main
il y a 1 semaine
ALSTOM Palaiseau, FranceÀ la tête des entreprises qui s'engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails ...
Ingénieur en visualisation et environnement de développement - Palaiseau, France - CEA
Description
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 à :
#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 :
COMPÉTENCES REQUISES :
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.
Professionnels du métier de Ingénieur en visualisation et environnement de développement à Palaiseau
-
MELODIE PETITJEAN
Chargée de communication
-
Kevin Calonne
Developpeur web