Average salary: $184,723 /yearly
More statsGet new jobs by email
- Code Metal is seeking a Research Engineer specializing in Formal Methods to join our team. In this role, you will work at the intersection of theory and practice, applying, implementing, and integrating testing and verification tools into Code Metal products. You will...SuggestedRelocation packageFlexible hours
$95.5k - $181.7k
Research Software Engineer, Formal Methods page is loaded## Research Software Engineer, Formal Methodslocations: US-MA-CAMBRIDGE-BBN04 ~ 10 & 50 Moulton St ~ MOULTON B4time type: Full timeposted on: Posted Todayjob requisition id: 01817577**Date Posted:**2026-01-16**Country...SuggestedTemporary workWork experience placementWork at officeRemote workWorldwideRelocation packageFlexible hours$115k - $230k
...Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools.... ...requirements. All CertiK employees are expected to actively support diversity on their teams, and in the Company. #J-18808-Ljbffr Method, Inc.SuggestedFull timeInternshipLocal areaFlexible hours- A technology research company is seeking candidates with strong expertise in machine learning or formal methods for developing advanced programming paradigms in the Bay Area. Ideal candidates possess abilities in fast learning, running machine learning experiments, and...SuggestedRelocationFlexible hours
- A leading technology company in Boston is seeking a Research Engineer specializing in Formal Methods. This position involves collaborating with teams to integrate formal methods into product development. Candidates should hold an advanced degree in a relevant field and...SuggestedFlexible hours
$70 - $150 per hour
A tech-focused research organization is seeking an Applied Formal Methods Researcher to work remotely. This position involves translating informal mathematical proofs into formal verifications using Lean, along with collaborating on advanced formal verification projects...SuggestedRemote jobHourly pay- A forward-thinking tech organization is seeking an Applied Formal Methods Researcher focused on translating mathematical proofs into machine-verifiable structures using Lean. This remote role requires strong mathematical training and hands-on experience with formal proof...SuggestedRemote jobContract workFlexible hours
- A leading AI research organization is seeking an Applied Formal Methods Researcher specializing in Lean 4 and formal proof systems. This remote role requires a Master's degree in Mathematics or a related field, and hands-on experience with formal proof languages. Responsibilities...SuggestedRemote jobFlexible hours
$70 - $150 per hour
Researcher - Lean 4 & Formal Proof Systems Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs... ...assistants. Organization Alignerr Position Applied Formal Methods Researcher (Lean 4) Type Hourly Contract Compensation $70-$15...SuggestedHourly payContract workFreelanceRemote workFlexible hours- ...leading technology startup in Silicon Valley is looking for a motivated Research Engineer to join their Reinforcement Learning & Formal Methods team. This role will focus on advancing mathematical theorem proving with innovative RL techniques. Candidates should possess...Suggested
$145.6k - $276.8k
Senior Principal Research Engineer, Formal Methods page is loaded## Senior Principal Research Engineer, Formal Methodslocations: US-MA-CAMBRIDGE-BBN04 ~ 10 & 50 Moulton St ~ MOULTON B4time type: Full timeposted on: Posted Todayjob requisition id: 01817583**Date Posted:...SuggestedTemporary workWork experience placementWork at officeRemote workWorldwideRelocation packageFlexible hoursNight shift- A specialized technology company in Arlington, VA is seeking an FPGA Verification Engineer to develop verification strategies for high-assurance FPGA designs. The role requires a Bachelor's in Electrical/Computer Engineering and 7+ years of FPGA verification experience....Suggested
- A leading aerospace and defense company in Cambridge, MA seeks a Research Software Engineer specializing in formal methods. The ideal candidate will design software systems aimed at enhancing the security and resilience of large-scale dynamic systems, utilizing programming...Suggested
$145.6k - $276.8k
...leading aerospace technology company seeks a Senior Principal Research Engineer in Cambridge, MA. This hybrid role includes leading formal methods research, business development, and hiring talent. Required qualifications include a degree in Mathematics/Computer Science and...Suggested- ...all the things they love with their devices.Work with the best Formal Verification team in the world and acquire experience being at... ...and digital logic design and verification techniques or formal methods and their application to hardware, software, or systems Interest...Suggested
$230k - $285k
...Discover more at . Astera Labs is seeking a Distinguished Engineer, Formal Verification to join our world-class engineering team in San... ...catch critical corner‑case bugs that traditional verification methods miss, while mentoring a global team of engineers and...WorldwideFlexible hours$196k - $310.5k
Senior Formal Verification Engineer page is loaded## Senior Formal Verification Engineerlocations: US, CA, Remote: US, TX, Remote: US... ...sophisticated ASIC designs & features with formal verification methods.* Multi-functional Collaboration: Partner with architecture/RTL...Remote work$127.2k - $190.8k
...Hexagon DSP/Neural Processing Unit (NPU) team is seeking a skilled Senior Formal Verification Engineer to ensure the correctness and reliability of our next‑generation cores. You will apply formal methods to verify complex RTL designs, working closely with design and...Work experience placementWork from home- We are seeking an experienced Senior Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification... ...process through rigorous formal analysis and bug detection methods. Responsibilities Engage in formal verification of architecture...Flexible hours
$26.58 - $48.3 per hour
...people, experiences, and perspectives. Join Fish’s team in our fast-paced Practice Systems Department as a Patent Paralegal (IDS/Formalities). How Will You Make a Difference? Accurately prepare, obtain, and file documents related to information disclosure statements,...Hourly payWork at office- ...their devices!The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader...
- ...& Proposals team for internal & external tooling. Support the Methods team with assembly build sequencing. Create visual work instructions... ...to showcase how tooling aligns with project objectives. Create formal documents (TCM’s) to resolve technical issues or questions...Local areaFlexible hoursShift work
- ...of diverse perspectives. Join us as we shape the future of AI and beyond. THE ROLE: We are looking for an adaptive, self‑motivated formal verification engineer to join our growing team. As a key contributor, you will be part of a highly collaborative team to drive and...Work experience placementNight shift
$26.58 - $48.3 per hour
A global intellectual property law firm is seeking a Patent Paralegal to prepare and file documents related to disclosures and formalities. The ideal candidate will have a Bachelor's degree or Paralegal Certificate and at least six months of paralegal experience. Responsibilities...Hourly pay$168k - $264.5k
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness...- ...perspectives. Join us as we shape the future of AI and beyond. Together, we advance your career. THE ROLE: AMD is looking for a Lead Formal Verification Engineer leader passionate about driving the cutting‑edge formal verification techniques for AMD’s next generation...
- ...are your contributions to the team? Adheres to General Work Requirements Assists with analyzing feasibility according to optimal methods by assessing the costs, impacts and risks of a change in production Assists with drafting the necessary working and repair documents...Local areaFlexible hours
- ...it all to you. Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification... ...: Verify complex design blocks formal verification methods Develop and execute pre-silicon verification test plans Develop...Hourly payContract workTemporary workRemote work
- ...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 Shift Employee Status Regular Nearest Major Market: Dallas Nearest Secondary Market:...Local areaFlexible hoursShift work
$71.65k - $109.8k
...focus on innovative composite and aluminum manufacturing solutions. This position is located in Dallas, TX. Responsibilities The Methods Engineer supports the maintenance and repair organization by developing, standardizing, and optimizing repair methodologies for aircraft...Work at office