Verification Engineer

Remote Verification Engineer - Formal Verification

  • REMOTE
  • Urbana, IL
  • $130,000
Easy Apply Now

A bit about us:

We are a technology company headquartered in Urbana, Illinois with staff spread
across the globe, including Europe and Southeast Asia. We provide testing and verification services to
public and private companies in the embedded and blockchain domains. In the latter we work with
infrastructure builders as well as companies building products and providing services supported and/or
powered by said infrastructure.

Why join us?

  • 100-130k Base!
  • 100% Remote!
  • Flexible Work Schedules!
  • Accelerated Career Growth!
  • Challenging Problems!

Job Details

We are looking to hire a Verification Engineer (multiple openings). The successful
hire will have previous verification experience; academic, industrial, or both. Knowledge of formal
semantics and formal verification is a big plus. The selected hire will be embedded inside one of the
company’s blockchain ecosystem teams where he or she will work on verification engagements for
commercial clients.

Is your background a fit? Apply if you meet this criteria:
  • Bachelor's degree, and preferably Masters/PhD Degree in Computer Science or Software Engineering.
  • Experience in formal methods or tools, e.g., proof assistants, interactive/automated theorem provers, model checking, deductive verification, etc.
  • Experience with unit testing, documentation, design reviews, and code review.
  • Strong mathematical and logical thinking skills.

Nice to haves:
  • Experience with tools: K framework, Coq, Isabelle, Agda, Idris, Lean, TLA+, HOL, F*
  • Industrial experience on formally verifying real-world systems.
Easy Apply Now
Easy Apply Now
Job Details
Managed by Jobot Pro
Location
REMOTE
Job Type
Permanent
Compensation
$130,000