Average salary: $184,723 /yearly
More statsGet new jobs by email
- ...complex challenges, and shape product strategy across engineering, validation, and customer teams. The role requires deep expertise in formal verification, C/C++, and large-scale software architecture, with a Ph.D. and a history of delivering production-quality software....Suggested
- ...Samsung Electronics America, Inc. is seeking a Senior Staff GPU Design Verification Engineer – Formal Verification to shape block and subsystem level formal verification for next‑gen mobile GPUs. You will define verification goals, write properties, and develop formal...Suggested
$86.8k - $165.2k
Research Software Engineer, Formal MethodsRTX 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- ...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
Convergent Research
Berkeley, CA10 days ago $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, CA16 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, CA16 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...SuggestedPermanent employmentFor contractors$140k - $160k
...nimble, science-driven innovators who are collaborating to bring new therapies to patients in need. The Position The Analytical Method Validation Sr. Manager is responsible for leading a team of scientists within the Quality Control (QC) department to plan, execute,...SuggestedContract workFlexible hoursArrowhead Pharmaceuticals
Madison, WI16 days ago$2,500 per month
...engineers, Etched is redefining the infrastructure layer for the fastest growing industry in history. Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface...SuggestedContract workWork at officeRelocation package$203.7k - $305.5k
...AI processing, and next-gen mobile gaming while optimizing power consumption. In the fast-moving world of GPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Qualcomm’s GPU team is looking for engineers...SuggestedWork experience placementWork from home$200k - $300k
...Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification... ...Velaura's next-generation Physical AI SoC. You will apply formal methods to the hardest correctness problems in the design, working with...SuggestedFlexible hours$200k - $320k
...Own block- and SOC-level formal verification, debug, and proof convergence for our AI accelerator silicon. Work with chip-design and software teams driving DensityAI's AI accelerator program from first silicon through scale-out. What you'll do Own block- and SOC...SuggestedH1bWork visa$90 - $110 per hour
...Benchmark , General Catalyst , Peter Thiel , Adam D'Angelo , Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour Location: Remote...SuggestedContract workSummer workRemote workWeekday workMercor
San Francisco, CA19 days ago$33.65 - $43.27 per hour
...Job Description Job Description Job Title: Method Development Chemist Job Description We are seeking a Method Development Chemist who will focus on the analytical method development and validation of chemical compounds. The ideal candidate will provide guidance...SuggestedContract workTemporary workActalent
Lake Zurich, IL1 day ago- Full-Time Formal HousekeeperA private Palm Beach family is seeking an experienced, professional Full-Time Formal Housekeeper to join their established household team.The family consists of two adults and their 4-year-old son. The home is fully staffed, including a ROTA...SuggestedFull timeMonday to FridayRotating shift
- ...Advisor, and Senior Foreign-Policy Advisor to four US presidents. About this Role In this role, you’ll develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis. You...
Voltai
Palo Alto, CA28 days ago - ...Description Summary: \n Seeking a Scientist to join a Ligand Binding Assay Development team, focusing on innovative research and method development in bioanalytical sciences. This role involves hands-on assay development, data analysis, and collaboration with cross-...Contract work
ClinLab Solutions Group
Lincoln, NE3 days ago - ...greener and smarter mobility worldwide, connecting cities as we reduce carbon and replace cars. Could you be the full-time onsite Methods Engineer* in West Mifflin, PA (Pittsburgh area) we’re looking for? * Candidates who are recent graduates with internship...Full timeInternshipWorldwide
$22 - $26 per hour
Overview Lorien Taneytown is hiring Geriatric Nursing Assistants (GNA)! 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 a real difference in residents...Hourly payDaily paidFull timeTemporary workPart timeReliefFlexible hoursShift workNight shiftAfternoon shift$20 - $22 per hour
Overview Lorien Columbia is now hiring Geriatric Nursing Assistants (GNAs)! Join our award-winning Lorien Team and experience firsthand why we’re more than just a nursing home and assisted living company. At Lorien, compassion, excellence, and teamwork come together to ...Hourly payDaily paidFull timeReliefImmediate startFlexible hoursShift workNight shiftAfternoon shift- ...something bigger— technologythat moves the world forward.Join us and, together, we’ll advance your career. 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...
- Chipton-Ross is seeking 25 Methods Process Analysts 2 for a contract opportunity in Everett, Renton, Seattle, Auburn or Puyallup, WA.... ...completion of training is a contingency for this assignment - OJT or formal classroom training. PREFERRED QUALIFICATIONS (DESIRED SKILLS/...Full timeContract workFor contractorsWork experience placementWork at officeNight shiftDay shiftAfternoon shift
- ...level. The QC Scientist I works in a fast-paced environment supporting the quality control department cell therapy analytical method qualifications and validations. The QC Scientist I will be responsible for independent execution of complex laboratory/experiment...Flexible hours
Cellipont Bioservices
Spring, Montgomery County, TX7 days ago - ...application due to a disability, contact this employer to ask for an accommodation or an alternative application process. Manager, Methods Development Full Time Fort Worth, TX, US 3 days ago Requisition ID: 2300 Company Overview: MP Materials (NYSE: MP) is rebuilding...Permanent employmentFull timeFlexible hours
$35 - $40 per hour
Method Process Analyst A client of Innova Solutions is immediately hiring for a Method Process Analyst in Everett, WA. Position type: Full-time, Contract Duration: 4+ Months, Location: Everett, WA. Job Description Day to Day Responsibilities Position Overview Our Methods...Hourly payFull timeContract workTemporary workFor contractorsWork experience placementWork at officeImmediate startWorldwideFlexible hours- ...Rolls-Royce is seeking a Business Specialist - Overhaul Methods & Tooling in Indianapolis, IN. The role focuses on strategic leadership, defining capability projects, and applying new capabilities across the business to drive value while maintaining safety and compliance...
- ...Day Greet each patient with a positive and welcoming expression and voice tone Ensure a smooth check-in process Perform methodical and repetitive tasks such as data entry into the EMR and insurance processing Maintain focus on patient experience and operational...Full time
Mercy Urgent Care
Newburgh, IN4 days ago $20 - $22 per hour
Overview Lorien Mount Airy is now hiring CNA-I (formally known as a Maryland GNA) Join our award-winning Lorien Team and experience firsthand why we’re more than just a nursing home and assisted living company. At Lorien, compassion, excellence, and teamwork come together...Hourly payDaily paidFull timePart timeReliefImmediate startFlexible hoursShift workWeekend work$198.2k - $297.2k
...Responsibilities As a Senior Staff GPU Design Verification Engineer – Formal Verification, you will help shape block and subsystem level... ...and architectural intent. You bring strong expertise in formal methods, GPU design verification, and a strong innovative mindset to...Hourly payFull timeRelocation- ...capturing and completing Industrial Engineering actions and requests and tying in with 1st shift counterparts.Position OverviewOur Methods Process Analyst contractor will join the team as a key integrator for the Industrial Engineering function in supporting the operations...For contractorsDay shiftAfternoon shift
