SupraOracles
Bridging real-world data to automate, simplify, and secure the future of financial markets
11 - 50
💰 Series D on 2022-12
Research Engineering Internship (Static Analysis)
May 7
SupraOracles
Bridging real-world data to automate, simplify, and secure the future of financial markets
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.
Apply Now