Research Engineering Intern

Summary

Join Supra, a fast-growing startup pioneering decentralized data solutions, as an Engineering Intern. This 3-month internship focuses on building a static analyzer for EVM bytecodes to determine access specifications of public entry functions. You will utilize program analysis techniques, research available tools, implement the static analysis, and integrate it into Supra's technology stack. Based on performance, there's a high chance of a full-time offer. The role offers a fully remote work environment with flexible hours and competitive compensation, including health benefits, paid time off, and recognition of national holidays.

Requirements

• Final year undergraduate or above
• Formal methods background

Responsibilities

• Build a static analyzer of EVM Bytecodes to determine an access specification of public entry functions
• Answer the question: “What data may be accessed by a public entry function?” using a standard program analysis technique
• Find the best research & tools available for the project
• Implement this static analysis
• Integrate the static analysis into the Supra technology stack
• 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

Preferred Qualifications

• Knowledge of Data flow analysis techniques
• Solidity and EVM

Benefits

• Fully remote environment with adaptable working hours
• Competitive Compensation
• Flexible paid time off
• Sick leave
• Other time-off options, adjusted in line with local regulations
• Paid leave in accordance with local guidelines for national holidays
• Comprehensive health coverage options, including medical, dental, and vision benefits