Applications are invited for the Research Engineering Internship at Supra Oracles. This is a remote internship opportunity. Check the details below!
About Supra Oracles
Supra is pioneering the future of information services in global markets. As an exciting, ambitious, and well-funded startup with unique technical capabilities, we aim to be a future leader in decentralized data. Supra team includes professionals, academics, and advisors with experience from leading institutions such as Purdue University, the University of Cambridge, the University of Pennsylvania, Columbia University, and the University of Oxford. Their industry experience includes prestigious companies like JPMorgan Chase & Co., Qualcomm, ConsenSys, and Binance. Based in Switzerland with a remote-first policy, our globally distributed team spans 35 countries. We are dedicated to solving the Oracle Dilemma through innovative solutions in consensus mechanisms, real-time data services, decentralized finance (DeFi), and Layer 1 (L1) technologies.
Trust, kindness, honesty, and a commitment to ethical, decentralized technologies are the cornerstones of our culture.
Job Description
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. It aims to exploit programmer knowledge to improve coverage, enables robust bug reproduction, and can be used in regression testing across different implementation versions.
This has been applied to Tendermint, a popular proof-of-stake blockchain protocol, and to Raft, a popular benign consensus algorithm.
It has been able to identify implementation deviations 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.
Qualifications
- Final year undergraduate or above
- Formal methods background
Desired Skill Sets
Netrix Tool experience
How to Apply?
Interested candidates can directly apply through this link.
Internship Duration
At least four months based on mutual agreement
Location
Remote/WFH, India
