Sign up to access all features of our service.
  • Job search
  • Favorites
  • Create a CV
    New
  • Salaries
  • Subscriptions

Senior Formal Verification Engineer - Shape High‑Perf RISC‑V Cores

AheadComputing Inc.

A leading technology company is seeking an experienced Senior Formal Verification Engineer in Austin, Texas. This role involves leveraging formal verification techniques to ensure the performance and correctness of high-end RISC-V cores. The ideal candidate must have a background in computer engineering and hands-on experience with data path verification. You will collaborate with engineers to optimize CPU designs. Attractive salary and benefits are on offer, along with opportunities for professional growth in a dynamic environment. #J-18808-Ljbffr AheadComputing Inc.

Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Senior Formal Verification Engineer - Shape High‑Perf RISC‑V Cores in Austin, TX vacancy
  • We are seeking an experienced Senior Formal Verification Engineer to join our team. In this role, you will...  ...correctness and performance of high-end RISC-V cores. You will collaborate closely with...  ...position offers a unique opportunity to shape the development of high-quality... 
    Senior
    Flexible hours

    AheadComputing Inc.

    Austin, TX
    2 days ago
  • $100k

     ...diverse team of technologists have developed a high performance RISC‑V CPU from scratch, and share a passion for AI and...  ...growing our team and looking for contributors of all seniorities. We are looking for a talented engineer to join our CPU design team to define and... 
    Senior
    Permanent employment

    Tenstorrent Inc.

    Austin, TX
    2 days ago
  • $143.15k - $265.85k

     ...into the world’s most highly integrated SoCs,...  ...markets. Learn more at Senior Staff Digital Verification Engineer Austin, TX Meet the...  ...in custom RISC-V Cores and AI/ML accelerators...  ...of simulation and formal verification techniques...  ...new skills or shaping your career path, we... 
    Senior
    Full time
    Flexible hours

    Silicon Labs

    Austin, TX
    3 days ago
  • Senior FormalVerification Engineer Looking for new challenges? Would you like the variety of a contract...  ...Designs is currently seeking talented Formal Verification Engineers with experience working...  ..., medical electronics, RISC-V based SoC, ARM based peripherals,... 
    Senior
    Hourly pay
    Contract work
    Temporary work
    Remote work

    Correct Designs

    Austin, TX
    1 day ago
  • Principal Design Verification Engineer SiFive is looking for a Principal...  ...and execution for a high-performance CPU...  ...both out-of-order CPU core development and cache-...  ...problem, using simulation, formal techniques, and...  ...wide methodology, and shape reusable verification... 
    Suggested

    SiFive, Inc.

    Austin, TX
    2 days ago
  • $168k - $264.5k

    Senior Formal Verification Engineer page is loaded## Senior Formal Verification Engineerlocations: US, CA, Santa Clara: US, TX, Austin: US, TX, Remotetime...  ...effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those... 
    Senior

    NVIDIA Corporation

    Austin, TX
    4 days ago
  • $220.92k - $311.89k

     ...generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional...  ...the opportunity to work on cutting‑edge technology and shape verification strategies for AI SoCs. Responsibilities Own... 
    Senior
    Local area
    Shift work

    Intel Corporation

    Austin, TX
    4 days ago
  • SiFive, Inc. is seeking a Verification Engineer in Austin, Texas. This role involves ensuring the fidelity of highly configurable cores for various use cases like autonomous driving and 5G networking. The ideal candidate has over 5 years of experience in verification methodologies... 
    Senior

    SiFive, Inc.

    Austin, TX
    1 day ago
  •  ...a CPU RTL Lead to drive the design and implementation of a RISC-V processor core. This role demands 7+ years of RTL design experience, deep...  ...arrangements and competitive compensation while working in a collaborative culture focused on engineering excellence. #J-18808-Ljbffr JDWK
    Senior
    Flexible hours

    JDWK

    Austin, TX
    4 days ago
  • $153k - $290k

     ...Principal Design Verification...  ...customers the power to shape their markets....  ...Design Verification Engineer** with 8**+ years...  ...focusing on **CPU core functionality,...  ...with senior engineers and architects...  ...such as RISC-V, ARM, or MIPS.*...  ...and retention of highly qualified people... 
    Local area

    GlobalFoundries

    Austin, TX
    4 days ago
  • A leading AI hardware company in Austin, Texas, is seeking a Senior / Staff Digital Verification Engineer to oversee the verification processes for high-speed silicon. The role involves working with advanced CMOS technologies and requires extensive experience in digital... 
    Senior

    OLIX

    Austin, TX
    1 day ago
  • A tech design company based in Austin, TX is seeking a Senior Formal Verification Engineer. The role involves verifying complex design blocks, developing test plans, and ensuring functionality using industry standards. Candidates should have at least 8 years of experience... 
    Senior
    Remote job
    Contract work

    Correct Designs

    Austin, TX
    1 day ago
  • Advanced Micro Devices in Austin is looking for a motivated verification engineer to drive formal verification efforts in complex hardware designs. The role requires mentoring junior engineers and collaboration with designers to enhance design quality using formal verification... 
    Senior
    Visa sponsorship
    Shift work

    Advanced Micro Devices

    Austin, TX
    4 days ago
  • A leading technology company in Austin is seeking a Senior Formal Verification Engineer to verify GPU builds and implement formal verification techniques. Candidates should possess a BS/MS/PhD in computer science or a related field, along with 6+ years of experience. Strong... 
    Senior

    NVIDIA Corporation

    Austin, TX
    4 days ago
  • A leading technology company in Austin is seeking a Formal Verification Engineer to join their Silicon Technologies group. The role involves designing and verifying complex design blocks for SoC, ensuring advanced security features are integrated. Candidates should possess... 
    Senior

    Apple Inc.

    Austin, TX
    2 days ago
  •  ...diverse perspectives. Join us as we shape the future of AI and beyond. Together...  ...advance your career. The Role As a Core Design Verification Engineer, you will be responsible for verifying...  ...architecture, reusable verification agents, and high‑quality coverage closure. You will... 

    Advanced Micro Devices

    Austin, TX
    1 day ago
  • ## Senior Design Verification EngineerApplylocations: Austin (Oakhill, Office...  ...7**Design Verification Engineer****Business Line...  ...DDR, display controller, high-speed serial links, DMAs, cores, memory controllers, and...  ...Performing assertion-based formal verification of blocks... 
    Senior
    Work at office
    Local area

    NXP Semiconductors

    Austin, TX
    2 days ago
  • Senior Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position...  ...FPGAs, medical electronics, RISC‑V based SoC, ARM based peripherals, and...  ...Experience in other related domains such as formal verification, RTL design, or... 
    Senior
    Hourly pay
    Contract work
    Temporary work
    Remote work

    Correct Designs

    Austin, TX
    18 hours ago
  • SiFive, Inc. is seeking an experienced Verification Architect to ensure the fidelity of highly configurable cores for clients in areas such as autonomous driving and 5G networking. The role requires a minimum of 12 years in relevant fields and a strong background in microarchitecture... 
    Senior

    SiFive, Inc.

    Austin, TX
    2 days ago
  • SiFive, Inc. is seeking a Principal Design Verification Engineer to lead the verification strategy for high-performance CPU subsystems, including out-of-order CPU core development and cache-coherent interconnect behavior. The ideal candidate will have at least 12 years... 
    Senior

    SiFive, Inc.

    Austin, TX
    2 days ago
  •  ...the pioneers who introduced RISC‑V to the world, SiFive is transforming...  .... Job Description The Verification Architect will ensure the fidelity of new highly configurable cores and related IPs for clients...  ...Science, Electrical Engineering, or a related discipline. Direct... 

    SiFive, Inc.

    Austin, TX
    3 days ago
  •  ...Austin, Texas, is seeking a Power-Management/Reset/Clock Micro-Architect and RTL Design Engineer. This role involves designing industry-leading CPU cores and subsystems focused on RISC-V technology. The ideal candidate will have over 3 years of experience in CPU designs,... 
    Flexible hours

    SiFive

    Austin, TX
    4 days ago
  • NVIDIA Gruppe in Austin, Texas is seeking a Formal Verification Engineer to verify design and implementation of cutting-edge GPUs. You will work with...  ...-architecture using formal verification tools, leading to high-quality results on schedule. The ideal candidate has an... 

    NVIDIA Gruppe

    Austin, TX
    4 days ago
  •  ...you love creating elegant solutions to highly complex challenges? Do you intrinsically...  ...with their devices.Work with the best Formal Verification team in the world and acquire experience...  .... Description As a formal verification engineer working the complete formal... 

    Apple Inc.

    Austin, TX
    2 days ago
  •  ...Infinity Fabric network on the chip verification team is growing and is...  ...THE PERSON Team is seeking a highly skilled and motivated person...  ...In this role, you will drive formal verification efforts across complex...  ...methodologies, mentor junior engineers, and collaborate with RTL... 
    Shift work

    Advanced Micro Devices

    Austin, TX
    4 days ago
  • $100k - $166.75k

    As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities...  ...effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those... 

    NVIDIA Gruppe

    Austin, TX
    4 days ago
  •  ...inclusive of diverse perspectives. Join us as we shape the future of AI and beyond. Together, we...  ..., detail-oriented and motivated design verification engineers who are interested in functional verification of x86 microprocessor cores. You\'ll have the unique opportunity to... 
    Work experience placement

    Advanced Micro Devices

    Austin, TX
    3 days ago
  • Microchip Technology Inc. is seeking a Senior Engineer II-Validation based in Austin, TX. This role involves validating advanced connectivity products like Ethernet PHYs and USB hubs, ensuring high-quality production-ready silicon. The ideal candidate will lead validation... 
    Senior

    FHLB Des Moines

    Austin, TX
    4 days ago
  • We are now looking for a Senior Verification and Validation Engineer to join our innovative team at NVIDIA! This outstanding...  ...the limits of what is possible and shape the platform for the future of...  ..., emulation, FPGA, debug tools) is highly desirable. Outstanding... 
    Senior
    Work experience placement

    NVIDIA Gruppe

    Austin, TX
    4 days ago
  • $150.5k - $279.5k

    Staff Digital Verification Engineer - Austin, TX Responsibilities Block and IP...  ...performance requirements; apply formal verification tools (lint,...  ...with digital design, ARM or RISC‑V architecture and bus...  ...), dental and vision plans. Highly competitive salary, 401(k) plan... 
    Flexible hours

    Silicon Laboratories Inc.

    Austin, TX
    4 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Senior Formal Verification Engineer - Shape High‑Perf RISC‑V Cores. Be the first to apply!