Research Engineering Internship (Formal Methods for Testing)
Company:Supra
Location:Switzerland
Languages:English
Seniority level:Final year undergraduate or above
Experience:Final year undergraduate or above
Skills:
BlockchainRegression testingC (Programming language)Analytical Skills
Requirements:
Final year undergraduate or above. Background in formal methods. Experience with the Netrix Tool is desirable.
Responsibilities:
The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, ensuring the reliability of consensus protocols. Utilize the Netrix methodology to improve coverage and enable robust bug reproduction. Work on regression testing across different versions of the implementation.
