SupraSU

Research Engineering Internship (Static Analysis)

Supra is the world's highest-performing, fully vertically integrated Layer 1 blockchain, aiming to redefine decentralized finance and application development.

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

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 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.

About the job

Apply before

Posted on

Job type

Intern

Experience level

Entry-level

Location requirements

Open to candidates from all countries.

Hiring timezones

Worldwide

About Supra

Learn more about Supra and their company culture.

View company profile

Supra is a leading technology in the blockchain ecosystem, working diligently to enhance the fourth industrial revolution through its high-performing Layer 1 blockchain. The company integrates multiple core technologies such as oracles, verifiable randomness, automation, and various virtual machines (VMs) into one cohesive platform. This allows developers to create dApps with seamless functionality, leveraging the power of DeFi protocols while ensuring interconnectivity across different blockchain networks.

The Supra team is focused on optimizing user and developer experiences alike, ensuring that resources are utilized efficiently and effectively across all applications built on its infrastructure. With features like Supra Containers, clients can design their personalized ecosystems tailored to specific use cases, with distinctive governance and local market adaptations. The company aims to provide solutions that can handle significant transaction volumes without compromising on security or speed, thus ensuring a robust decentralized finance environment. Through innovation, strategic partnerships, and community engagement, Supra is setting a new standard for blockchain technology that will fundamentally change how digital assets and financial systems operate globally.

Claim this profileSupra logoSU

Supra

Employees live in

View company profile

Similar remote jobs

Here are other jobs you might want to apply for.

View all remote jobs

9 remote jobs at Supra

Explore the variety of open remote roles at Supra, offering flexible work options across multiple disciplines and skill levels.

View all jobs at Supra

Remote companies like Supra

Find your next opportunity by exploring profiles of companies that are similar to Supra. Compare culture, benefits, and job openings on Himalayas.

View all companies

Find your dream job

Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!

Sign up
Himalayas profile for an example user named Frankie Sullivan
Supra hiring Research Engineering Internship (Static Analysis) • Remote (Work from Home) | Himalayas