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

TCS

3.6
Compare

Accenture

3.7
Compare

Wipro

3.7
Compare

Cognizant

3.7
Compare

Capgemini

3.7
Compare

HDFC Bank

3.9
Compare

Infosys

3.6
Compare

ICICI Bank

4.0
Compare

HCLTech

3.5
Compare

Tech Mahindra

3.5
Compare

Genpact

3.7
Compare

Teleperformance

3.9
Compare

Concentrix Corporation

3.7
Compare

Axis Bank

3.7
Compare

Amazon

4.0
Compare

Jio

4.1
Compare

iEnergizer

4.7
Compare

Reliance Retail

3.9
Compare

IBM

4.0
Compare

LTIMindtree

3.7
Compare

Similar Jobs for you

Engineering Intern at Supra

Remote

0-1 Yrs

₹ 2-3 LPA

Engineering Intern at SupraOracles

Remote

0-1 Yrs

₹ 2-3 LPA

Intern at SupraOracles

Remote

0-1 Yrs

₹ 2-3 LPA

Research Intern at Supra

Remote

0-1 Yrs

₹ 2-3 LPA

Engineering Intern at Farmizen

Bangalore / Bengaluru

0-2 Yrs

₹ 2-4 LPA

Engineering Intern at Farmizen

Bangalore / Bengaluru

0-1 Yrs

₹ 2-3 LPA

Quality Intern at Supra

Remote

0-2 Yrs

₹ 2-4 LPA

Intern at Evolve Snacks Pvt Ltd

New Delhi

0-1 Yrs

₹ 1-3 LPA

Intern at Moon Infosystem

Lucknow

0-1 Yrs

₹ 1-3 LPA

Documentation at NetSentries Technologies

Kochi

0-1 Yrs

₹ 1-4 LPA

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

Medical Coding, Oracle, Human Resource Management +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

Software Configuration Management, Oracle, Cryptography +6 more

3+ weeks ago·via naukri.com

Business Development Representative

0-2 Yrs

Remote

Computer Networking, Oracle, Automation Testing +4 more

3+ weeks ago·via naukri.com

Business Development Representative

0-2 Yrs

Remote

Computer Networking, Oracle, Automation Testing +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 Internship (Blockchain Storage)

0-1 Yrs

Remote

Oracle, Clinical SAS Programming, Database Management +4 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

Senior Developer Advocate

4-6 Yrs

Remote

Computer Science, Oracle, Automation Testing +7 more

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