Formal Verification Engineer

🕒 vor 10 Tagen

🏄 California – Remote

🏄 California – Remote

💵 $100.000 - $500.000 / Jahr

⏰ Vollzeit

🟡 Mittelstufe

🟠 Senior

👷🏻‍♀️ Ingenieur

👻 Geisterscore 3%

Was es bedeutet: die Wahrscheinlichkeit, dass für diese Stelle niemand wirklich einstellt.So liest du es: 60 % oder höher heißt, wir halten das für einen Geisterjob. Niedrigere Werte sind weniger bedenklich.Warum dieser Wert:

• Seit 10 Tagen offen.
• Stellen bei diesem Unternehmen werden meist in 55 Tagen besetzt.

Jetzt Bewerben

Ähnliche Remote-Jobs finden

Tenstorrent Inc.

WebsiteLinkedInAlle Stellen

51 - 200 Mitarbeiter

Gegründet 2016

🏭 Fertigung

💼 Beratung

🤖 Künstliche Intelligenz

Manufacturing • Consulting • Artificial Intelligence

Tenstorrent ist ein führendes Technologieunternehmen mit Sitz in Santa Clara, Kalifornien, das sich auf KI-Halbleiter und Rechenlösungen spezialisiert hat. Sie haben fortschrittliche Produkte wie die TT-QuietBox entwickelt, eine flüssigkeitsgekühlte Workstation für die Entwicklung von KI-Modellen, und den Tenstorrent Galaxy, einen Hochleistungs-KI-Rechennodriek Server. Vor kurzem hat Tenstorrent über 693 Millionen US-Dollar in einer Series-D-Finanzierungsrunde gesichert, um seine KI-Chip-Fähigkeiten zu verbessern und Marktführern im Bereich von KI-Rechenzentren Konkurrenz zu machen.

Beschreibung

• Ensure the correctness of next-generation high-performance RISC-V CPUs and AI compute platforms • Use formal methods to prove complex hardware behavior and uncover corner cases that simulation may miss • Work closely with CPU architects, RTL designers, and design verification engineers • Develop properties and build formal verification environments • Analyze failures and drive issues to closure • Apply formal techniques to challenging problems in modern processor design • Identify hardware behaviors best verified through formal methods versus simulation, emulation, and other design verification techniques • Develop scalable properties and proofs for complex control logic and interacting microarchitectural blocks

🎯 Anforderungen

• 6+ years of experience in design verification, formal verification, or related RTL verification for CPUs, SoCs, ASICs, or complex digital designs • Hands-on experience with formal verification methodologies and tools, including property checking, assertions, assumptions, constraints, and coverage analysis • Strong SystemVerilog skills, including experience writing and debugging SVA • Solid understanding of digital design and computer architecture • Experience with CPU pipelines, caches, interfaces, control logic, or other complex microarchitecture is highly valuable • Strong programming and scripting skills in Python, Tcl, C/C++, or similar • Excellent debugging and problem-solving abilities • Eligibility to access U.S. export-controlled technology, including compliance with applicable export laws and potential citizenship/permanent residency or license requirements

🏖️ Vorteile

• Highly competitive compensation package and benefits • Equal opportunity employer

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen