Engineering Intern - Remote

Overview

The goal of this position is to build a static analyzer of EVM Bytecodes to determine an access specification of public entry functions.

In Short

• Internship involves finding the best research & tools for static analysis.
• Implement static analysis and integrate it into the Supra technology stack.
• High chance of induction into the team based on performance.
• Work on extending the static analyzer to Move bytecodes.
• Generate test vectors for testing distributed protocols implementation.
• Remote-first policy with a globally distributed team.
• Engage in meaningful work that contributes to the company's success.
• Flexible working hours and fully remote environment.
• Competitive compensation packages aligned with market standards.
• Comprehensive health coverage options for full-time employees.

Requirements

• Final year undergraduate or above.
• Formal methods background.
• Knowledge of Data flow analysis techniques (desirable).
• Familiarity with Solidity and EVM (desirable).

Benefits

• Flexible paid time off and sick leave.
• Recognition of national holidays with paid leave.
• Support for integration and resources for success.