Log In
Sign Up
Research and Analysis
Research Engineering Internship (Static Analysis) at SupraOracles Internship
Who We Are
SupraOracles is here to define the future of information services in global markets! We are an exciting, ambitious, and well-funded startup with some unique technical capabilities that we believe will help cement us as a future leader in decentralized data.
We’re a diverse team of professionals, academics, and advisors with experience from leading institutions such as the Euronext Stock Exchange, JPMorgan Chase, Qualcomm, ConsenSys, and Sony. Our global foundation is located in Switzerland, however we are a remote first company and you’ll be joining a globally distributed team distributed across over 29 countries!
Our project is spearheaded by seasoned professionals with experience in the architecture of consensus mechanisms, randomness research, real-time data services, investment banking, digital securities, traditional stock exchanges, big data, doctoral academia, big 4 consulting, blockchain/DLT, and DeFi. Join us to help progress our solution to the Oracle Dilemma.
We thrive on trust and honesty. We believe in the positive and ethical impacts these cutting-edge technologies in a decentralized environment can have on the world.
Your alignment and cultural fitment to these core values and beliefs are of considerable value to us.
What we’re looking for
The goal of this position is to build a static analyzer of EVM Bytecodes to determine an access specification of public entry functions.
Typically a smart contract has public entry functions that get called by the transactions. The static analyzer should answer: “What data may be accessed by a public entry function?” using a standard program analysis technique. The internship involves finding the best research & tools available for such a project and, implementing this static analysis, and integrating it into the Supra technology stack. We can start with this tool set https://souffle-lang.github.io/
Based on the internship performance, there is a high chance of getting inducted into the highly talented team of Supra Engineers. We have many works planned related to the application of formal methods, such as – extending the above static analyzer to Move bytecodes, generating test vectors for testing distributed protocols implementation, etc We are currently seeking Engineering Interns on a fixed-term basis (3 months)
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:
- Knowledge of Data flow analysis techniques
- Solidity and EVM
Internship Duration:
- At least three 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 salaries for full-time, salaried positions.
- Work-Life Balance: Flexible PTO, sick leave, and unpaid time off.
- National Holidays: Paid national holidays specific to your country.
- Health Benefits: Medical, dental, and vision benefits for full-time employees.
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.
