We’re the forever innovators. On a mission that goes beyond business. Securing digital ownership in a changing world. Unlocking true freedom. We’re revolutionaries.

Looking beyond today. Bridging excellence and pragmatism, with ambition and conviction, to push the limits of what’s possible. That’s what you’ll do here, in this playground of innovation. With leadership and trust, you’ll write the rules of new technology, and create products that redefine security in a digital age.

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 UK, US, Switzerland and Singapore, Ledger has a team of more than 500 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 6 millions units already sold in 200 countries. 

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.
• 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
• Strong Proficiency in C or Rust programming
• Knowledge on the Raft protocol, Protobuf
• Familiarity with embedded development
• 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

Ledger guarantees fairness for all during the recruitment process, regardless of gender, ethnic origin, religion, sexual orientation, social status, disability or age.