Firmware Engineer Intern (f/m) (6 months)
We are a forward-thinking and innovative company dedicated to securing digital ownership in an evolving world and promoting true freedom. As revolutionaries, we combine excellence, ambition, and conviction to push the boundaries of technology and redefine security in the digital age.
Established in 2014, Ledger is a global digital asset and Web3 platform headquartered in Paris and Vierzon, with offices in various countries. We have a team of over 500 professionals developing products and services to facilitate safe buying, storing, swapping, and managing of crypto assets, including our Ledger hardware wallets sold in over 200 countries.
Ledger is in search of an intern to join the Enclave team, responsible for developing a secure Enclave that powers the HSMs used across all business units.
The intern will be involved in a project focused on enhancing a cluster's efficiency in distributing workloads across nodes while upholding stringent security standards and ensuring global state coherence, inspired by the Raft algorithm. The design will be formalized through a proof using a model checker.
Starting Date: Q1, 2025
Duration: 6 months
Responsibilities
- Develop a formal proof of the design using a model checker such as TLA+.
- Design, implement, and test a mechanism for distributing requests across an HSM node cluster.
- Ensure the security of sensitive information stored on nodes during the consensus process.
- Evaluate and optimize request distribution performance within the cluster.
Qualifications
- Currently pursuing studies in Computer Science, Engineering, or related fields.
- Strong problem-solving and communication abilities.
- Proficient in programming with C or Rust.
- Knowledge of consensus algorithms like Raft is advantageous.
- Understanding of Protobuf and embedded development is beneficial.
- Interest in distributed systems, cryptography, and secure hardware is a plus.
Technical Requirements
- Proficiency in C or Rust programming.
- Familiarity with Raft protocol and Protobuf.
- Knowledge of embedded development.
Perks
- Flexibility: Partial remote work available.
- Social: Regular social events and provided snacks and beverages.
- Transportation: Ledger helps reimburse transportation costs.
- Lunch vouchers with Swile.
- Vacation: Additional day off for each full month worked, plus national holidays.
Salary range: €800 - €1,500 per month.
At Ledger, we ensure fair treatment for all candidates during the recruitment process, irrespective of gender, ethnicity, religion, sexual orientation, social status, disability, or age.
