Research Engineering Internship (Static Analysis)

Supra is seeking a Research Engineering Intern to contribute to the development of a static analyzer for EVM Bytecodes. This role involves determining the access specification of public entry functions in smart contracts using standard program analysis techniques. The intern will research and implement static analysis methods, integrating them into the Supra technology stack. This is a remote position with a fixed-term duration of three months, with a high chance of being inducted into the Supra engineering team based on performance.