Research Engineering Internship (Formal Methods for Testing)

Job Description

This is a Research Engineering Internship at Supra, a pioneering startup in decentralized data based in Switzerland with a remote-first policy. The internship focuses on using the Netrix tool to test the chained Moonshot consensus protocol implementation, which underlies Supra Oracle's blockchain infrastructure. This role offers a high chance of joining Supra's engineering team based on performance.

What this role involves:

• Using the Netrix tool to test the chained Moonshot consensus protocol implementation.
• Identifying deviations of the implementation from the protocol specification.
• Verifying corrections on an updated implementation.

Requirements:

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

What Supra offers:

• Competitive compensation packages aligned with market standards.
• Flexible paid time off, sick leave, and other time-off options.
• Comprehensive health coverage options, including medical, dental, and vision benefits.