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.
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.
The ideal candidate for us has:
Essential:
Desirable:
Internship Duration:
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.
Getting Started with Supra
We believe in giving you the space to settle in. Your first month is about orientation and learning:
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.
