Research Engineering Internship - Static Analysis

May 7

Apply Now

Receive Emails with Similar Jobs

SupraOracles

WebsiteLinkedInAll Job Openings

11 - 50

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