Senior Formal Hardware Verification Engineer

3 weeks ago


Austin, United States Correct Designs Full time
Senior Formal Verification Engineer

Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you.

Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest FV or Synopsys VC Formal (Hector). Correct Designs has opportunities in a wide range of products including projects in AI and Machine Learning, processor fabric subsystems, SOC/ASIC products for vision processing, aerospace FPGAs, medical electronics, RISC-V based SoC, ARM based peripherals, and mixed signal DSPs. Successful candidates for this role will support verification of advanced CPU/GPU based SOCs.

Correct Designs is NOT the typical contracting, staff augmentation firm. Our engineers have respected long term roles with generous hourly rates in excellent team environments. A typical contract may last 3 years, although we have shorter and even longer term work available. We are well respected in the Design Verification community with clients always seeking new CDI engineers. If you need a few months off between contracts you can take that break and know there will be plenty of work available when you return. If you like the stability of always working, simply move to the next contract with little time off. Correct Designs does provide health care and retirement plan benefits.

We are based in Austin, Texas with clients throughout the US. This position is located in Austin, TX. We would prefer someone located in Austin, TX, but we are open to remote work.

Whether you are an experienced veteran looking for new challenges, or a talented engineer seeking to broaden your experience, we can offer exciting options for your career.

RESPONSIBILITIES:
  • Verify complex design blocks formal verification methods
  • Develop and execute pre-silicon verification test plans
  • Develop directed and random verification tests to validate block and IP functionality
  • Develop verification components and tools
  • Develop verification functional coverage using industry standard coverage analysis tools/methods
  • Debug regression fails
  • Replicate functional issues found in external environments or post-silicon; review/enhance tests to verify bug fixes
REQUIRED SKILLS AND EXPERIENCE:
  • 8 or more years of proven verification experience in a hardware development setting
  • Strong background in Formal verification methodologies
  • Strong debug skills and experience with debug tools such as DVE/Verdi
  • Proficiency in Object Oriented programming, computer architecture and data structures
  • Strong analytical/problem solving skills and pronounced attention to details
  • Strong interpersonal and communication skills
  • Must be comfortable working across geographies
DESIRED SKILLS:
  • Experience architecting/developing verification environments and infrastructure, including scripting using Perl, Ruby, Make, or similar
  • Experience in other related domains such as formal verification, RTL design, or software development

EDUCATION:

Bachelor or Master's in Electrical Engineering, Computer Engineering, or Computer Science

  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification Engineer Santa Clara / Austin Senior Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinSenior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification Engineer Santa Clara / Austin Senior Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinSenior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinSenior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinSenior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinSenior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification Engineer Santa Clara / Austin Senior Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are...


  • Austin, United States Mulya Technologies Full time

    Senior Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are...


  • Austin, United States Tenstorrent Full time

    Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high...


  • Austin, United States Tenstorrent Inc Full time

    This role is hybrid,based out of Austin, TX or Santa Clara, CA. CPU Formal Verification Engineer will be responsible for applying various formal verification techniques to source bugs in specifications and RTL implementation for a high performance data center class CPU Responsibilities Drive formal verification for multiple CPU blocks by putting together...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification EngineerPrincipal / Staff / Senior Engineer Austin / Santa Clara /BangaloreWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification Engineer Principal / Staff / Senior Engineer Austin / Santa Clara /Bangalore We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification EngineerPrincipal / Staff / Senior Engineer Austin / Santa Clara /BangaloreWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are actively...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification EngineerSanta Clara / AustinWe are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are actively...


  • Austin, United States Mulya Technologies Full time

    Hardware Verification Engineer Santa Clara / Austin We are an early stage tech startup based in Silicon Valley, funded by top tier venture and strategic investors. We are a team of seasoned semiconductor and software professionals with trackrecord of building successful products and companies. We have offices in Santa Clara and Bangalore and we are actively...