AmbitionBox
Jobs
- Reviews
- Salaries
- Interview Questions
- About Company
- Benefits
- Jobs
- Office Photos
- Community
Add office photos
All Filters
20 SupraOracles Jobs
Research Engineering Internship
SupraOracles
posted 3+ weeks ago
Job Role Insights
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.
- Final year undergraduate or above
- Formal methods background
- Knowledge of Data flow analysis techniques
- Solidity and EVM
- At least three months based on mutual agreement
Employment Type: Full Time, Permanent
Read full job description What people at SupraOracles are saying
SupraOracles Benefits
View more benefits
Compare SupraOracles with
TCS
Accenture
Wipro
Cognizant
Capgemini
HDFC Bank
Infosys
ICICI Bank
HCLTech
Tech Mahindra
Genpact
Teleperformance
Concentrix Corporation
Axis Bank
Amazon
Jio
iEnergizer
Reliance Retail
IBM
LTIMindtree
Similar Jobs for you
Research Engineering Internship
1-2 Yrs
Remote
Manual Testing, Oracle, Research +3 more
Senior Rust Compiler Engineer
3-8 Yrs
Remote
Medical Coding, Oracle, Human Resource Management +5 more
Mid-Level Backend Engineer
1-4 Yrs
Remote
Oracle, Architecture, Backend +5 more
Developer Relations - Community
1-2 Yrs
Kolkata, Mumbai, New Delhi +4 more
Software Configuration Management, Oracle, Cryptography +6 more
Business Development Representative
0-2 Yrs
Remote
Computer Networking, Oracle, Automation Testing +4 more
Business Development Representative
0-2 Yrs
Remote
Computer Networking, Oracle, Automation Testing +4 more
Wild Card - Open Ended Professional
0-2 Yrs
Remote
Civil Engineering, Mechanical Engineering, Project Management +13 more
Research Internship (Blockchain Storage)
0-1 Yrs
Remote
Oracle, Clinical SAS Programming, Database Management +4 more
Production Code Quality Internship
0-2 Yrs
Remote
Computer Science, Oracle, Research +4 more
Senior Developer Advocate
4-6 Yrs
Remote
Computer Science, Oracle, Automation Testing +7 more
