[FM-India]Internship announcement for static analysis of smart contracts

Title: Static Analysis 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 scope of this internship is to determine "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 into Supra technology stack. Time period: >= 4 months Remote Work Company: Supra Oracles, https://supra.com/ Contact: r.ramesh@supraoracles.com