Verification Engineer at Runtime Verification

1376 days ago
✅ 4 applications

About the Job

Runtime Verification Inc. is a US startup 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.

Job Description

Runtime Verification Inc is 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.

What we offer

One of the best teams around.
Very competitive salary.
Remote friendly.
Matching IRA contributions.
Casual dress code.
Health insurance.
Top notch equipment.
Performance bonuses.
Company lunches.
Unlimited vacation.

What we are looking for

Bachelor's degree, and preferably Masters Degree in Computer Science or Software Engineering.
Proficient English communication, both written and spoken.
Team oriented mindset, able to fully complete tasks & objectives independently.
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.

What’s in it for you?

Opportunity to work at the forefront of programming language design and verification.
Casual work environment with flexible work hours.
Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance.


Skills

Deductive Verification, Formal Methods, Formal Verification, Model Checking, Proof Assistants, Theorem Provers

Compensation

Negociable + Equity


Applications for this job are currently closed.

Apply on CryptoJobs
Related jobs you might like
55 days ago
✅ 8 applications
166 days ago
🔥 55 applications
174 days ago
✅ 22 applications
266 days ago
✅ 18 applications

👇 Share this opportunity

CryptoJobs is the leading platform Web3 Jobs & Talents Trusted by 3,000+ Web3 startups & enterprises around the world
...and many more!

🗞 Subscribe

Join 50,000+ crypto enthusiasts for weekly updates: