Add office photos
All Filters
24 SupraOracles Jobs
Research Engineering Internship
SupraOracles
posted 5mon ago
Job Role Insights
Flexible timing
Key skills for the job
Job Description
- 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 functionusing 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.
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
Employment Type: Full Time, Permanent
Read full job description What people at SupraOracles are saying
What SupraOracles employees are saying about work life
based on 3 employees
Flexible timing
Monday to Friday
No travel
SupraOracles Benefits
View more benefits
Compare SupraOracles with
Infosys
Compare
TCS
Compare
Wipro
Compare
HCLTech
Compare
Tech Mahindra
Compare
LTIMindtree
Compare
Mphasis
Compare
Persistent Systems
Compare
Hexaware Technologies
Compare
Accenture
Compare
Cognizant
Compare
Capgemini
Compare
Genpact
Compare
IBM
Compare
Deloitte
Compare
ICICI Bank
Compare
HDFC Bank
Compare
Amazon
Compare
Concentrix Corporation
Compare
Ernst & Young
Compare
Share an Interview