SupraOracles
SupraOracles is a cutting-edge blockchain technology company focusing on vertical integration and dynamic solutions for decentralized finance (DeFi) and Web3 ecosystems. It offers a powerful Layer 1 blockchain infrastructure with high throughput and native oracle services to provide verified randomness, cross-chain communication, and composable ecosystems for decentralized applications (dApps). SupraOracles enhances the utility of digital assets, supports efficient liquidity bootstrapping, and facilitates real-time secure data feeds for decentralized finance protocols. With an extensive suite of products including Supra L1, Supra Containers, and the StarKey Wallet, SupraOracles aims to empower developers and users to build and engage with sophisticated blockchain-enabled services.
Research Engineering Intern, Formal Methods
April 19, 2024
SupraOracles
SupraOracles is a cutting-edge blockchain technology company focusing on vertical integration and dynamic solutions for decentralized finance (DeFi) and Web3 ecosystems. It offers a powerful Layer 1 blockchain infrastructure with high throughput and native oracle services to provide verified randomness, cross-chain communication, and composable ecosystems for decentralized applications (dApps). SupraOracles enhances the utility of digital assets, supports efficient liquidity bootstrapping, and facilitates real-time secure data feeds for decentralized finance protocols. With an extensive suite of products including Supra L1, Supra Containers, and the StarKey Wallet, SupraOracles aims to empower developers and users to build and engage with sophisticated blockchain-enabled services.
📋 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 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.
🎯 Requirements
• Final year undergraduate or above • Formal methods background • Netrix Tool experience • At least four months based on mutual agreement
🏖️ Benefits
• You will have the opportunity to work for a fast-growing start-up within a diverse team where you can make a large impact by doing meaningful work. • You will work in a fully remote environment with flexible hours to work from anywhere in the world. • We offer a competitive base salary for full-time salary based positions (option to be paid in crypto) + Tokens (Equity) • Flexible PTO, sick leave, and unpaid time off. • Paid National Holidays (specific to your country). • We offer medical, vision, and dental for our employees.
Apply NowDiscover 100,000+ Remote Jobs!
Wall of Love
Frequently asked questions
We use powerful scraping tech to scan the internet for thousands of remote jobs daily. It operates 24/7 and costs us to operate, so we charge for access to keep the site running.
Of course! You can cancel your subscription at any time with no hidden fees or penalties. Once canceled, you’ll still have access until the end of your current billing period.
Other job boards only have jobs from companies that pay to post. This means that you miss out on jobs from companies that don't want to pay. On the other hand, Remote Rocketship scrapes the internet for jobs and doesn't accept payments from companies. This means we have thousands more jobs!
New jobs are constantly being posted. We check each company website every day to ensure we have the most up-to-date job listings.
Yes! We’re always looking to expand our listings and appreciate any suggestions from our community. Just send an email to Lior@remoterocketship.com. I read every request.
Remote Rocketship is a solo project by me, Lior Neu-ner. I built this website for my wife when she was looking for a job! She was having a hard time finding remote jobs, so I decided to build her a tool that would search the internet for her.