Apply on Employer Site

Supra · 5 months ago

Research Engineering Internship (Formal Methods for Testing)

United States

Internship

Remote

Intern

Supraoracles is a pioneering startup in decentralized data and information services, dedicated to solving the Oracle Dilemma through innovative solutions. They are seeking a Research Engineering Intern with a formal methods background to use the Netrix tool for testing consensus protocol implementations, contributing to their blockchain infrastructure.

BlockchainCryptocurrencyCyber SecurityData CenterSmart ContractsWeb3

Responsibilities

Use the Netrix tool to test the chained Moonshot consensus protocol implementation

Identify deviations of the implementation from the protocol specification and verify corrections on an updated implementation

Qualification

Formal methodsNetrix ToolDistributed systemsConsensus protocolsBlockchain technology

Required

Final year undergraduate or above

Formal methods background

Preferred

Netrix Tool experience

Benefits

Competitive Compensation: We offer competitive compensation packages aligned with market standards.

Work-Life Balance: Eligible team members have access to flexible paid time off, sick leave, and other time-off options, adjusted in line with local regulations.

National Holidays: We recognize national holidays specific to each team member’s country and provide paid leave in accordance with local guidelines.

Health Benefits: Comprehensive health coverage options, including medical, dental, and vision benefits, are available to full-time employees where applicable.