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
Accenture
Wipro
Amazon
Infosys
IBM
Capgemini
Axis Bank
Larsen & Toubro Limited
Bharti Airtel
Teleperformance
LTIMindtree
HCLTech
Tech Mahindra
Genpact
Cognizant
WNS
TCS
HDB Financial Services
HDFC Bank
Tata Motors
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
Oracle, Coding, Github +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
Oracle, Management, Cryptography +6 more
Business Development Representative
0-2 Yrs
Remote
Oracle, Networking, Packaging +4 more
Business Development Representative
0-2 Yrs
Remote
Oracle, Networking, Packaging +4 more
Wild Card - Open Ended Professional
0-2 Yrs
Remote
Civil Engineering, Mechanical Engineering, Project Management +13 more
Research Engineering Internship
0-1 Yrs
Remote
Manual Testing, Oracle, Research +3 more
Production Code Quality Internship
0-2 Yrs
Remote
Computer Science, Oracle, Research +4 more
Research Internship (Blockchain Storage)
0-1 Yrs
Remote
Oracle, Database Management, Programming +4 more
