Research Engineering Internship (Static Analysis)

Overview

Internship focused on developing a static analyzer for smart contracts.

Ideal candidate has a formal methods background and is in their final year of undergraduate studies or above.

Locations

• Switzerland

Requirements

• Final year undergraduate or above
• Formal methods background

Responsibilities

• Build a static analyzer for EVM Bytecodes
• Implement static analysis
• Integrate into Supra technology stack

Benefits

• Competitive compensation
• Flexible paid time off
• Health benefits
• National holidays