Formal Verification Engineer

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 performance RISC-V CPU from scratch, and share a passion for AI and a deep desire to build the best AI platform possible. We value collaboration, curiosity, and a commitment to solving hard problems. We are growing our team and looking for contributors of all seniorities. Tenstorrent is looking for a person ready to take up the challenge of working in a high-profile project where we design and integrate multiple chiplets into a System-in-package, in collaboration with external stakeholders. You will work with Tenstorrent worldwide experts and leaders in the USA, Japan and other countries, and help us make our IP even better. In this role, you will be responsible for DFT implementation using industry standard tools for high-speed CPU core design. This role is remote based out of the United States. 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 You have a Bachelor’s, Master’s, or PhD in Electrical Engineering, Computer Engineering, or Computer Science, along with 10+ years of relevant DFT experience. You have hands-on experience with industry-standard DFT tools such as Synopsys and Siemens, as well as scripting in TCL and Python. You bring expertise in DFT planning, SoC-level silicon debug, formal verification, and signoff of inserted DFT logic. You are a strong cross-functional collaborator who can assess risk, communicate resource needs, and deliver in a complex technical environment. What we need Build

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people. Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what’s never been done before takes vision, innovation, and the world’s best talent. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join the team and see how you can make a lasting impact on the world. As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure correctness. You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks. You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team. What you will be doing: Identify key behaviors for verification to write clear testplans for sophisticated designs. Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties. Develop abstraction models to overcome complexity challenges and acquire full proofs, or bounded proofs with sufficient coverage. Drive formal tools to realize their best performance. Debug RTL to identify causes of failure scenarios. Contribute to flow and script development

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 performance RISC-V CPU from scratch, and share a passion for AI and a deep desire to build the best AI platform possible. We value collaboration, curiosity, and a commitment to solving hard problems. We are growing our team and looking for contributors of all seniorities. Tenstorrent is seeking a CPU Verification Fellow to lead verification strategy and execution for next-generation RISC-V high-performance processors. This role requires deep CPU verification expertise, strong microarchitecture understanding, and the ability to guide large engineering teams from early design through tapeout and post-silicon validation. The ideal candidate has verified complex out-of-order, speculative, superscalar CPUs and can define scalable methodology across simulation, formal verification, emulation, FPGA, and silicon bring-up. This role is hybrid, based out of Santa Clara, CA or Austin, TX. 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 You have deep experience verifying high-performance superscalar CPUs, ideally including out-of-order and speculative processors. You have strong knowledge of RISC-V architecture, including ISA compliance, privileged architecture, virtual memory, atomics, vector extensions, and memory model behavior. You are highly proficient in SystemVerilog, UVM, constrained-random verification, assertions, functional coverage, and advanced debug methodologies. You have hands-on experience with CPU refere

The Ontology Engineer is a foundational technical hire on the AI, ML and Data Science team specializing in Knowledge Representation. This role is responsible for designing and maintaining the formal ontological architecture that makes cross-organizational data alignment. This is not a taxonomy or metadata management role. It requires genuine formal depth in description logics, upper ontology theory, and the ability to reason about what an ontology commits to and what it leaves open. Our platform sits between hospitals, distributors, GPOs, manufacturers, and regulators, enabling transactional execution, clinical data alignment, and analytics optimization across organizational boundaries. Each party maintains its own implicit ontology encoded in its schemas, workflows, and data. The Ontology Engineer will define the formal structures and processes that make alignment across them possible. These structures should be auditable, compositionally sound, and maintainable over a multi-year lifecycle as all parties' systems evolve. This Engineer will work directly with teammates that are familiar with ontology formalisms and with domain experts who understand the operational realities of HCSC data. They will be expected to make and defend design decisions at the level of formal correctness, not just practical convenience, and to direct and evaluate LLM-assisted ontology discovery and enrichment pipelines with the rigor that formal alignment demands. Essential Duties: Design and maintain the ontology, covering the canonical structural layer (organizations, items, contracts, transaction), source data ontologies (supporting the canonical) and the process layer (data curation, ontology matching, workflows). Establish the rules for when two records from different systems refer to the same thing, and when they don't — recognizing the answer can differ by use case. Establish mappings from trading partner source data to the canonical ontology, with documented proven

About Mixpanel Mixpanel is the leading product intelligence and analytics platform, trusted by more than 29,000 companies to help understand how people use the products they build. By combining powerful analytics with AI that knows your business, Mixpanel helps teams see what’s working, diagnose what’s not, and decide what to build next. Learn more at mixpanel.com . About the Role As Mixpanel scales into the enterprise, this role is strategic: you'll own the systems and surface area that determine whether IT and security teams can confidently standardize on Mixpanel. Product Platform's mission is to earn the trust of enterprise-grade customers — organizations with formal procurement, security review functions, and a long institutional memory of rolling software out — across three dimensions: reliable performance at scale, security and compliance, and frictionless adoption by large organizations. You'll own Mixpanel's core enterprise management surface: identity and access management (RBAC, SSO, passkeys, audit logging), admin and account orchestration (settings, provisioning, organization setup), the public API and extensibility surface, and the consistency of the design system and shared components every product team builds on. The surface area is growing, too — conversations are underway about extending the platform's remit into adjacent areas like plan management as Mixpanel's enterprise footprint expands. What You'll Do Define and drive the roadmap for Mixpanel's enterprise management surface — identity and access management, SSO and authentication, audit logging, admin controls, and account/org settings Anticipate requirements from enterprise security reviews, compliance obligations, and the large organizations evaluating Mixpanel, and translate them into a prioritized roadmap Own the consistency and reliability of shared platform foundations — the design system and components, public APIs, and the patterns every other product team builds on Partner with engine

The Digital PM Analyst is a seasoned professional role. Applies in-depth disciplinary knowledge, contributing to the development of new techniques and the improvement of processes and work-flow for the area or function. Integrates subject matter and industry expertise within a defined area. Requires in-depth understanding of how areas collectively integrate within the sub-function as well as coordinate and contribute to the objectives of the function and overall business. Evaluates moderately complex and variable issues with substantial potential impact, where development of an approach/taking of an action involves weighing various alternatives and balancing potentially conflicting situations using multiple sources of information. Requires good analytical skills in order to filter, prioritize and validate potentially complex and dynamic material from multiple sources. Strong communication and diplomacy skills are required. Regularly assumes informal/formal leadership role within teams. Involved in coaching and training of new recruits. Significant impact in terms of project size, geography, etc. by influencing decisions through advice, counsel and/or facilitating services to others in area of specialization. Work and performance of all teams in the area are directly affected by the performance of the individual. Responsibilities: Responsible for building new products and services, working with data to continually optimize the platform Develop relationships with the engineering organization to turn pain points into prioritized requirements and using usability studies, metrics and competitive analysis to understand the platform and business needs for the platform Understand how a global matrixed organization operated and functions, and thrive in this type of environment Innovate and seek out new solutions Contribute to the platform product portfolio and roadmap Responsible for worki