Job Board
LogoLogo

Get Jobs Tailored to Your Resume

Filtr uses AI to scan 1000+ jobs and finds postings that perfectly matches your resume

Supra Logo

Research Engineering Internship (Formal Methods for Testing)

Supra

Salary not specified
Nov 14, 2025
Remote, US
Apply Now

Supra is pioneering the future of information services in global markets and aims to be a future leader in decentralized data. The company is dedicated to solving the Oracle Dilemma through innovative solutions in consensus mechanisms, real-time data services, decentralized finance (DeFi), and Layer 1 (L1) technologies. The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure.

Requirements

  • Formal methods background
  • Netrix Tool experience

Responsibilities

  • The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure.

Other

  • Final year undergraduate or above
  • At least four months based on mutual agreement
  • Competitive Compensation
  • Work-Life Balance
  • National Holidays