Remoote.app

Work from anywhere. Start here.

JobsFree resume builderCompaniesLog in
Apply

Research Engineering Internship (Formal Methods for Testing)

Posted 2024-08-24

View full description

💎 Seniority level: Final year undergraduate or above

📍 Location: Switzerland

🔍 Industry: Decentralized data services

🏢 Company: Supra💰 $ on 2023-12-11Financial ServicesPayments

🗣️ Languages: English

⏳ Experience: Final year undergraduate or above

🪄 Skills: BlockchainRegression testingAnalytical SkillsC (Programming language)

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.
Apply