Research Engineering Internship (Formal Methods for Testing)

Who We Are

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. Our team includes professionals, academics, and advisors with experience from leading institutions such as Purdue University, University of Cambridge, University of Pennsylvania, Columbia University, and University of Oxford. Additionally, our 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 over 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.

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

What's In It For You

Joining Supra means joining a fast-growing startup with a diverse and dynamic team. Every role is impactful, allowing you to engage in meaningful work that contributes to our success.

You will enjoy the flexibility of a fully remote environment with adaptable working hours, enabling you to work from anywhere globally.

• Competitive Compensation: We offer competitive compensation packages aligned with market standards.

• Work-Life Balance: Eligible team members have access to flexible paid time off, sick leave, and other time-off options, adjusted in line with local regulations.

• National Holidays: We recognize national holidays specific to each team member’s country and provide paid leave in accordance with local guidelines.

• Health Benefits: Comprehensive health coverage options, including medical, dental, and vision benefits, are available to full-time employees where applicable.

Getting Started with Supra

We believe in giving you the space to settle in. Your first month is about orientation and learning:

• Engage with your team to understand our business, vision, mission, and strategic goals.

• Enhance your skills to navigate the evolving DeFi landscape.

• Absorb our core values and establish connections with your colleagues through one-on-one meetings.

• Familiarize yourself with the tools and processes vital to our operations.

• Analyze our product offerings and contribute to discussions that shape our future.

We're here to support your integration and ensure you have the resources you need!

Looking Ahead

Regular check-ins with your manager will help align your priorities with our team and company goals, setting you up for success. At Supra, you're not just joining a company but embarking on a journey to enhance blockchain technology with a team of exceptional individuals.