25 Jan
Verification Engineer
Illinois, Urbana , 61801 Urbana USA

Vacancy expired!

Remote Verification Engineer - Formal VerificationThis Jobot Job is hosted by: Andrew NguyenAre you a fit? Easy Apply now by clicking the "Apply Now" button and sending us your resume.Salary: $130,000 per year

A bit about us:We are a technology company headquartered in Urbana, Illinois with staff spreadacross the globe, including Europe and Southeast Asia. We provide testing and verification services topublic and private companies in the embedded and blockchain domains. In the latter we work withinfrastructure builders as well as companies building products and providing services supported and/orpowered by said infrastructure.

Why join us?
  • 100-130k Base!
  • Extremely Competitive Stock Package!
  • Flexible Work Schedules!
  • Accelerated Career Growth!
  • 100% Remote!
  • Challenging Problems!

Job DetailsWe are looking to hire a Verification Engineer (multiple openings). The successfulhire will have previous verification experience; academic, industrial, or both. Knowledge of formalsemantics and formal verification is a big plus. The selected hire will be embedded inside one of thecompany's blockchain ecosystem teams where he or she will work on verification engagements forcommercial clients.Is your background a fit? Apply if you meet this criteria:
  • Bachelor's degree, and preferably Masters Degree in Computer Science or Software Engineering.
  • Experience with unit testing, documentation, design reviews, and code review.
  • Strong mathematical and logical thinking skills.
  • Experience in formal methods or tools, e.g., model checking, theorem provers, deductive
verification, proof assistants, etc.
  • (Optional) Industrial experience on formally verifying real-world systems.
Interested in hearing more? Easy Apply now by clicking the "Apply Now" button.

Vacancy expired!


Report job