Research Engineering Internship (Static Analysis)

View full description

Requirements:

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

Responsibilities:

• 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 are called by 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, integrating it into the Supra technology stack.