Upload Button Icon Add office photos
filter salaries All Filters

20 SupraOracles Jobs

Research Engineering Internship

1-2 years

Remote

1 vacancy

Research Engineering Internship

SupraOracles

posted 3+ weeks ago

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.
Are you the right person for this role
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

SupraOracles Benefits

Free Transport
Child care
Gymnasium
Cafeteria
Work From Home
Free Food +6 more
View more benefits

Compare SupraOracles with

Accenture

3.7
Compare

Wipro

3.7
Compare

Amazon

4.0
Compare

Infosys

3.6
Compare

IBM

3.9
Compare

Capgemini

3.7
Compare

Axis Bank

3.7
Compare

Larsen & Toubro Limited

3.9
Compare

Bharti Airtel

3.9
Compare

Teleperformance

3.9
Compare

LTIMindtree

3.7
Compare

HCLTech

3.5
Compare

Tech Mahindra

3.5
Compare

Genpact

3.7
Compare

Cognizant

3.7
Compare

WNS

3.3
Compare

TCS

3.6
Compare

HDB Financial Services

3.9
Compare

HDFC Bank

3.8
Compare

Tata Motors

4.2
Compare

Similar Jobs for you

Engineering Intern at Supra

Remote

0-1 Yrs

Not Disclosed

Engineering Intern at SupraOracles

Remote

0-1 Yrs

Not Disclosed

Intern at SupraOracles

Remote

0-1 Yrs

Not Disclosed

Engineering Intern at Smartinfo Logiks

Mumbai, Navi Mumbai

1-4 Yrs

Not Disclosed

Research Intern at SupraOracles

Remote

0-1 Yrs

Not Disclosed

Research Intern at Supra

Remote

0-1 Yrs

Not Disclosed

Engineering Intern at Edgemap Softwares Pvt. Ltd

Bangalore / Bengaluru

1-3 Yrs

Not Disclosed

Engineering Intern at Farmizen

Bangalore / Bengaluru

0-2 Yrs

Not Disclosed

Intern at SSS Grameen Services

Anantapur

0-2 Yrs

Not Disclosed

Engineering Intern at Farmizen

Bangalore / Bengaluru

0-1 Yrs

Not Disclosed

Research Engineering Internship

1-2 Yrs

Remote

Manual Testing, Oracle, Research +3 more

3+ weeks ago·via naukri.com

Senior Rust Compiler Engineer

3-8 Yrs

Remote

Oracle, Coding, Github +5 more

3+ weeks ago·via naukri.com

Mid-Level Backend Engineer

1-4 Yrs

Remote

Oracle, Architecture, Backend +5 more

3+ weeks ago·via naukri.com

Developer Relations - Community

1-2 Yrs

Kolkata, Mumbai, New Delhi +4 more

Oracle, Management, Cryptography +6 more

3+ weeks ago·via naukri.com

Business Development Representative

0-2 Yrs

Remote

Oracle, Networking, Packaging +4 more

3+ weeks ago·via naukri.com

Business Development Representative

0-2 Yrs

Remote

Oracle, Networking, Packaging +4 more

3+ weeks ago·via naukri.com

Wild Card - Open Ended Professional

0-2 Yrs

Remote

Civil Engineering, Mechanical Engineering, Project Management +13 more

3+ weeks ago·via naukri.com

Research Engineering Internship

0-1 Yrs

Remote

Manual Testing, Oracle, Research +3 more

3+ weeks ago·via naukri.com

Production Code Quality Internship

0-2 Yrs

Remote

Computer Science, Oracle, Research +4 more

3+ weeks ago·via naukri.com

Research Internship (Blockchain Storage)

0-1 Yrs

Remote

Oracle, Database Management, Programming +4 more

3+ weeks ago·via naukri.com
write
Share an Interview