What we're looking for
Achieving consistency in modern large-scale and fault-tolerant distributed systems often relies on intricate consensus protocols. Ensuring the reliability of implementations of such protocols remains a significant challenge because of the enormous number of exceptional conditions that may arise in production.
Netrix is a tool and a methodology for testing such implementations that aims to exploit programmer's knowledge to improve coverage, enables robust bug reproduction, and can be used in regression testing across different versions of an implementation.
This has been applied to Tendermint, a popular proof of stake blockchain protocol, Tendermint and to a popular benign consensus algorithm, Raft.
It has been able to identify deviations of the implementation from the protocol specification and verify corrections on an updated implementation. The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure.
Based on performance, there is a high chance of being inducted into the highly talented team of Supra Engineers.
Are you the right person for this role?
The ideal candidate for us has:
Essential:
- Final year undergraduate or above
- Formal methods background
Desirable:
- Netrix Tool experience
Internship Duration:
- At least four months based on mutual agreement
![SupraOracles](https://s4-recruiting.cdn.greenhouse.io/external_greenhouse_job_boards/logos/400/723/800/resized/SupraOracles_Red_Light_Horz.png?1640573547)
SupraOracles
SupraOracles is a decentralized data startup using cutting-edge technologies to redefine the future of information services in global markets.
Other jobs at SupraOracles
Why OmniJobs?
- Rare & hidden jobs
- New jobs every day
- No expired job posts
- All jobs in English
Receive emails about similar jobs
Get alerts to your inbox about new open jobs that are similar to this one.
No spam. No ads. Unsubscribe anytime.
Similar jobs