Research Engineering Internship (Formal Methods for Testing)

Overview

Internship focused on testing consensus protocols using formal methods.

Ideal candidate has a formal methods background and is a final year undergraduate or above.

Locations

• Switzerland

Requirements

• Final year undergraduate or above
• Formal methods background

Responsibilities

• Use Netrix tool for testing
• Engage in meaningful work
• Participate in orientation and learning

Benefits

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