Verification Engineer

Job Details

  • ID#43837131
  • Address 61801 , Urbana,

    Illinois

    Urbana USA
  • Job type

    Permanent

  • Salary USD $130,000 per year 130000 per year
  • Hiring Company

    Jobot

  • Showed05th July 2022
  • Date04th July 20222022-07-04T03:00:00-0400
  • Deadline02nd September 2022
  • Category

    Et cetera

Verification Engineer

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!
  • 100% Remote!
  • Flexible Work Schedules!
  • Accelerated Career Growth!
  • 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/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.
Interested in hearing more? Easy Apply now by clicking the "Apply Now" button.

Vacancy expired!

Similar jobs

Verification Engineer

Jobot - Verification Engineer

Verification Engineer

Jobot - Verification Engineer

Verification Engineer

Jobot - Verification Engineer

Verification Engineer

Jobot - Verification Engineer