BoiseRecruiter Since 2001
the smart solution for Boise jobs

Formal Verification Engineer

Company: VirtualVocations
Location: Boise
Posted on: September 16, 2023

Job Description:

A company is looking for a Formal Verification Engineer.

Design formal specifications of languages, compilers, and smart contracts
Produce clean and efficient specifications based on documentation and stakeholder communication
Use proof assistants to prove properties of specifications, extract property testers, and create technical documentation


Background in computer science
Knowledge of formal language semantics and verification, particularly Hoare and Temporal logic
Strong background in functional programming and proof assistants, preferably Lean 4
Ability to learn new programming languages and understand their specifications
Understanding of theoretical computer science and experience with software design and development

Keywords: VirtualVocations, Boise , Formal Verification Engineer, Engineering , Boise, Idaho

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category

Log In or Create An Account

Get the latest Idaho jobs by following @recnetID on Twitter!

Boise RSS job feeds