Formal Methods Engineer

Company: VirtualVocations
Location: Everett
Posted on: February 1, 2025

Job Description:

A company is looking for a Formal Methods Engineer in Innovation R&D.

Key Responsibilities

Develop formal artifacts based on research, architecture, and business requirements
Model performance of formally specified systems and produce prototypes and simulations
Act as a bridge between researchers and developers, providing feedback and assisting in implementation

Required Qualifications

A higher degree in Computer Science or a related field
A minimum of 2-3 years of experience in a functional language, preferably Haskell
Experience working with Git and formal methods
Experience in networking, distributed systems, programming language design, or blockchain applications is a bonus
Demonstrated ability to work independently on complex problems

Keywords: VirtualVocations, Edmonds , Formal Methods Engineer, Engineering , Everett, Washington

Click here to apply!

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

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

Get Everett Engineering jobs via email.

View more Edmonds Engineering jobs

Other Engineering Jobs

Travel Registered Respiratory Therapist - $2,025 per week
Description: Cross Country Allied is seeking a travel Registered Respiratory Therapist for a travel job in Bellingham, Washington.Job Description Requirements ul li Specialty: Registered Respiratory Therapist (more...)
Company: Cross Country Allied
Location: Bellingham
Posted on: 02/3/2025

Travel Respiratory Therapist - $2,312 per week
Description: Next Move Healthcare is seeking a travel Respiratory Therapist for a travel job in Bellingham, Washington.Job Description
Company: Next Move Healthcare
Location: Bellingham
Posted on: 02/3/2025

Physician Assistant or Nurse Practitioner - Onsite
Description: Description:This is a full-time, on-site role.Job Summary: The Nurse Practitioner NP /Physician Assistant PA will provide a wide range of pre, peri, and post-operative care to surgical patients. The (more...)
Company: Synergy Health Partners
Location: Bellingham
Posted on: 02/3/2025

Salary in Edmonds, Washington Area | More details for Edmonds, Washington Jobs |Salary

cook, prep
Description: We are hiring for a COOK, PREP FULL AND PART TIME position at Western Washington University. Key responsibilities include preparing food and serving customers in accordance with federal, state
Company: Chartwells Higher Ed - Western Washington Universi
Location: Bellingham
Posted on: 02/3/2025

retail sales associate
Description: We Don't Follow Trends, We Create Them. br br Make some serious Cash br br Incentive Potential br br 28,100 - 127,500 br br For over 75 years, Ashley Furniture has been the largest home (more...)
Company: ashley furniture
Location: Bellingham
Posted on: 02/3/2025

Property Manager - Bellingham, WA
Description: PURE Property Management is looking for a Property Manager Come join our team PURE Property Management offers a Comprehensive Total Rewards Package of Benefits containing:Medical, Dental and Vision Coverage401 (more...)
Company: PURE Property Management
Location: Bellingham
Posted on: 02/3/2025

Property Manager - Bellingham, WA
Description: PURE Property Management is looking for a Property Manager Come join our team PURE Property Management offers a Comprehensive Total Rewards Package of Benefits containing: ul li Medical, Dental and (more...)
Company: Pure Property Management
Location: Bellingham
Posted on: 02/3/2025

Retail Sales Associate - Home Furnishings Expert
Description: Transform Store Guests into Loyal Customers br br As a Retail Sales Associate at Ashley Furniture, you'll be the expert on home furnishings, guiding store guests to discover styles that reflect their (more...)
Company: ashley furniture
Location: Bellingham
Posted on: 02/3/2025

Travel Respiratory Therapist - $2,074 per week
Description: Aureus Medical Group - Cardiopulmonary is seeking a travel Respiratory Therapist for a travel job in Bellingham, Washington.Job Description Requirements ul li Specialty: Respiratory Therapist li (more...)
Company: Aureus Medical Group - Cardiopulmonary
Location: Bellingham
Posted on: 02/3/2025

Nurse Practitioner - Bellingham WA
Description: We are looking for the right Nurse Practitioner to perform medical assessments on United States Veterans as part of the VA's disability benefits process. br In performing Disability Assessments, you (more...)
Company: MRG Exams
Location: Bellingham
Posted on: 02/3/2025

Loading more jobs...

Formal Methods Engineer

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

Other Engineering Jobs

Log In or Create An Account