Verification Engineer - Remote/Seattle (Rust & Formal Methods)
Athanor AI, Inc.
Seattle, WA
- Remote job
Athanor AI, Inc. in Seattle is hiring a full-time backend engineer who will write Rust across the full stack, from CI to orchestration for verification campaigns. The role emphasizes correctness with property-based testing and formal proofs. The position offers remote-friendly options and strong health benefits; you will collaborate with a small team of engineers focused on verification accuracy and scalable tooling for hardware verification. #J-18808-Ljbffr Athanor AI, Inc.
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Verification Engineer - Remote/Seattle (Rust & Formal Methods) in Seattle, WA vacancy
$160k - $275k
...Is BuildingMatX is seeking engineers with strong Rust skills to join our team as... ...need prior hardware or verification experience to apply — if you... ...with Bluespec (BH or BSV)Formal methods, model checking, or property... ...Holidays + up to 3 weeks remote workHealth: Company-subsidized...Remote workDaily paidFull timeWork experience placementWork at officeLocal areaMonday to FridayFlexible hours3 days per week$196k - $310.5k
...lasting impact on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs... ...& features with formal verification methods.Multi-functional Collaboration: Partner... ...protected by law.SummaryLocation: US, CA, Remote; US, TX, Remote; US, OR, Remote; US,...Remote workFull time$160k - $275k
...through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware... ...weeks PTO (accrued) + 12 company Holidays + up to 3 weeks remote workHealth: Company-subsidized Medical (Kaiser or Anthem)...Remote workDaily paidFull timeWork experience placementLocal areaMonday to FridayFlexible hoursShift work- ...Our client in the semiconductor industry, is seeking a Formal Verification Engineer to join their team. As a Formal Verification Engineer, you will... ...Engineer Location: Onsite in Santa Clara, CA /100% remote is available only for a strong candidate. Pay Range:...Remote workWeekly payTemporary workFlexible hours
Experis
Santa Clara, CA1 day ago - ...Role We are seeking a Software Engineer to help build and implement... ...problem-solving wrapped around formal methods, that solve client issues that have... ...paid time off Equity Fully remote culture with a cluster of teammates in Seattle Additional Information: Must...Remote workFull timeWork visaFlexible hours
Azx Inc
Remote1 day ago $159.2k - $215.3k
...communities around the world. Our Design Verification team is seeking a highly skilled and motivated Senior Formal Verification Engineer to drive formal verification efforts across... ..., you will apply rigorous mathematical methods to prove design correctness anduncover corner...Permanent employmentLocal areaFlexible hoursShift workNight shift$163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal... ...metrics.Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows.Minimum qualifications:Bachelor...Worldwide- ...we advance your career. THE ROLE:The Formal Verification team is dedicated to formal verification... ...looking for formal verification engineers with expertise in IP verification, formal... ...SEC/SEQ/SLEC), and/or academic formal methods.Expertise in a formal property language...
$220.92k - $311.89k
...ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional... ...of complex digital designs using advanced formal methods. This position offers the opportunity to work on cutting-edge...Full timeInternshipLocal areaImmediate startShift work$183k - $247.6k
...are seeking experienced Hardware Design Engineers to work with partners and vendor and... ...cost. Key job responsibilities- Develop formal verification plans, implement and verify state-of-... .... - Perform state of the art formal methods and abstraction techniques. - Participate...Local areaFlexible hours- ...their devices. Learn from the best Formal Verification team in the world and acquire experience... ...As a formal verification engineer working the complete formal verification... ...and verification techniques or formal methods and their application to hardware, software...
Apple
Santa Clara, CA4 days ago - ...person to join the Central Verification team This team is a central... ...This role's focus will be on Formal Verification (FV) and methodologies... ...analysis and/or formal methods, such as formal logic and... ...Masters degree in computer engineering/Electrical Engineering LOCATION...
- ...hardware innovation. Comprising brilliant engineers and visionaries, the team designs and... ...is looking for a Senior, Staff level Formal Verification Engineer to develop and manage the... ...formal verification plans, strategies, and methods for a high-quality verification sign-...Hourly payFull timeTemporary workWork experience placementFlexible hoursNight shift
Tesla
Texas2 days ago $136k - $218.5k
...hardworking Senior ASIC Design Verification Engineer to help drive sign-off... ...tools, Gate Level Simulation or Formal Equivalence domains.Strong... ...ability to work with on-site and remote teams.Proficiency in... ..., Make files and automation methods/algorithms a certain plus.With...Remote workFull timeWork experience placement$138.49k - $169.98k
...Thinking & User Experience methods, you’ll work to... ...Electrical and Electronic Engineering, Computer Science,... ...integrate tests into verification pipelines. 2 years of... ...audit reviews to obtain formal system level approval... ...features, automated, remote parking, driver‑monitoring...Remote workImmediate startFlexible hours$195.2k - $292.8k
Company:Qualcomm Technologies, Inc.Job Area:Engineering Group, Engineering Group > GPU ASICS EngineeringGeneral Summary:QCT's Digital... ...of the most advanced mobile devices on the market.Graphics formal verification positions involve the developing high-quality formal...Work experience placementWork from home- ...over four decades, Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our rockstar team thrives on... ...place to grow your career! We are looking for an experienced Formal Verification Engineer to join our growing organization in Austin, TX! You...Full time
$136k - $218.5k
...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, your...Full time- ...Software Certification Engineer , you will provide... ...instruments, local and remote sensing, data conversion... ...have familiarity with formal coding standards and... ...Practice safety-critical methods, create plans,... ..., change tracking and verification, formal and functional...Remote workWork at officeLocal area
Mid-Continent Instruments and Avionics
Wichita, KS6 days ago $115k - $230k
New York, NY / Seattle, WA / San Francisco Bay... ...- Engineering - Tools /Full-time... ...analysis, and deductive verification. You will have the... ...smart contracts and formalize properties for use... ...qualified candidates.#LI-Remote#blockchain#startups#hiringCertiK is proud to offer...Remote workFull timeInternshipLocal areaFlexible hours- .... About This Role In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate... ...and ML research teams to develop hybrid formal engines that reason about AI‑generated hardware at...
Voltai
Palo Alto, CA4 days ago $52 - $85 per hour
...Job Title: Nuclear Methods Engineer Location: Bellevue, WA Type: Contract... ...2.00 - $85.00 Work Model: Remote – offsite Hours: 40.0... ...Responsibilities Create formal documentation of nuclear... ...requirements during the Validation and Verification (V&V) process Incorporate...Remote workContract workTemporary workLocal areaSystem One
Washington DC7 days ago$119.8k - $234.7k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... ...importance. To achieve this goal, the Verification & Validation team is instrumental in... ...Cloud infrastructure. We are looking for a Formal Design Verification Engineer to join...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week- ...Formal Methods EngineerNew York, Full-Time: ExperiencedJob descriptionWhen we receive an application, we consider it for all available positions worldwide to determine the best fit. If you are interested in additional roles or offices other than what you've applied for...Full timeWorldwide
Jane Street
New York, NY1 day ago $138k - $208k
...Title Senior/Principal Interface IP Verification Engineer (Pre-Silicon)- 15149 Job ID 15149... ...Digital Design Hire Type Employee Remote Eligible No Base Salary Range: $138... ...with assertion-based verification and formal methodologies.Experience leading...Remote workWorldwide- ...Seeking a full-time remote ASIC Verification Engineer, the candidate will participate in the development of UVM environments, write and execute tests according to verification plans, and conduct formal verification of block-level RTL for high-performance computing and...Remote workFull time
Virtual Vocations Inc
United States3 days ago - ...Mid-Level and Senior ASIC Verification Engineers Cornelis Networks delivers the world's highest... ...and analyze coverage results Execute formal verification of block level RTL... ...Job Location: This role may work remote from Costa Rica via an EOR (Employer of...Remote workFlexible hours
Cornelis Networks
United States5 days ago $86.8k - $165.2k
...Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in... ...regardless of whether the role is designated as on-site, hybrid or remote.The salary range for this role is 86,800 USD - 165,200 USD....Remote workTemporary workWork experience placementWork at officeFlexible hours$160k - $275k
...availability. MatX is seeking silicon verification engineers to join our team as we create best-in-... ...verification (ABV); experience and comfort with formal and simulated verification are... ...+ 12 company Holidays + up to 3 weeks remote workHealth: Company-subsidized Medical...Remote workDaily paidFull timeWork experience placementLocal areaMonday to FridayFlexible hours$160k - $275k
...availability. MatX is seeking silicon verification engineers to join our team as we create best-in-... ...verification (ABV); experience and comfort with formal and simulated verification are... ...+ 12 company Holidays + up to 3 weeks remote workHealth: Company-subsidized Medical...Remote workDaily paidFull timeWork experience placementLocal areaMonday to FridayFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Verification Engineer - Remote/Seattle (Rust & Formal Methods). Be the first to apply!
Related searches
- verification engineer Seattle, WA
- validation engineer Seattle, WA
- validation consultant Seattle, WA
- computer system validation engineer Seattle, WA
- senior design verification engineer Seattle, WA
- verification & validation engineer Seattle, WA
- validation specialist Seattle, WA
- junior remote developer Seattle, WA
- college summer internship remote Seattle, WA
- remote senior salesforce administrator Seattle, WA