Talent.com
Silicon Logic Formal Verification - Full Time

Silicon Logic Formal Verification - Full Time

RivosSanta Clara, CA, United States
Hace 3 días
Tipo de contrato
  • A tiempo completo
Descripción del trabajo

Positions are open for full-time and co-op / internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design

Responsibilities

  • As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.

In this position, you will :

  • Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
  • Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
  • Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
  • Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
  • Develop reusable and scalable proof techniques.

    • Requirements

  • Solid understanding of formally specifying and analyzing temporal assertion properties.
  • Hands-on experience using model checking tools.
  • Experience with interactive theorem provers is a plus.
  • Excellent problem-solving skills, along with strong written and verbal communication abilities.
  • Excellent organizational skills and high self-motivation.
  • Ability to communicate and work well with different design teams.

    • PhD, Master's Degree, or Bachelor's Degree in a technical subject area.

    We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

    Crear una alerta de empleo para esta búsqueda

    Silicon Verification • Santa Clara, CA, United States

    Ofertas relacionadas
    • Oferta promocionada
    Silicon Design Verification Engineer.

    Silicon Design Verification Engineer.

    Advanced Micro DevicesSan Jose, CA, United States
    A tiempo completo
    WHAT YOU DO AT AMD CHANGES EVERYTHING.At AMD, our mission is to build great products that accelerate next-generation computing experiences—from AI and data centers, to PCs, gaming and embedded syst...Mostrar másÚltima actualización: hace 10 días
    • Oferta promocionada
    Post Silicon Validation- Semiconductor Industry

    Post Silicon Validation- Semiconductor Industry

    DBSI Services, Inc.Santa Clara, CA, United States
    A tiempo completo
    Title : Post Silicon Validation.Location : Santa Clara, California.Power & Perf measurements under various use case scenarios, associated debugs and analysis. DDR interface bring up and qualification ...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    FVCTO - Formal Verification Architect

    FVCTO - Formal Verification Architect

    IntelSanta Clara, CA, United States
    A tiempo completo
    Intel put Silicon in Silicon Valley.No one else is obsessed with engineering and.Join us, because at Intel, we are building a better tomorrow. The Data Center and AI (DCAI) delivers leadership Xeon ...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    • Nueva oferta
    U.S. Border Patrol Agent

    U.S. Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport, CA, US
    A tiempo completo
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Mostrar másÚltima actualización: hace 21 horas
    • Oferta promocionada
    FVCTO - Formal Verification Architect

    FVCTO - Formal Verification Architect

    Intel CorporationSanta Clara, CA, United States
    A tiempo completo
    FVCTO - Formal Verification Architect at Intel Corporation.Intel builds world‑changing technology that enriches the lives of everyone on earth. If you have a big idea, join us to create a better tom...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    Help Shape Innovation Paid Study for New Tech (Fremont, CA)

    Help Shape Innovation Paid Study for New Tech (Fremont, CA)

    uTest by ApplauseLivermore, CA, US
    A tiempo completo +1
    Looking for Fresh Eyes - Paid Study Opportunity! (Fremont, CA).We have launched a new, in-person testing opportunity - get ready for Project ONYX. No experience? No problem! Everyone is welcome to a...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    Post-Silicon Validation Engineer

    Post-Silicon Validation Engineer

    Diverse LynxSunnyvale, CA, United States
    A tiempo completo
    AMS, specifically in post silicon validation.Experienced in AMS Test development.Experience in PMIC, Data converters testing. Well-versed in lab automation using Python, LabVIEW.Experienced in debug...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    Analog / Mixed-Signal IC Verification Engineer

    Analog / Mixed-Signal IC Verification Engineer

    TetraMem INCFremont, CA, United States
    A tiempo completo
    TetraMem is a fast-growing well-funded startup company working on the next generation of computing platforms with unique ReRAM-based in-memory computing technologies. In this role, you will be respo...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    Sr. Flight Software Engineer (Verification)

    Sr. Flight Software Engineer (Verification)

    Reliable RoboticsMountain View, CA, United States
    Indefinido
    We're building safety-enhancing technology for aviation that will save lives.Automated aviation systems will enable a future where air transportation is safer, more convenient and fundamentally tra...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    CPU Formal Verification Engineer

    CPU Formal Verification Engineer

    IntelSanta Clara, CA, United States
    A tiempo completo
    Silicon Engineering Group (SiG).As part of our elite engineering organization, you'll be at the forefront of semiconductor innovation, transforming cutting-edge concepts into the silicon that drive...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    • Nueva oferta
    Border Patrol Agent - Earn up to $30,000 in Recruitment Incentives

    Border Patrol Agent - Earn up to $30,000 in Recruitment Incentives

    U.S. Customs and Border ProtectionDavenport, CA, US
    A tiempo completo
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Mostrar másÚltima actualización: hace 21 horas
    • Oferta promocionada
    Senior Formal Verification Engineer

    Senior Formal Verification Engineer

    NVIDIASanta Clara, CA, United States
    A tiempo completo
    Nvidia’s Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI capabilities into formal verification ta...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    GPU Formal Design Verification Engineer

    GPU Formal Design Verification Engineer

    ProdaptSan Jose, CA, United States
    Temporal
    Prodapt is a global technology company and the largest specialized player in the Connectedness industry.As an AI-first strategic partner, Prodapt provides consulting, business transformation, and m...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    Post Silicon Validation Engineer

    Post Silicon Validation Engineer

    Diverse LynxSunnyvale, CA, United States
    A tiempo completo
    RolePost Silicon Validation Engineer.Firmware development / Strong hands-on programming experience, C / C++, Validation.JD : Responsible for SoC and E2E system validation plan development, and execution...Mostrar másÚltima actualización: hace más de 30 días
    • Oferta promocionada
    Post-Silicon Validation Engineer

    Post-Silicon Validation Engineer

    ETCHED LLCSan Jose, CA, United States
    A tiempo completo
    Etched is building the world's first AI inference system purpose-built for transformers - delivering over 10x higher performance and dramatically lower cost and latency than a B200.With Etched ASIC...Mostrar másÚltima actualización: hace 3 días
    Subsystem Hardware Validation

    Subsystem Hardware Validation

    Pi-Square Technologies LLCSan Jose, CA, United States
    A tiempo completo +1
    Quick Apply
    The Component and Sub System Hardware Validation team is responsible for ensuring components and sub-systems, meet all functional and reliability targets needed to facilitate our autonomous mobilit...Mostrar másÚltima actualización: hace 7 días
    • Oferta promocionada
    Border Patrol Agent

    Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport, CA, US
    A tiempo completo
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Mostrar másÚltima actualización: hace 3 días
    • Oferta promocionada
    United States Border Patrol Agent

    United States Border Patrol Agent

    U.S. Customs and Border ProtectionDavenport Landing, CA, US
    A tiempo completo
    Customs and Border Protection (CBP) offers those interested in a career in law enforcement an exceptional opportunity to work with an elite team of highly trained professionals whose camaraderie, p...Mostrar másÚltima actualización: hace 3 días