Browse tech roles

Basic role filtering by workplace, salary floor, and post age. For full AI matching and advanced filtering upload your resume using AI Match.

Active Keyword: Formal Methods Remove filter Clear all

2 of up to 20 (filtered)

Advanced Lead Scientist, MBSE & Formal Methods

GE Aerospace

Niskayuna, NY 5 days ago $112,000–$186,000
Actively hiring Confirmed live today Posted this week High trust Below market
Formal Methods Model-Based Systems Engineering (MBSE) Artificial Intelligence (AI) Large Language Models (LLMs) Python Git Cameo MATLAB Simulink SCADE CVC4 Kind 2 Eclipse Embedded Software Digital Thread Simulation Verification and Validation
4+ yrs exp
Save

Principal Engineer, Compilers and Formal Methods

Nvidia

Seattle, WA 28 days ago
Actively hiring Confirmed live today High trust
Compilers Formal Methods Automated Reasoning Programming Languages CUDA GPU Architecture Static Analysis Intermediate Representations SAT Solvers Program Synthesis Formal Verification Data-flow Analysis Generative AI Large Language Models Translation Validation Certified Compilation
10+ yrs exp
Save