Research Engineering Internship (Formal Methods for Testing)

Supra is a pioneering startup that aims to be a future leader in decentralized data. We are looking for a Research Engineering Intern to work on testing implementations of consensus protocols using the Netrix tool.

Requirements

• Final year undergraduate or above
• Formal methods background
• Netrix Tool experience (desirable)

Benefits

• Flexible paid time off
• Sick leave
• Other time-off options
• National holidays
• Comprehensive health coverage