- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
-
INRIA Paris, France CDDPost-Doctoral Research Visit F/M Campagne Post-Doctorant: Verification of Linux kernel source code · Le descriptif de l'offre ci-dessous est en Anglais Type de contrat : CDD · Niveau de diplôme exigé : Thèse ou équivalent · Fonction : Post-Doctorant · Mission confiée · ...
-
Apprentissage - Data Scientist (H/F)
il y a 1 jour
DASSAULT SYSTEMES Paris, FranceImaginez demain... · Au sein du département « R&D Information System », vous rejoignez l'équipe R&D Data Science qui est en charge de la spécification, du développement, de la mise en production et de la maintenance d'un système décisionnel permettant d'aider l'équipe DevOps dans ...
-
Devsecops (It) / Freelance
il y a 1 semaine
Groupe Aptenia Paris, FranceAccompagnement et support N3 au équipes de développement · - Analyse des outils de cybersécurité · - Analyse de rapport d'audit · - Gestion des incidents · - Veiller à la conformité en termes de cybersécurité du code source produit · - Animation de la communauté DevSecops · - Mai ...
-
Développement Elastic Search Elk
il y a 5 jours
Digistrat consulting Paris, France**? Contexte /Objectifs**: · **Dans ce cadre la Prestation consiste à contribuer à/au(x)**: · Cérémonies Agiles (Sprint planning, backlog grooming, Rétrospective, Démonstration,...) · L'implémentation dans les temps des fonctionnalités assignées · La haute qualité du code dévelop ...
-
Expert(E) DevOps
il y a 6 jours
Société Générale Paris, France**Vos missions au quotidien**: · Python, Continuous delivery, Open source, devOps, Bigdata ne sont pas que des buzzwords pour vous ? · Venez exercer votre talent et exprimer votre créativité au sein de nos équipes d'Automation. · Ces équipes performantes contribuent à la transfor ...
-
Data Engineer
il y a 2 semaines
INSYCO Paris, FranceNous recherchons pour notre client grand compte secteur médias un Data Engineer pouvant répondre à la mission ci-dessous. · - Argumentaire écrit répondant de façon ciblée au besoin · - CV à jour au format Word · - Date de prochaine disponibilité · - Tarif journalier · - Merci d?i ...
-
Développement PHP Symfony
il y a 1 semaine
Capgemini Paris, France**Localisation **:2 déplacements par mois à Paris · **Client**: Secteur Public (santé) · **Mission**: consiste à intégrer les équipes de la Filière digitale du client. Cette dernière travaille sur plusieurs projets en mode Agile/Devops (Ex: Génération de l'attestation vaccinale, ...
-
Incident Manager Access
il y a 10 heures
HR Team Paris, France**Mission** · Sous l'autorité du chef de service des études informatiques et du responsable de l'équipe AS400, l'analyste Run IT: · - Il assiste le responsable de l'équipe AS400 sur le suivi et le traitement de tous les tickets N3 assignés au service IT Apps (AS400, PC SOFT / Pyt ...
-
Android Developer
il y a 5 jours
AVIV Group Paris, Francede l'entreprise · Vous rejoindrez l'une des plus grandes marketplace immobilière au monde et une filiale d'Axel Springer. Notre mission est de permettre à chacun de trouver l'endroit idéal · Vous travaillerez ainsi sur certaines des marques immobilières numériques les plus connu ...
-
Iot Security Analyst/pentester
il y a 1 semaine
Red Alert Labs Paris, France**ENTREPRISE** · - ** Description** : Ce cabinet de conseil hyper spécialisé accompagne ses clients du monde entier sur leurs problématiques liés à la cybersécurité dans l'IoT · - ** Année de création**: 2017 · - ** Coeur business **:Cybersécurité IoT · - ** Nombre de collaborate ...
-
Ingdevsecops Sonarqube
il y a 1 semaine
WorldWide People Paris, FranceIngDevSecops SonarQube / OpenShift / OWASP Dependency Check /SonaType/ Fortify/WAF/Docker/Clair/ Java / JavaScript/ Linux La mission consiste à Aider nos Product Owners à livrer des fonctionnalités 'secure by design'. · - Appliquer et analyser les remontées des outils de sécurité ...
-
Analyste IT Niveau 3 As400
il y a 1 jour
HR-TEAM Paris, FranceSous l?autorité du chef de service des études informatiques et du responsable de l?équipe AS400, l?analyste Run IT: · - Il assiste le responsable de l?équipe AS400 sur le suivi et le traitement de tous les tickets N3 assignés au service IT Apps (AS400, PC SOFT / Python, BI). · - ...
-
Data Engineer Spark Scala
il y a 10 heures
Digistrat consulting Paris, France**Dans ce cadre, la mission consiste à contribuer à/au(x)**: · L?architecture avec le reste de l?entité (tech lead, devs, architecture). · Mise en ?uvre/Développement des propositions techniques. · Revue de code. · Suivi des méthodologies agiles. · L'industrialisation des dévelop ...
-
Dev Nodejs React Junior à Confirmé
il y a 2 semaines
Digistrat consulting Paris, FranceUn outil de suivi budgétaire opérationnel sous plusieurs axes et outil de valorisation. · Un outil d'agrégation de données des ressources. · Notre client souhaite mettre en ?uvre plusieurs évolutions de son socle technique. · A ce titre, notre client souhaite bénéficier de l'expe ...
-
Full Stack Developer
il y a 1 semaine
ASENIUM Paris, France· Développeur Full-Stack · Résultats clés · Travailler en étroite collaboration avec toutes les parties prenantes, y compris les utilisateurs finaux et les équipes Agile (développeurs full stack, développeurs BI, etc.) pour garantir que les besoins/exigences sont satisfaits. Tir ...
-
Data Engineering Manager
il y a 1 semaine
Wakam Paris, FranceWakam assure la conception de produits d'assurances sur-mesure qui sont ensuite distribués par des Partenaires (traditionnels du monde de l'assurance ou non spécialistes) dans un modèle B2B2C en marque blanche. · Pour répondre à ces enjeux, Wakam a construit une plateforme techno ...
-
Conseiller de Vente
il y a 1 semaine
AMPM Paris, France**Tu veux un job qui matche avec tes envies et ta vie ?** · **On t'explique le profil qu'on cherche ici ** · Tu es commerçant dans l'âme et tu as une forte affinité pour les produits de décoration d'intérieur ? · **Ton futur job au sein du magasin AMPM, rue Etienne Marcel**: · - ...
-
Conseiller de Vente
il y a 2 semaines
AMPM Paris, France**Tu veux un job qui matche avec tes envies et ta vie ?** · **On t'explique le profil qu'on cherche ici ** · Tu es commerçant dans l'âme et tu as une forte affinité pour les produits de décoration d'intérieur ? · Nous recherchons notre futur talent pour le corner AMPM du BHV Mara ...
-
Chef(Fe) de Produits
il y a 2 semaines
Cabaïa Paris, France**Cabaïa recherche un(e) Chef(fe) de Produits & Acheteur(se) basé(e) en Chine ** · Cabaïa est une marque unique qui transforme spontanément ton quotidien et te libère des contraintes pour te permettre d'affirmer ta différence Aujourd'hui, nous sommes distribués à travers 3 canaux ...
-
Conseiller de Vente
il y a 6 jours
AMPM Paris, France**Tu recherches un job qui matche avec tes envies et ta vie ?** · **On t'explique le profil qu'on cherche ici ** · Nous recherchons un conseiller de vente pour notre boutique AMPM à Paris rue Victor Hugo. · Rattaché au Responsable de magasin, ton rôle au sein de l'équipe sera de: ...
PhD Position F/M Campagne Doctorant: verification of Linux kernel source code - Paris, France - INRIA
Description
PhD Position F/M Campagne Doctorant: verification of Linux kernel source code
Le descriptif de l'offre ci-dessous est en AnglaisType de contrat : CDD
Niveau de diplôme exigé : Bac + 5 ou équivalent
Fonction : Doctorant
Mission confiée
Understand the opportunities and challenges that arise in verifying the source code of an existing OS.
Design and implement tools to facilitate such verification.
Consider how a verification effort can scale, across time and to larger code fragments.
Principales activités
Study of Linux kernel source code.
Design and implementation of program analyses.
Construction and validation of specifications for Linux kernel source code.
Compétences
Familiarity with programming in C and OCaml.
Familiarity with program verification tools such as Frama-C.
Familiarity with operating systems concepts and the Linux kernel code base.
Strong research skills, in terms of reading research papers, writing research papers, and making presentations.
Avantages
Rémunération
According to civil service salary scales