Research Engineering Internship - Static Analysis

May 7, 2024

Apply Now
Logo of SupraOracles

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.

11 - 50 employees

πŸ’Έ Finance

🌐 Web 3

πŸ’° Series D on 2022-12

πŸ“‹ Description

β€’ Build a static analyzer of EVM Bytecodes β€’ Determine access specification of public entry functions β€’ Find the best research & tools for the project β€’ Implement static analysis β€’ Integrate analysis into Supra technology stack

🎯 Requirements

β€’ Final year undergraduate or above β€’ Formal methods background β€’ Knowledge of Data flow analysis techniques β€’ Solidity and EVM β€’ At least three months based on mutual agreement

πŸ–οΈ Benefits

β€’ 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.

Apply Now

Discover 100,000+ Remote Jobs!

Join now to unlock all jobs

Discover hidden jobs

We scan the internet everyday and find jobs not posted on LinkedIn or other job boards.

Head start against the competition

We find jobs within 24 hours of being posted, so you can apply before everyone else.

Be the first to know

Daily emails with new job openings straight to your inbox.

Choose your membership

Cancel anytime

Loved by 10,000+ remote workers

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.

Why I created Remote Rocketship

Choose your membership

Cancel anytime

Loved by 10,000+ remote workers
Built by Lior Neu-ner. I'd love to hear your feedback β€” Get in touch via DM or lior@remoterocketship.com