Firmware Engineer Intern f/m 6 months

Crypto Directories
FR - Île-de-France - Paris
January 20, 2025

Founded in 2014, Ledger is the global platform for digital assets and Web3. Over 20% of the world's crypto assets are secured through our Ledger Nanos. Headquartered in Paris and Vierzon, with offices in the UK, US, Switzerland, and Singapore, Ledger has a team of more than 600 professionals developing a variety of products and services to enable individuals and companies to securely buy, store, swap, grow, and manage crypto assets - including the Ledger hardware wallets line with more than 5 million units already sold in 180 countries.

At Ledger, we embody the values that make us unique: Pragmatism, Audacity, Commitment, Trust, and Transparency.

Ledger is seeking an intern to join the Enclave team, which is responsible for developing a secure "Enclave"-the trusted backend of Ledger products that powers the HSMs used across all our business units. The intern will work on a project focused on executing requests within a cluster of nodes that communicate using a protocol inspired by the Raft algorithm. The primary objective will be to enhance the cluster's ability to efficiently distribute workloads across nodes while maintaining stringent security standards and ensuring coherence of the global state. Before implementation, the design must be validated through a formal proof using a model checker.

Starting Date : Q1, 2025
Duration : 6 months

Your mission

Implement a formal proof of the design using a model checker. (ex: TLA+)

Design, implement, and test a mechanism for distributing requests across a cluster of HSM nodes.

Ensure the security of sensitive materials stored on the nodes throughout the consensus process.

Analyze and optimize the performance of request distribution within the cluster.

What we're looking for

Currently pursuing studies in Computer Science, Engineering, or a related field.

Strong problem-solving and communication skills.

Proficiency in programming with C or Rust.

Knowledge of consensus algorithms like Raft is a plus.

Familiarity with Protobuf and embedded development is a plus.

Interest in distributed systems, cryptography, and secure hardware is a plus.

Technical Requirements

Strong Proficiency in C or Rust programming.

Knowledge on the Raft protocol and Protobuf.

Familiarity with embedded development.

What's in it for you?

Flexibility : Partial remote work possible.

Social : Frequent social events, snacks, and drinks.

Transport : Ledger reimburses part of your preferred means of transportation.

Lunch vouchers with Swile.

Vacation : 1 day off for every full month of work, in addition to national holidays.

€800 - €1,500 a month. Ledger guarantees fairness for all during the recruitment process, regardless of gender, ethnic origin, religion, sexual orientation, social status, disability, or age.
•

Read the full job description and apply online on the recuiter's web-site

Related Job Postings

Projeteur / chiffreur en réseau de chaleur H/F

Johnson Controls

FR - Carquefou
January 26, 2025

Ce que vous ferez : • Au sein du service projets de la Direction Opérationnelle Réfrigération Industrielle, vous jouerez un rôle clé en collaborant avec les équipes commerciales et opérationnelles sur des projets de réseaux de chaleur pour différents secteurs d'activité à très forte valeur ajoutée...

Find Jobs Hiring Now Near You!

Get Jobilize Job Search Mobile App Now