Average salary: $184,723 /yearly
More statsGet new jobs by email
$115k - $230k
...representations, optimizing the generated models for automated analysis. Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools. Closely collaborate with other software engineers in developing tools...SuggestedFull timeInternshipLocal areaRemote workFlexible hoursCertik
Remote1 day ago$225k - $275k
About the Role As a Formal Methods Engineer at Atalanta you will help architect and build the mathematical reasoning engine that powers Argo. Your work will focus on designing and applying formalized proofs that translate ambiguous mission requirements into rigorous, machine...Suggested- About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate...Suggested
$300k - $370k
...improvement on the near horizon, the stakes of this status quo are about to grow astronomically, and we need to find solutions now. Formal methods may offer one of the most promising ways to change this balance. AI’s speed can be directed toward producing verified defensive...SuggestedFull timeFor contractors$86.8k - $165.2k
...the future of aerospace and defense.RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in security and resilience of large-scale dynamic systems. In this...SuggestedTemporary workWork experience placementWork at officeRemote workFlexible hours- Research Engineer - Formal Methods & Reasoning An AI research lab focused on alignment, interpretability, and reinforcement learning is hiring engineers to explore how ideas from formal methods, programming languages, and verification can help us better understand and...Suggested
- Janestreet in New York is seeking software engineers and researchers to build a new Formal Methods team. This role involves applying formal methods to enhance programming approaches and validate agent-generated code. ideal candidates will have substantial expertise in...Suggested
- Acceler8 Talent seeks a Research Engineer to bring formal methods and rigorous reasoning to frontier AI alignment research. You will apply ideas from formal verification, program analysis, and compilers to understand and constrain model behavior, building practical research...Suggested
- ...skilled and motivated person to join our verification team. In this role, you will drive formal verification efforts across complex hardware designs, applying rigorous mathematical methods to prove design correctness and find corner-case bugs that escape simulation. You...SuggestedShift work
- ...person with the rest of the Nexus team. Software Engineer - Formal Verification As a Software Engineer focused on Formal... ...Lean, Isabelle, F*, K, or equivalent. Familiarity with formal methods applied to blockchains, distributed systems, or cryptographic protocols...SuggestedFull time
Nexus
San Francisco, CA1 day ago - ...AI and beyond. Together, we advance your career. THE ROLE:The Formal Verification team is dedicated to formal verification. It provides... ...equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.Expertise in a formal property language (SVA preferred), abstraction...Suggested
$95 per hour
...Formal Methods (Lean 4) Expert is a remote review track for evaluating AI outputs across formal methods research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method...SuggestedRemote jobFor contractors10 hours per week- ...bigger — technology that moves the world forward.The Role:AMD's NBIO (Northbridge I/O) organization is seeking an experienced ASIC Formal Verification Architect to join the IOHUB team. This team develops industry-leading I/O connectivity, virtualization, and infrastructure...SuggestedNight shift
$120k - $212.5k
...and availability. We build the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.What You'll...SuggestedFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- ...verification flows and methodologies This role's focus will be on Formal Verification (FV) and methodologies and flows around FV If you'... ...of or experience with static analysis and/or formal methods, such as formal logic and model checkingAbility to understand hardware...Suggested
$136k - $218.5k
...environment where everyone is inspired to do their best work. Come join the team and see how you can make a lasting impact on the world.As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position,...Full time$133.2k - $172.37k
...purpose and our day-to-day work. Join us in this mission!Scientist, Method Automation; Analytical Development, Method Development and... ...compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation,...Full timeFor contractorsLocal area- ...plans, every role at AMD contributes to something bigger — technology that moves the world forward.THE ROLE: AMD is seeking a Lead Formal Verification Engineer to help drive formal verification strategy, methodology, and adoption across next-generation graphics and GPU...
$184k - $287.5k
We are now looking for a Senior Formal Verification Engineer for GPU Kernels! Modern AI performance relies on highly optimized GPU kernels... ...complex memory model of the latest GPU architectures.Formal methods alone cannot scale to modern GPU kernels, and AI alone cannot...Full timeWork experience placement$119.8k - $234.7k
...to envision and implement future technical solutions that will manage and optimize the Cloud infrastructure. We are looking for a Formal Design Verification Engineer to join the team.#SCHIE #CSMEResponsibilitiesThe candidate for this position will be expected and able...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week$196k - $310.5k
...discover how you can build a lasting impact on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs... ...sophisticated ASIC designs & features with formal verification methods.Multi-functional Collaboration: Partner with architecture/RTL teams...Full timeRemote work$87k - $146k
...table, so we can truly know and help our clients, communities, and each other.CLA is growing and seeking to hire a Senior - Accounting Methods to join our talented Federal Tax Strategies team. The position offers growth, flexibility and a collaborative work environment. The...Full timeWork at office- ...technologies. How to thrive in this role? Skills, knowledge & experience:You must have at minimum 1-3 years of experience in Metrology, Methods, Material Planning, or related area.You must have Knowledge of Project Management principles. You must have a broad knowledge and...Work at officeLocal areaFlexible hoursShift work
$101.6k - $152.4k
Join us as a Senior Manufacturing Engineer and make your mark on production excellence. You'll lead process optimization initiatives, design innovative manufacturing systems, and implement maintenance strategies that drive efficiency, quality, and reliability across our...Full timeTemporary workFlexible hours- ...genetics, age, disability status, veteran status, or any other characteristic protected by Federal, National, or Local Laws. Job Leader, Methods Primary Location Bombardier US Aerostructures Organization Bombardier US Aerostr LLC Shift Employee Status Regular Requisition 1069...Local areaFlexible hoursShift work
$163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques.Architect... ...and verification engineers to effectively incorporate formal methods into their workflows.Minimum qualifications:Bachelor's degree...Worldwide$183k - $247.6k
...high performance at low cost. Key job responsibilities- Develop formal verification plans, implement and verify state-of-the-art IP... ..., assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage...Local areaFlexible hours$90k - $180k
...Business Unit in Rapid Diagnostics at Abbott. This role is on site daily.The person hired in this role will be developing LC-MS-MS methods for the determination of drugs and metabolites in urine and oral fluid specimens. This role will also be instrumental in providing...Work experience placementWorldwide$127k - $213k
...can truly know and help our clients, communities, and each other.CLA is growing and seeking to hire a Manager/Director - Accounting Methods to join our talented Federal Tax Strategies team. The position offers growth, flexibility and a collaborative work environment. The...Full time$130k - $147k
...department missions and activitiesAbility to envision innovative solutionsDemonstrated expertise in study designs and statistical methods for conducting clinical studiesRequired Experience: Doctoral degree plus minimum of three (3) or more years of experience in a research...Contract work
