Research Engineer (Formal Methods)

Summary

SupraOracles is a well-funded startup looking for an Engineering Intern to build a static analyzer for EVM Bytecodes. The ideal candidate should be in their final year of undergraduate studies or above with a formal methods background. Desirable qualifications include knowledge of data flow analysis techniques and Solidity/EVM. The internship duration is at least three months. The company offers a competitive salary, tokens (equity), flexible PTO, sick leave, unpaid time off, paid national holidays, and medical, vision, and dental benefits.

Requirements

Final year undergraduate or above, Formal methods background

Responsibilities

Build a static analyzer of EVM Bytecodes to determine an access specification of public entry functions

Preferred Qualifications

Knowledge of Data flow analysis techniques, Solidity and EVM

Benefits

Competitive base salary, Tokens (Equity), Flexible PTO, sick leave, unpaid time off, Paid National Holidays, Medical, vision, and dental benefits