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, 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
Other Jobs from Ledger
Software Security Engineer Intern (f/m) (6 months)
Scala Backend Engineer - Internship
PHP Developer Intern - Internal Systems (f/m)
Front End Developer Internship - Live Hub (f/m)
Site Reliability Engineer Intern (f/m)
Similar Jobs
Staff Database Engineer
Senior Database Engineer
Software Security Engineer Intern (f/m) (6 months)
Senior Software Engineer
Software Engineer
There are more than 50,000 engineering jobs:
Subscribe to membership and unlock all jobs
Engineering Jobs
60,000+ jobs from 4,500+ well-funded companies
Updated Daily
New jobs are added every day as companies post them
Refined Search
Use filters like skill, location, etc to narrow results
Become a member
🥳🥳🥳 401 happy customers and counting...
Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.
To try it out
For active job seekers
For those who are passive looking
Cancel anytime
Frequently Asked Questions
- We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
- We've got about 70,000 jobs from 5,000 vetted companies. No fake or sleazy jobs here!
- We aggregate jobs from 5,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
- We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
- Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
- Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
- Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅
What Fellow Engineers Say