Senior AI Engineer for RTL Design & Formal Verification
Jobleads-US
Astera Labs in San Jose, CA, is seeking a Senior Software Engineer for AI-driven RTL design and formal verification. You will develop and deploy AI applications using LLMs and agentic frameworks to accelerate RTL, static checks, and formal verification workflows.
Work with RTL design, DV, formal verification, and CAD/EDA teams to translate design challenges into AI-assisted tooling, build scalable infrastructure for multi-agent systems, and deliver tangible improvements in design closure and bug
#J-18808-Ljbffr Jobleads-USVacancy posted 20 hours ago
Similar jobs that could be interesting for youBased on the Senior AI Engineer for RTL Design & Formal Verification in Kentucky vacancy
$160.5k - $200k
...Senior Software Engineer- AI for RTL Design & Formal Verification San Jose, California, United States Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners...SeniorFor contractorsFlexible hours$175k - $229k
...Senior Technical Manager - RTL Design Engineer Category Chip Design Location Austin,... ...transformative technologies such as AI, 5G/6G, and Wi‑Fi 8. Our... ...including Synthesis, Formal Equivalence check, CDC,... ...Perl; and Design Verification (DV), Design for Testability...SeniorTemporary workMediaTek Research Lab Inc.
Kentucky2 days ago- ...Blue Origin is seeking a Senior ASIC Verification Engineer to lead the verification of... ...Translate architecture and design specifications into comprehensive... ...capability across RTL, testbench, and system interactions... .... Familiarity with formal verification tools and methodologies...Senior
AnySilicon
Eastern, KY4 days ago - ...Life Workstream is building AI-native services that deliver... ...validating the first service now with design customers from our existing base. This is a founding engineer opportunity. As the first... ...context, constrained actions, verification, evals, review, monitoring....SeniorHourly payFull timeWork at officeLocal areaRemote work
Workstream Platform Services Limited
Kentucky22 hours ago - ...Application Engineering Application Engineering... ...cloud computing, and AI, we depend on computing... ...We are looking for a Senior Design Verification Engineer to join a... ...Knowledge ofCDC/RDC, formal verification, and low... ...flow integration RTL and gate-level simulations...SeniorWork at office
proteanTecs
Eastern, KY4 days ago - ...compute workloads. As engineers within the CPU... ...specifications and developing RTL for the CPU which... ...driven design strategy, you will... ...and scalable. Verification - assist the verification... ...development, formal methods, and... ...experience driving modern AI Tools to assist in...Flexible hours
NUVACORE, Inc.
Kentucky22 hours ago - ...SpaceX in Austin, TX is seeking a Sr. RTL Design Engineer (Silicon Engineering) to develop next‑generation ASICs for Starlink and space infrastructure... ..., write RTL in Verilog/SystemVerilog, and work with verification, timing, and physical teams to deliver fully verified...Senior
- ...NUVACORE, Inc. is seeking a CPU Micro-Architect/RTL Engineer to help design next-generation high-performance, low-power CPU cores. You will drive... ...RTL specifications in Verilog, and collaborate with verification and PD teams to meet timing, area and power goals. You...Senior
- ...MediaTek is seeking a Senior Technical Manager in Austin, TX, to lead RTL design efforts for ARM-based CPU subsystems and drive module IP development. The role includes front-end verification, DV/DFT/STA, and scripting with Perl to automate tasks. Requirements include...Senior
- ...Core Intelligence layer — the platform’s differentiator. You design and build the Signal Engine, Action Engine, Librarian Agent and Ontology Graph,... ...and implement agentic workflows with LangGraph and Azure AI Foundry that power the Signal and Action Engines. Build...Senior
AiRo Digital Labs
Eastern, KY4 days ago - ...ChipAgents is redefining the future of chip design and verification with agentic AI workflows. Our platform leverages cutting-edge generative AI to assist engineers in RTL design, simulation, and verification, dramatically accelerating chip development. Founded by experts...
ScOp Venture Capital LLC.
Eastern, KY4 days ago - ...We are hiring a Senior AI Engineer to design, build, and operate AI-powered automation across AMPS using hosted large language models (LLMs). This is a hands-on role with end-to-end ownership: you will turn real business problems into secure, production-ready AI features...SeniorWork at officeLocal area
AMPS
Eastern, KY8 hours ago $136k - $218.5k
...actively searching for talented Senior Verification Engineers to ensure the integrity and... ...the micro-architecture, design, verification,... ...coverage. Innovate by bringing AI and LLM-driven workflows into... ..., functional coverage, and formal test plan documentation....SeniorNVIDIA
Eastern, KY5 days ago$174k - $352.5k
...Senior Principal ASIC Design EngineerThis role has been designed... ...capability and engineering methodology.... ...design, design verification through software... ...Implement complex RTL modules and subsystems... ...automation and AI‑assisted design... ..., lint, CDC, formal, and other advanced...SeniorWork experience placementWork at officeHobbsnews
Eastern, KY8 hours ago- ...WINTrio LLC is seeking a Fully Remote Senior Developer / AI Engineer to design, develop, and operate AI/ML solutions for a federal program. The role covers generative AI, RAG, chatbots, document processing, and anomaly detection. Strong Python, ML, and production experience...SeniorRemote job
- ...Principal ASIC Design Verification Engineer Blue Origin is seeking a Principal ASIC Verification Engineer to lead the verification of advanced... ...Evaluate verification completeness through coverage, assertions, formal analysis, emulation, and silicon correlation. Resolve...
AnySilicon
Eastern, KY4 days ago - Credence in the United States is seeking a Senior AI Software Engineer to design, develop, and deploy advanced AI-driven solutions for federal clients, including generative AI and agentic systems. You will collaborate with cross-functional teams to deliver secure, scalable...Senior
$10k
...empower everyone to create software. Our AI visual development platform lets anyone,... ...lets you fine-tune any detail, from the design to privacy rules and programming logic, so... ...About the Team: We’re expanding our AI Engineering Team to build next-generation AI-powered...SeniorCurrently hiringWork at officeRemote workWorldwideRelocationRelocation packageFlexible hoursBubble Group, Inc.
Eastern, KY3 days ago- ...AKIVA is an AI-native engineering firm specializing in enterprise services, domain-specific solutions, and high-performance infrastructure from... ...AI frameworks. Architect distributed inference pipelines, design agent orchestration patterns, and ship research-grade ML into...SeniorLong term contractTemporary work
AKIVA AI, LLC
Eastern, KY4 days ago - Zachary Piper Solutions in Gaithersburg, MD, seeks a Senior AI Software Developer to design, develop, and modernize mission-critical software for a... ...This full-time hybrid role blends traditional software engineering with AI-augmented development in an Agile/SAFe...SeniorFull time
- ...Thomson Reuters is seeking a Senior Software Engineer – AI to architect and optimize backend platforms powering AI-native features for tax and accounting professionals. You will design scalable services, integrate LLM providers, and ensure high availability in production...SeniorFlexible hours
- ...Thomson Reuters Corp. is seeking a Staff Software Engineer / Architect – AI for the CoCounsel Forward Deployed Engineering team in a hybrid role... ...other locations. You will work closely with customers to design AI-powered solutions, build production-grade services, and...Senior
- ...Thomson Reuters in the United States is seeking a Senior Software Engineer, AI, to build AI-driven software for professionals through CLEAR. You will design multi-component pipelines, RAG architectures, and autonomous agents as part of scalable backend and frontend features...Senior
- ...NUVACORE, Inc. is seeking Verification Engineers to join the design verification (DV) team across multiple levels. You will help verify architectural correctness... ...and cross-functional collaboration with architects and RTL teams to fix issues and support bring-up on silicon and...Senior
- ...NUVACORE, Inc. is seeking a CPU Physical Design Engineer to drive end-to-end design closure from RTL to GDS/tape-out while optimizing power, performance, and area. You will coordinate with CAD, RTL/μ-arch, and partner teams to ensure timely design cycle progress and PPAs...Senior
- ...Cisco is seeking an experienced ASIC Engineer to join a hybrid team defining, designing, and verifying ASICs and subsystems for Cisco platforms. You will collaborate... ...volume products. Responsibilities include guiding RTL changes, developing test plans and benches, and...Senior
- ...NUVACORE, Inc. is seeking a seasoned CPU Physical Design Engineer to drive RTL feasibility, timing closure, and power optimization across CPU units. You will own RTL intake, enforce design readiness, and collaborate with CAD, RTL, and performance modeling teams to ensure...Senior
- Everforth Apex seeks a Senior AI Engineer to design and build enterprise AI search solutions that answer questions from large document collections. You will work on Azure AI Search, RAG architectures, and Python-based production AI pipelines in a highly technical, individual...Senior
- ...leading provider of high-performance electronic trading and capital markets infrastructure solutions. We are seeking a Senior Design Verification Engineer to enhance our innovative technology used by tier-1 financial institutions. Responsibilities: Verify and...Senior
AnySilicon
Eastern, KY4 days ago - Intone Inc. is seeking a Senior AI Platform Engineer for a 12-month contract based in New York City. You will design, build, and secure AI platform infrastructure in a regulated environment, bridging technical implementation with security and compliance requirements. You...SeniorContract work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior AI Engineer for RTL Design & Formal Verification. Be the first to apply!
Related searches