Tenstorrent Inc.
Sr Staff Engineer, SoC Formal Design Verification
Tenstorrent Inc., Boston, Massachusetts, us, 02298
Overview
Tenstorrent is seeking an engineer who will apply rigorous formal methods to validate correctness across Tenstorrent's AI SoCs and chiplets, integrating advanced property checking into our sign-off methodology. This role is hybrid, based out of Boston, Toronto, Ottawa or Santa Clara. We welcome candidates at various experience levels for this role. During the interview process, candidates will be assessed for the appropriate level, and offers will align with that level, which may differ from the one in this posting. Who You Are
Formal verification expert with proficiency in JasperGold, VC Formal, or similar tools. Skilled in property/assertion development and formal coverage closure techniques. Comfortable integrating formal proof with simulation-based DV environments. Motivated by problem-solving, technical mentorship, and continuous improvement. What We Need
Architect and execute formal verification strategies for SoC and block-level designs. Develop property/assertion libraries, analyze proof results, and close unreachable coverage. Collaborate with RTL designers and architects to refine specifications and debug. Lead junior engineers in adopting state-of-the-art formal flows and methodologies. What You Will Learn
Advanced application of formal across AI SoC components including interconnects and CPUs. Integration of formal with simulation to achieve comprehensive sign-off coverage. Exposure to system-level formal verification across multi-chiplet AI platforms. Cutting-edge tooling and workflows to accelerate proof convergence and debug. Compensation for all engineers at Tenstorrent ranges from $100k - $500k including base and variable compensation targets. Experience, skills, education, background and location all impact the actual offer made. Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer. This offer of employment is contingent upon the applicant being eligible to access U.S. export-controlled technology. Due to U.S. export laws, including those codified in the U.S. Export Administration Regulations (EAR), the Company is required to ensure compliance with these laws when transferring technology to nationals of certain countries. If employment is not possible due to U.S. export laws, any offer of employment will be rescinded. Apply for this job
First Name, Last Name, Email, Phone, Resume/CV, LinkedIn Profile, Website – required fields as part of the application process. Accepted file types: pdf, doc, docx, txt, rtf. Voluntary Self-Identification
For government reporting purposes, we ask candidates to respond to a voluntary self-identification survey. Completion is voluntary and will not affect hiring. Information is confidential. Tenstorrent is an equal employment opportunity employer. See below for additional VEOD/EEO guidance required by law.
#J-18808-Ljbffr
Tenstorrent is seeking an engineer who will apply rigorous formal methods to validate correctness across Tenstorrent's AI SoCs and chiplets, integrating advanced property checking into our sign-off methodology. This role is hybrid, based out of Boston, Toronto, Ottawa or Santa Clara. We welcome candidates at various experience levels for this role. During the interview process, candidates will be assessed for the appropriate level, and offers will align with that level, which may differ from the one in this posting. Who You Are
Formal verification expert with proficiency in JasperGold, VC Formal, or similar tools. Skilled in property/assertion development and formal coverage closure techniques. Comfortable integrating formal proof with simulation-based DV environments. Motivated by problem-solving, technical mentorship, and continuous improvement. What We Need
Architect and execute formal verification strategies for SoC and block-level designs. Develop property/assertion libraries, analyze proof results, and close unreachable coverage. Collaborate with RTL designers and architects to refine specifications and debug. Lead junior engineers in adopting state-of-the-art formal flows and methodologies. What You Will Learn
Advanced application of formal across AI SoC components including interconnects and CPUs. Integration of formal with simulation to achieve comprehensive sign-off coverage. Exposure to system-level formal verification across multi-chiplet AI platforms. Cutting-edge tooling and workflows to accelerate proof convergence and debug. Compensation for all engineers at Tenstorrent ranges from $100k - $500k including base and variable compensation targets. Experience, skills, education, background and location all impact the actual offer made. Tenstorrent offers a highly competitive compensation package and benefits, and we are an equal opportunity employer. This offer of employment is contingent upon the applicant being eligible to access U.S. export-controlled technology. Due to U.S. export laws, including those codified in the U.S. Export Administration Regulations (EAR), the Company is required to ensure compliance with these laws when transferring technology to nationals of certain countries. If employment is not possible due to U.S. export laws, any offer of employment will be rescinded. Apply for this job
First Name, Last Name, Email, Phone, Resume/CV, LinkedIn Profile, Website – required fields as part of the application process. Accepted file types: pdf, doc, docx, txt, rtf. Voluntary Self-Identification
For government reporting purposes, we ask candidates to respond to a voluntary self-identification survey. Completion is voluntary and will not affect hiring. Information is confidential. Tenstorrent is an equal employment opportunity employer. See below for additional VEOD/EEO guidance required by law.
#J-18808-Ljbffr