- 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
- Flexible organization of working hours (after 12 months of employment)
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
-
Auditeur de Code Source
il y a 5 jours
ANETSYS Noisy-le-Grand, FranceAu sein d'une entreprise spécialisée dans l'informatique, ANETSYS est reconnu par son savoir-faire en France, pour renforcer nos équipes, nous recherchons un (e) analyste Auditeur de Code source (H/F). · **Profil recherché**: · En tant qu'auditeur de Code source, vous allez parti ...
-
INRIA Paris, France CDDPhD Position F/M Campagne 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é : Bac + 5 ou équivalent · Fonction : Doctorant · Mission confiée · Understand the opportuni ...
-
Apprentissage - Data Scientist (H/F)
il y a 2 semaines
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 ...
-
Développement Elastic Search Elk
il y a 2 semaines
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 3 semaines
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 ...
-
Développement PHP Symfony
il y a 3 semaines
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 2 semaines
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 ...
-
Iot Security Analyst/pentester
il y a 3 semaines
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 ...
-
Android Developer
il y a 2 semaines
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 ...
-
Ingdevsecops Sonarqube
il y a 3 semaines
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 2 semaines
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 2 semaines
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 ...
-
Full Stack Developer
il y a 3 semaines
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 3 semaines
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 4 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 ? · **Ton futur job au sein du magasin AMPM, rue Etienne Marcel**: · - ...
-
Conseiller de Vente
il y a 3 semaines
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: ...
-
Conseiller de Vente
il y a 2 semaines
La Redoute Intérieurs Paris e, 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: · - Être acteur du développement commercial de not ...
-
Senior Backend Engineer
il y a 3 semaines
Lity Paris, FranceCette jeune start-up est en passe de créer une plateforme permettant aux équipes de PME d'automatiser et d'exécuter des tâches complexes et répétitives. Leurs modèles multi-modaux permets aux agents IA de s'adapter à tout type d'interface. · Le lancement de ce produit implique la ...
-
Jlc - Conseiller de Ventes Cdi Le Bon Marché (H/F)
il y a 3 semaines
Jaeger LeCoultre Paris, FranceCode de référence: 92815**JLC - Conseiller de ventes CDI Le Bon Marché (H/F)**: · - Paris, J, FR- PermanentDepuis sa création, Jaeger-LeCoultre a fait de la précision un art à part entière, en trouvant le parfait équilibre entre savoir-faire pointu et sens artistique, sophisticat ...
-
Conseiller de Vente
il y a 2 semaines
AMPM Paris er, 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**: · - ...
Post-Doctoral Research Visit F/M Campagne Post-Doctorant: Verification of Linux kernel source code - Paris, France - INRIA
Description
Post-Doctoral Research Visit F/M Campagne Post-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é : Thèse ou équivalent
Fonction : Post-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.
This position complements an offered PhD position on the same topic. The goal of this position is to explore technologies such as symbolic execution, to consider how they can be applied to facilitate the code verification process.
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.
Study of whether complementary tools can help construct and maintain specifications.
Compétences
Familiarity with programming in C. Familiarity with OCamlor another functional language could be helpful.
Familiarity with program verification tools such as Frama-C.
Familiarity with program analysis approaches, such as symbolic execution.
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
