Emplois
>
Paris

    Research Engineer in Formal Verification - Paris, France - Cryspen

    Cryspen
    Cryspen Paris, France

    il y a 2 semaines

    Default job background
    Contract
    Description

    Cryspen is looking for a research engineer to help build verification tools and formal proofs for high-assurance cryptographic software.

    We are looking for an addition to our engineering team with knowledge of formal verification to support the development of high-assurance cryptographic software at Cryspen. The role will encompass maintaining and improving the hax Rust verification toolchain, as well as applying it to verify various cryptographic algorithms and protocols being developed within Cryspen.

    Typical candidates include those who have experience in formal proof systems like F*, Coq, or Isabelle, have 2–3 years of experience developing software in the industry or open source projects, and feel passionate about replacing insecure code with formally verified software.

    Tasks

    • Improve and maintain the hax verification toolchain for Rust software
    • Participate in collaborative research and development projects
    • Verify implementations of modern cryptographic protocols (like TLS 1.3 and MLS) in Rust
    • Verify high-performance implementations of new cryptographic primitives (e.g. post-quantum constructions) in Rust

    Requirements

    • Proficient in a verification framework like Coq/Isabelle/F*
    • Proficiency in OCaml (Rust and C would be a plus)
    • 2-3 years of software development experience
    • At ease with a Unix-like development environment

    Benefits

    • Room to grow personally and professionally
    • Work on cutting-edge cryptography
    • Shape your own role
    • Flexible working hours
    • Family-friendly work environment
    • 4 day work week

    Application Process

    We will try to get back to you as soon as possible after sending in your application. After the first screening call, there will be three interviews (video calls) covering technical aspects as well as making sure we are aligned on the core values.

    Cryspen is a small mission-driven company building customisable high assurance cryptographic software. We believe that privacy and end-to-end security are fundamental and a crucial piece for a modern and open society.

    Our mission is to provide services and software for high assurance cryptography in order to establish trust into critical systems.

  • Inria

    Formal Verification and Embedded Rust for Low-power

    il y a 4 jours

    Inria Paris, France

    Le descriptif de l'offre ci-dessous est en Anglais_ · **Type de contrat **:CDD · **Niveau de diplôme exigé **:Thèse ou équivalent · **Autre diplôme apprécié **:MSc · **Fonction **:Post-Doctorant · **A propos du centre ou de la direction fonctionnelle**: · The Inria Saclay-Île-de- ...

  • Cryspen

    Research Engineer in Formal Verification

    il y a 2 semaines

    Cryspen Paris, France Contract

    Cryspen is looking for a research engineer to help build verification tools and formal proofs for high-assurance cryptographic software. · We are looking for an addition to our engineering team with knowledge of formal verification to support the development of high-assurance cry ...

  • INRIA

    Formal Verification and Embedded Rust for Low-Power Open Source Distributed System Software

    il y a 2 semaines

    INRIA Paris, France

    Contexte et atouts du poste · In the context of the RIOT-rs project, this position will focus on designing and leading the development of formally verified open source buidling blocks for a cybersercure embedded software platform : a Rust-based, general-purpose OS running on the ...

  • Nomadic Labs

    Fuzzicat: Fuzzing for Contracts Administering Tokens

    il y a 2 semaines

    Nomadic Labs Paris, France

    Blockchains, such as Tezos, implement tokens: cryptographically secured assets · - representing the ownership of a value. Chains typically have one native token (in · - the case of Tezos; the tez), but also allow developers to create additional tokens for · - other types of value ...

  • Cités Caritas

    Sécrétaire Chargé RH

    il y a 2 semaines

    Cités Caritas Paris, France

    Sous la responsabilité de la directrice de branche et du responsable administratif, et en lien avec les chefs de service, l'Assistant.e de direction RH/Paie assure la gestion administrative du personnel, le traitement de la paie et le suivi du plan de développement des compétence ...

  • Louis Vuitton

    Responsable Store Planning

    il y a 1 semaine

    Louis Vuitton Paris, France

    POSTE · **La Maison** · A chacun son voyage. Aujourd'hui, Louis Vuitton vous invite à découvrir le vôtre. · PROFIL · **Le contexte** · Au sein du département Store Planning de la zone EMEA, attaché(e) au Directeur Store Planning EMEA, vous jouerez un rôle clé pour orchestrer et c ...

  • NovaSparks

    Verification Engineer

    il y a 3 semaines

    NovaSparks Paris, France

    Novasparks est le leader mondial du traitement de données boursières à base de FPGA. Nous · fournissons, dans le monde entier, nos produits à des grandes banques et à des sociétés spécialisées · dans le trading. Les solutions Novasparks sont utilisées dans des domaines de pointe ...

  • Universcience

    Gestionnaire Financier

    il y a 1 semaine

    Universcience Paris, France

    **Nous recherchons dans le cadre d'un CDD, un ou une gestionnaire administrative.** · **Voici les missions que vous pourrez vous voir confier**: · - Au titre du suivi du fichier tiers (fournisseur) :_ · Après vérification de la conformité de l'entité juridique du fournisseur et l ...

  • enssib

    Gestionnaire de Veille éditoriale, Dépôt Légal

    il y a 1 semaine

    enssib Paris, France

    PRÉSENTATION - MISSIONS · - Dans le département du Dépôt légal, au sein du service de Gestion des périodiques chargé du traitement en 2021 de titres vivants (soit · - fascicules unitaires) assurer la complétude des collections patrimoniales par la prospection de titres non dépos ...

  • Subsea 7

    Payroll Administrator Confirmed F/m/nb

    il y a 3 semaines

    Subsea 7 Paris, France

    **Organisation** · **Position** · PAYROLL ADMINISTRATOR CONFIRMED F/M/NB · **Vacancy ref** · 81482 · **Based in** · Paris (Suresnes) · **Business area** · Subsea & Conventional · **Working hours** · 37.5 hours per week · **Contract type** · Intern Temp · **Closing date** · 15/03/ ...

  • CNAV

    Manager PMO

    il y a 2 semaines

    CNAV Paris, France

    **Contexte**: · La Direction du Pilotage Projet, de la Qualification et de la Recette (D2PQR) est l'une des Directions composant la DSI de la Cnav. La D2PQR porte les activités de Pilotage Projet et Programme, de Qualification Fonctionnelle et de Vérification d'Aptitude au Bon Fo ...

  • Harry Hope

    Responsable Etudes Et Développement

    il y a 2 semaines

    Harry Hope Paris e, France

    **Pour résumer** · Type de contrat : CDD · Type : Temps plein · Durée : 36 mois · Salaire : de 50000EUR à 70000EUR par ANNEE + N/C · Région : Ile-de-France · Département : Paris · Ville : Paris - 4ème arrondissement · **A propos de la société** · Notre client, société de service ...

  • CNAV

    Manager PMO

    il y a 2 semaines

    CNAV Paris, France

    La Direction du Pilotage Projet, de la Qualification et de la Recette (D2PQR) est l'une des Directions composant la DSI de la Cnav. La D2PQR porte les activités de Pilotage Projet et Programme, de Qualification Fonctionnelle et de Vérification d'Aptitude au Bon Fonctionnement. · ...

  • Livétio

    Auditeur (H/F)

    il y a 3 semaines

    Livétio Paris, France

    Dans le cadre de son développement, je recherche pour mon client un/une Auditeur H/F en CDI. Poste à pourvoir à Paris. · DESCRIPTION DU POSTE ET PRINCIPALES MISSIONS · Auditeur H/F : missions d'expertise-comptable: · - révise les dossiers préparés par les collaborateurs du pôle c ...

  • Livétio

    Auditeur (H/F)

    il y a 1 semaine

    Livétio Paris, France

    Dans le cadre de son développement, je recherche pour mon client un/une Auditeur H/F en CDI. Poste à pourvoir à Paris. · DESCRIPTION DU POSTE ET PRINCIPALES MISSIONS · Auditeur H/F : missions d'expertise-comptable: · - révise les dossiers préparés par les collaborateurs du pôle c ...

  • Vendredi Treize

    Formaliste (H/F)

    il y a 3 semaines

    Vendredi Treize Paris, France

    **Entreprise** · **Ne laissez pas votre recrutement au hasard.** · Vendredi Treize est cabinet de recrutement français. · Nous sommes experts en notariat et nous intervenons sur l'ensemble des métiers d'une étude (rédacteur d'actes, notaire assistant, notaire associé et salarié, ...

  • SIACI SAINT HONORE

    Contrôleur Financier

    il y a 3 semaines

    SIACI SAINT HONORE Paris, France

    **Intitulé du poste**: · Contrôleur financier H/F · **Contrat**: · CDI · **Missions**: · Au sein de la Direction Stratégie et Organisation de MSH International, nous recherchons un Contrôleur Financier H/F dans le cadre d'une création de poste, afin de garantir la bonne réalisati ...

  • Association Urgence Jeunes

    Cadre Administratif Et de Gestion

    il y a 2 semaines

    Association Urgence Jeunes Paris, France

    A pourvoir immédiatement. · Sous l'autorité du Directeur · **Missions Principales**: · **Les Systèmes d'Information de Gestion et de Communication**: · Gestion des outils de messagerie interne / externe · Création des accès au réseau des nouveaux salariés · Lien avec le prestatai ...

  • Sogeti

    Analyste Test

    il y a 3 semaines

    Sogeti Paris, France

    Sogeti fait partie du groupe Capgemini, avec une présence dans plus de 100 sites à travers le monde. Travaillant en étroite collaboration avec clients et partenaires pour tirer pleinement parti des technologies, Sogeti allie agilité et rapidité de mise en œuvre pour concevoir des ...

  • Voltalia

    Assistant(E) Juridique Paralégal

    il y a 3 semaines

    Voltalia Paris, France

    **Informations générales**: · OPPORTUNITE · **REFERENCE**: · **ASSISTANT(E) JURIDIQUE PARALÉGAL H/F** · - Chez Voltalia, nous sommes passionnés par les énergies renouvelables Nous sommes producteur d'électricité à travers l'éolien, le solaire, l'hydroélectricité, la biomasse et ...