Verification Engineer

Company: Jobot
Location: Urbana, Illinois, United States
Type: Full-time
Posted: 14.AUG.2021
< >

Summary

Remote Verification Engineer - Formal Verification This Jobot Job is hosted by: Andrew Nguyen Are you a fit? Easy Apply now by clicking the...

Description

Remote Verification Engineer - Formal Verification

This Jobot Job is hosted by: Andrew Nguyen
Are 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 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!
  • Extremely Competitive Stock Package!
  • Flexible Work Schedules!
  • Accelerated Career Growth!
  • 100% Remote!
  • 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 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. - provided by Dice

 
Apply Now

Share

Free eBook

Flash-bkgn
Loader2 Processing ...