What we're looking for

The goal of this position is to build a static analyzer of EVM Bytecodes to determine an access specification of public entry functions.
Typically a smart contract has public entry functions that get called by the transactions. The static analyzer should answer: “What data may be accessed by a public entry function?” using a standard program analysis technique. The internship involves finding the best research & tools available for such a project and, implementing this static analysis, and integrating it into the Supra technology stack. We can start with this tool set https://souffle-lang.github.io/

Based on the internship performance, there is a high chance of getting inducted into the highly talented team of Supra Engineers. We have many works planned related to the application of formal methods, such as - extending the above static analyzer to Move bytecodes, generating test vectors for testing distributed protocols implementation, etc We are currently seeking Engineering Interns on a fixed-term basis (3 months)

Based on performance, there is a high chance of being inducted into the highly talented team of Supra Engineers.

Are you the right person for this role?

The ideal candidate for us has:

Essential: 

• Final year undergraduate or above
• Formal methods background

Desirable: 

• Knowledge of Data flow analysis techniques
• Solidity and EVM

Internship Duration:

• At least three months based on mutual agreement