Remoote.app

Work from anywhere. Start here.

JobsFree resume builderCompaniesLog in
Apply

Formal Methods Engineer (Verification) - Innovation R&D

Posted 17 days agoViewed

View full description

💎 Seniority level: Junior, 2-3 years

📍 Location: United Kingdom

🔍 Industry: Blockchain Technology

🏢 Company: IO Global

🗣️ Languages: English

⏳ Experience: 2-3 years

🪄 Skills: GitHaskell

Requirements:
  • 2-3 years experience in a functional language (preferably Haskell)
  • Experience with formal methods
  • Experience with SAT/SMT, Model checking, and theorem proving
  • Domain knowledge in networking, distributed systems, or programming language design is a plus
Responsibilities:
  • Develop formal artifacts based on research and architectural guidance
  • Model performance of specified systems
  • Produce prototypes and simulations
  • Refine specifications and gauge design decisions
  • Communicate and provide feedback to researchers and developers
  • Participate in code reviews
  • Contribute to static analysis tooling
Apply