Average salary: $184,723 /yearly
More statsGet new jobs by email
$32 - $38 per hour
...solvers, thought leaders, and innovators. Join us and take your place in space. The Aerospace Corporation is hiring a Researcher in Formal Methods, Graduate Intern, for the Cyber and Mission Technology Department within the Information Systems and Cyber Division....SuggestedHourly payFull timeTemporary workInternshipImmediate startRemote workRelocation packageFlexible hoursShift workThe Aerospace Corporation
Chantilly, Fairfax County, VA3 days ago- ...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...SuggestedFull time
- ...Advanced Lead Engineer - High Assurance Systems to design and develop methods for rigorous verification of AI-enabled system models. You will... ...innovative aerospace software tools. The role focuses on formal methods, MBSE, LLMs, and high-assurance systems to ensure...Suggested
- The Aerospace Corporation in El Segundo, CA is seeking a Graduate Intern Researcher in Formal Methods for the Cyber and Mission Technology Department. You will join a team performing fundamental research on formal methods applied to self-healing systems and contribute...SuggestedFull timeInternship
$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 hours- ...monitor their behavior. Oath is building oversight tools based on formal verification: rather than monitor AIs directly, humans define... ...Summary Oath's research engineers will build novel formal methods tools and apply them at scale to AI oversight problems. To do this...SuggestedFlexible hours
$95 per hour
...Category: Math, Reasoning & Formal Methods · Pay: $95 / hr · Location: Remote — US-eligible · Contractor Formal Methods (Lean 4) Expert is a remote review track for evaluating AI outputs across formal methods research review reasoning, calculations, and research workflows...SuggestedContract workFor contractorsRemote work10 hours per weekAuraOne
San Jose, CAa month ago$112k - $186k
...knowledge extraction, knowledge representation and reasoning, scalable computing, full stack software design and development, and formal methods verification and validation of systems. Job Description At GE Aerospace Research, we invent the future of flight, lift people...SuggestedPermanent employmentContract workWork experience placementWork at officeRelocation package- ...existing verification infrastructure on currently active projects. Be familiar with hardware modeling and/or assertion-based verification methods. EXPERIENCE AND EDUCATION: ~5-7 years of proven verification experience on large ASIC development projects or software/...Suggested
Saicon Consultants Inc
Ben Lomond, CA12 days ago - ...We're building a research cohort of senior domain experts in formal methods and computational science — spanning math, physics, chemistry, and biology — to help evaluate how frontier AI models reason about hard, real-world expert-level problems. This is research-and-evaluation...SuggestedContract work
AfterQuery
San Francisco, CAa month ago $105.1k - $131.4k
...shares a love of the outdoors and a desire to protect it for future generations. Role Summary We are seeking a driven Attributes Methods Engineer to develop, implement, and maintain scalable engineering processes, data systems, and tooling. In this role, you will be a...SuggestedFull timeContract workTemporary workPart timeLocal areaVisa sponsorshipShift workRivian
Irvine, CA3 days ago- ...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
- ...Job Description Job Description Formal Dining Room Server PRN We are looking for outstanding, energetic and compassionate Dining Service Assistants to join our team. Perfect position for a student who is available to work dinner hours serving in our Dining Room...SuggestedRelief
EveryAge
Suffolk, VA12 days ago $22 - $26 per hour
Lorien Taneytown Nursing Assistant (CNA-I) Lorien Taneytown is hiring Nursing Assistants (CNA-I)! Join our award-winning Lorien Team and discover why we're more than just a nursing home or assisted living community. If you're compassionate, dependable, and ready to make...SuggestedHourly payDaily paidFull timeTemporary workPart timeReliefImmediate startFlexible hoursShift workNight shiftAfternoon shift- Cirrus Logic is seeking an experienced Formal Verification Engineer in Austin, TX. You will play a critical role in developing and supporting advanced formal verification techniques. Responsibilities include enhancing methodologies, mentoring engineers, and collaborating...Suggested
$70k - $85k
...Job Description Job Description Job Summary: Nivagen Pharmaceuticals is seeking a highly motivated Chemist – Analytical Method Validation to support analytical method validation, method transfer, troubleshooting, and regulatory compliance activities for pharmaceutical...Nivagen Pharmaceuticals
Sacramento, CA4 days ago- ...About Harmonic At Harmonic, we believe the future of AI depends on proof. Most AI makes its best guess. Aristotle uses formal methods and reinforcement learning to check its own reasoning and results. AI agents can write software in seconds, but edge cases and silent...Full time
- ...and productivity, powering innovation today that ignites the ingenuity of tomorrow. You Are You have spent years working with formal verification tools and you know the difference between a tool that runs and a methodology that actually finds bugs before tapeout....
- Job Description Job Description Ready to take on meaningful challenges and shape the next generation of mobility? Joining OPmobility means stepping into a global group with a purpose to keep people and goods moving safely, smarter, and sustainably everywhere. ...Contract workLocal area
OP Mobility
Troy, MI1 day ago - ...Job Description Position Summary \n The Method Level III (RT/DDA) is the technical authority for all radiographic testing activities utilizing film and/or Digital Detector Array (DDA) technology. This position is responsible for developing, implementing, maintaining...Work at officeImmediate startShift work
Applus+ Laboratories
Zeeland, MI17 days ago $100k
...contributors of all seniorities. Tenstorrent is looking for a Formal Verification Engineer to help ensure the correctness of our... ...performance RISC-V CPUs and AI compute platforms. You’ll use formal methods to prove complex hardware behavior, uncover corner cases that...Permanent employmentFull timeRemote work- ...Technology group. This position will be focused on overseeing the development, automation, and continuous improvement of analytical methods to support the development of technologies for advanced manufacturing to produce high‑performance rare earth permanent magnets. The...
- Education Requirements: Bachelor’s degree in Computer Science or a closely related field. Work Experience Requirements: A minimum of three (3) years of progressive work experience in software development including webMethods, JMS and Universal Messaging, Java development...Work experience placement
- ...constraints, and draw on evidence from literature and characterization data. Every experiment costs real time and materials. Off-the-shelf methods often struggle here, and they ignore the domain structure that could guide the search. As a Bayesian Methods Co-Op, you will work...
- ...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
$25 - $28 per hour
...Pharmaceuticals Inc., Sacramento, CA 3900 Duckhorn Dr, Sacramento, CA 95834 About the Job: Job Title: Laboratory Technician - Analytical Method Development Nivagen Pharmaceuticals is seeking a motivated and detail-oriented Laboratory Technician to support the Analytical...Contract workInternshipWork at officeNivagen Pharmaceuticals
Sacramento, CA4 days ago- ...Citizen who currently possesses a Secret Clearance. This is a hybrid postion. Position Overview The Alternative Construction Methods Specialist will serve as a key advisor and technical resource to Headquarters Air Force Civil Engineers and Enterprise Partner...For contractors
Collins Consulting Inc
McLean, VA12 days ago - ...actually needs versus what they think they need. You are comfortable sitting with a design team during a tapeout crunch, isolating a Formality proof failure that has blocked signoff for two days, and walking out with a fix and a plan to prevent it next time. You know the...Worldwide
$47.4k
Job Description Reviews, analyzes, and evaluates business systems and user needs. Formulates systems to parallel overall business strategies. Job Description Reviews, analyzes, and evaluates business systems and user needs. Formulates systems to parallel overall business...Immediate start$82.92k - $100k
...from a materials producer into a leading U.S. manufacturer—and our people are driving that transformation. Position Overview: The Method Development Chemist is responsible for developing and maintaining methods and procedures (SOP’s) for all laboratory equipment in the...Permanent employmentFlexible hours
