Founding Tech Staff: Formal Verification for AI-Driven ASICs
Architect Labs
Architect Labs in Palo Alto is seeking a Founding Member of the Technical Staff - Formal Methods to advance the formal foundations of our chip-design flow. You will own the formal stack end-to-end—spec language, IR, proof obligations, solver integration, and the empirical evidence that our artifacts faithfully implement the spec. This is a fast-moving, production-oriented role at the intersection of formal methods, AI, and silicon, with broad influence on design verification and tape-out #J-18808-Ljbffr Architect Labs
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Founding Tech Staff: Formal Verification for AI-Driven ASICs in Palo Alto, CA vacancy
- ...Architect Architect is an AI lab for the compute... ...on-demand custom ASICs at scale. Our goal is... ...AI with Silicon with a founding team from Anthropic, Google... ...of the Technical Staff - Formal Methods at Architect Labs... .... Co‑design with our verification methodology and ML research...Suggested
- Kindredventures in Palo Alto is looking for a Founding Member of the Technical Staff to lead AI model training for chip design. You will work on cutting-edge... ...salary and equity, focusing on impactful AI-driven chip design challenges. #J-18808-Ljbffr KindredventuresSuggested
- ...Architect is a frontier AI lab for chip design.... ...for on-demand custom ASICs at scale. Our goal is... ...with Silicon with a founding team from Anthropic,... ...Member of the Technical Staff on the Design Verification team at Architect,... ...verification and AI-driven design automation. Review...SuggestedNight shift
- ...Architect is a frontier AI lab for chip... ...on-demand custom ASICs at scale. Our goal... ...with Silicon with a founding team from... ...of the Technical Staff on the RTL Design... ...you'll own the AI-driven microarchitecture... ...documentation for verification closure. Close collaboration...Suggested
- ...Architect is a frontier AI lab for chip... ...on-demand custom ASICs at scale. Our goal... ...with Silicon with a founding team from... ...of the Technical Staff on the RTL Design... ...you’ll own the AI-driven microarchitecture... ...with DV : Support verification bring‑up with memory...Suggested
- ...Architect is a frontier AI lab for chip... ...on-demand custom ASICs at scale. Our goal... ...with Silicon with a founding team from... ...of the Technical Staff (Applied AI) at Architect... ...design or Design Verification engineer, with a solid... ...Cutting‑edge AI‑driven chip design challenges...
- ...streamlined login and identity verification with ID.me at 20 federal... ...embrace the thoughtful use of AI tools in our daily work and there... ...application and interviews which can be found here.Role... ...technologies, including explaining AI-driven features in a clear, non-technical...Full timeWork at officeRemote work
ID.me
Mountain View, CA1 day ago - Architect, located in Palo Alto, California, is seeking a Founding Member of the Technical Staff (Applied AI). You will design AI agents that tackle core chip-design tasks and own end-to-end workflows while partnering with ML research teams. The ideal candidate holds an...
- ...Architect is a frontier AI lab for chip design. We... ...for on-demand custom ASICs at scale. Our goal is to... ...AI with Silicon with a founding team from Anthropic, Google... ...of the Technical Staff - Software at Architect... ...platform that powers AI‑driven chip design. You’ll own...
- About Architect Architect is an AI research and product lab for... ...design using AI, cut down ASIC design time and cost, and enable... ...months working alongside the founding team to push the boundaries of... ...work on 0 to 1 problems in AI‑driven chip design #J-18808-Ljbffr Architect...Internship
- ...The Role We are seeking experienced Senior ASIC Designers. About The Role We are seeking... ...with partner teams across architecture, verification, physical design, firmware, DFT, and post... ...infrastructure layer: unlocking greater AI capability while dramatically improving efficiency...Visa sponsorshipRelocation package
- Architect is a frontier AI lab for chip design. We... ...for on-demand custom ASICs at scale. Our goal is to... ...AI with Silicon with a founding team from Anthropic, Google... ...of the Technical Staff at Architect, you'll be... ...models for chip design, verification and exploration tasks....
- Architect Labs, based in Palo Alto, is seeking a Founding Member of the Technical Staff (Applied AI) to revolutionize chip design using AI. The role combines hardware expertise with AI to build agent systems that enhance chip-design tasks. Applicants should have an MS...
- ...NVIDIA, and Google, Astrocade was founded by Amir Sadeghian (Stanford... ...and Fei-Fei Li (Godmother of AI). We’re building the infrastructure... ...Frontend Member of Technical Staff (MTS), you’ll help make that a... ...with recommendation-driven feed UIs Compensation & Benefits...
- ...looking for a Member of Technical Staff with strong Python skills and... ...scalable platforms for AI and ML workloads. As MTS, you'... ...decisions, partner closely with the founding team, and play a critical role... ...tailored to customer-driven use cases. Scale Distributed...
- Lunar Energy in Mountain View, CA is seeking an IT Support Technician to deliver reliable 1st/2nd line IT support for a fast-growing team. You’ll handle onboarding, device provisioning, and admin tasks across macOS/Windows and SaaS platforms, while keeping systems secure...Local area
- Design and execute investigations into how AI models perform and fail across real-world scenarios. Analyze input data, model outputs... ...Contribute beyond your immediate technical domain — this is a founding role that requires ownership, versatility, and the willingness to...Immediate startVisa sponsorshipShift work
$140k - $160k
...code whether it was written by humans or AI, and whether it's 40-year old C++ code or... ...cutting edge Bazel Monorepos. Endor Labs was founded by serial entrepreneurs Varun Badhwar and... ...deployment, fueling the next generation of AI-driven software development. AI Code security -...Shift work- Assured is modernizing insurance IT with an AI-forward approach. We seek a Senior IT Support Engineer to own day-to-day IT operations for a fully remote team, lead onboarding/offboarding, and partner across IT and Security to keep environments secure and compliant. You...Remote job
$75k - $90k
...in short order to prevent them from escalating.Lunar Energy was founded to transition homes to 100% clean energy—making our electricity... ...on/off-boardingIdentify issues with and optimize IT processesUse AI tools to speed up troubleshooting, automate repetitive tasks, and...Full timeLocal areaLunar Energy
Mountain View, CA3 days ago- ...opening and tracking bugs assigned to Client staff. Obtaining and configuring required... ...We may use artificial intelligence (AI) tools to support parts of the hiring process... ...identifying potential inconsistencies or verification signals in application materials based on...Local area
TSMG
Palo Alto, CA4 hours ago - ...experience streamlined login and identity verification with ID.me at 20 federal agencies, 45... ...ID.me, we embrace the thoughtful use of AI tools in our daily work and there are even... ...application and interviews which can be found here.Role OverviewWe are seeking an IT Engineer...Full timeWork at officeRemote work
ID.me
Mountain View, CA2 days ago - ...Sony. DataVisor holds a rich portfolio of AI-powered SaaS products, such as Risk... ...open, positive, collaborative, and results driven. Come join us! Job Summary: As a Sr... ...explanations once the solution or root cause is found. Specific Job Duties: Provide...
DataVisor
Mountain View, CA5 days ago - ...robotics, self-driving cars, AI, defense, and healthcare. Lumotive... ...subsystems integrated into ASIC/SoC platforms. You’ll... ...with ASIC/SoC, digital design, verification, board, and systems teams.... ...both prototyping platforms and formal product environments; manage transitions...Shift work
Lumotive
Milpitas, CA3 days ago $120k - $200k
...implementation, testing, release, and instrumentation. Embed AI-powered features, assistive UX, and automation into product workflows... ...learning knowledge, and experience with microservices, event-driven architectures, and AWS or GCP. Benefits Base salary range of...Full timeFlexible hoursEmbedding VC
Mountain View, CA5 days ago$180k
ABOUT xAI xAI’s mission is to create AI systems that can accurately understand the universe and aid humanity in its pursuit of knowledge... ...teammates. ABOUT THE ROLE The Imagine team is redefining AI‑driven media experiences for Grok users worldwide. As a Product Safety Engineer...Temporary workWorldwide- Member of Technical Staff, Research Evaluations Sanas is pioneering the future of human communication. Founded by a team of Stanford researchers and entrepreneurs with deep industry... ...the world's first real-time speech AI platform capable of accent translation, noise...
- ...and motivated Scientist/Senior Scientist to join our cutting-edge AI startup at the forefront of revolutionizing cancer therapy. This... ...advancements in oncology and beyond by leveraging innovative AI-driven platforms. Responsibilities Design and execute experiments to advance...Work at office
- Member of Technical Staff, LLM Post-Training, Applied Sanas is pioneering the future of human communication. Founded by a team of Stanford researchers and entrepreneurs with deep industry... ...the world's first real-time speech AI platform capable of accent translation, noise...
- AI Startup in Stealth | Mountain View, CA AI Startup in Stealth is a full-stack semiconductor company founded by pioneers of AI silicon, systems, software, and infrastructure to build the... ...an exceptional Member of Technical Staff to help design, build, and scale core...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Founding Tech Staff: Formal Verification for AI-Driven ASICs. Be the first to apply!
Related searches
- operations support technician Palo Alto, CA
- product support technician Palo Alto, CA
- systems support technician Palo Alto, CA
- user support analyst Palo Alto, CA
- technical support specialist Palo Alto, CA
- help desk assistant Palo Alto, CA
- mri tech aide Palo Alto, CA
- desktop support analyst Palo Alto, CA
- tech assistant Palo Alto, CA
- technical assistant Palo Alto, CA