Formal Verification Engineer

Company: VirtualVocations
Location: Riverside
Posted on: September 14, 2023

Job Description:

A company is looking for a Formal Verification Engineer.
Responsibilities:

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

Qualifications:

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, Riverside , Formal Verification Engineer, Engineering , Riverside, California

Click here to apply!

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

Let Riverside recruiters find you. Post your resume for free!

Get Riverside Engineering jobs via email.

View more Riverside Engineering jobs

Other Engineering Jobs

Associate Liaison Engineer
Description: Job DescriptionAt Boeing, we innovate and collaborate to make the world a better place. From the seabed to outer space, you can contribute to work that matters with a company where diversity, equity and (more...)
Company: BOEING
Location: El Segundo
Posted on: 09/23/2023

Eng Sr - Sys
Description: Job Description br br The BAE Systems Los Angeles Business Center LABC wants your Systems Engineering talent to perform system design activities such as developing and managing system, hardware (more...)
Company: BAE Systems
Location: Los Angeles
Posted on: 09/23/2023

Senior Cybersecurity Engineer, Product Security DC&N
Description: Job DescriptionAt Boeing, we innovate and collaborate to make the world a better place. From the seabed to outer space, you can contribute to work that matters with a company where diversity, equity and (more...)
Company: BOEING
Location: El Segundo
Posted on: 09/23/2023

Salary in Riverside, California Area | More details for Riverside, California Jobs |Salary

Sr QA Engineer
Description: Meet the team:A great opportunity with a face paced and steadily growing organization that is new enough to be exciting and full of opportunity and mature enough to have resources and infrastructure. (more...)
Company: Dexcom Inc.
Location: San Diego
Posted on: 09/23/2023

Liaison Engineer (Experienced, Lead, or Senior)
Description: Job DescriptionAt Boeing, we innovate and collaborate to make the world a better place. From the seabed to outer space, you can contribute to work that matters with a company where diversity, equity and (more...)
Company: BOEING
Location: Los Angeles
Posted on: 09/23/2023

Mid - Career Stress Analysis Engineer
Description: Job DescriptionAt Boeing, we innovate and collaborate to make the world a better place. From the seabed to outer space, you can contribute to work that matters with a company where diversity, equity and (more...)
Company: BOEING
Location: Long Beach
Posted on: 09/23/2023

Senior Welding Process Engineer (2nd Shift)
Description: We are seeking a Senior Welding Process
Company: AEROJET
Location: Canoga Park
Posted on: 09/23/2023

Space Payload Signal Processing Engineer
Description: Description Looking for an opportunity to make an impact The Space Systems Research Branch, within the Leidos Innovations Center, currently has an opening for a Signal Processing Engineer to work in our (more...)
Company: Leidos
Location: San Diego
Posted on: 09/23/2023

12Y Geospatial Engineer
Description: br br Job Description br br You can play an important part in disaster relief missions as a Geospatial Engineer for the Army National Guard. In this role, you will extract and supply geographic (more...)
Company: Army National Guard
Location: San Diego
Posted on: 09/23/2023

Associate Engineer Mfg - Security Clearance Required
Description: At Northrop Grumman, our employees have incredible opportunities to work on revolutionary systems that impact people's lives around the world today, and for generations to come. Our pioneering and inventive (more...)
Company: Northrop Grumman
Location: Los Angeles
Posted on: 09/23/2023

Loading more jobs...

Formal Verification Engineer

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

Other Engineering Jobs

Log In or Create An Account