> Markdown version of [/jobs/ext/3006237-verification-design-automation-engineer](https://www.wearedevelopers.com/jobs/ext/3006237-verification-design-automation-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Verification Design Automation Engineer - **Company:** Cornelis Networks - **Location:** United States (Remote available) - **Experience:** Expert - **Contract:** Permanent contract - **Skills:** Computer-Aided Design, Adobe InDesign, Artificial Intelligence, Computer Engineering, Continuous Integration, Software Debugging, Linux, Electronic Design Automation, Perl (Programming Language), Formal Verification, Github, Job Scheduling, Python (Programming Language), Shell Script, Software Engineering, Software Systems, Subsystems, SystemVerilog, Tcl (Programming Language), Scripting, High Performance Computing, Application Specific Integrated Circuits, Git Flow, Information Technology, Data Analytics - **Published:** September 19, 2026 - **Apply:** https://www.builtincolorado.com/auth/login?destination=/job/senior-verification-design-automation-engineer/11257499 ## About the Role * 8+ years of post-college experience in design automation, verification automation, CAD, infrastructure, or ASIC verification support * 8+ years of experience with scripting and automation using Python, Perl, Tcl, shell scripting, or similar languages * Experience supporting Linux-based engineering environments, source-control systems, build flows, regression execution, and EDA tool integration * Ability to debug automation failures, tool/runtime issues, infrastructure bottlenecks, and workflow inefficiencies in complex verification environments * B.S. Degree in Computer Engineering, Computer Science, Electrical Engineering, or a related technical discipline Preferred Qualifications: * M.S. Degree in Computer Engineering, Computer Science, Electrical Engineering, or a related technical discipline * Experience supporting large-scale ASIC verification environments, regression farms, EDA tool flows, and distributed compute infrastructure * Knowledge of SystemVerilog/UVM verification methodologies and the ability to partner effectively with verification engineers * Experience with Github Actions, Git workflows, job schedulers, data analytics, and automation for regression management, coverage tracking, and productivity metrics ## Description Be an Early Applicant Remote Hiring Remotely in USA Senior level Remote Hiring Remotely in USA Senior level Develop and maintain AI-based ASIC verification automation flows, regression infrastructure, dashboards, reporting tools, and triage automation. Build scripts and integrations using Python, Perl, Tcl, shell scripting, and Make. Support simulation, coverage, lint, formal, emulation, continuous integration, EDA tool integration, and distributed compute infrastructure. Debug automation, tool, runtime, licensing, queue, and workflow issues while improving verification reliability, reproducibility, and efficiency across geographically distributed engineering teams. The summary above was generated by AI At Cornelis we're building the future of AI and HPC networking with an AI-first approach to silicon and software development. We're seeking engineers who are energized by working on cutting-edge ASIC design and distributed software systems, and who are motivated to push the boundaries on how AI can transform everything from chip architecture to system performance at scale. Cornelis Networks delivers the world's highest performance scale-out networking solutions for AI and HPC datacenters. Our differentiated architecture seamlessly integrates hardware, software and system level technologies to maximize the efficiency of GPU, CPU and accelerator-based compute clusters at any scale. Our solutions drive breakthroughs in AI & HPC workloads, empowering our customers to push the boundaries of innovation. Backed by top-tier venture capital and strategic investors, we are committed to innovation, performance and scalability - solving the world's most demanding computational challenges with our next-generation networking solutions. We are a fast-growing, forward-thinking team of architects, engineers, and business professionals with a proven track record of building successful products and companies. As a global organization, our team spans multiple U.S. states and six countries, and we continue to expand with exceptional talent in onsite, hybrid, and fully remote roles., We are hiring a Senior Verification Design Automation Engineer with strong design automation, AI based flow development, (agents, skills), scripting , infrastructure, and verification environment experience to support the development and execution of scalable ASIC verification flows for world-class SoCs used in high-performance computing, high-performance data analytics, and artificial intelligence interconnect solutions., * Develop, maintain, and improve AI based flows for verification infrastructure, automation frameworks, and execution environments used across block, subsystem, and SoC-level ASIC verification * Build and support scalable regression flows, dashboards, reporting utilities, and triage automation to improve verification productivity and visibility * Create and enhance scripts, tools, and integrations using Python, Perl, Tcl, shell scripting, Make, and related automation technologies * Support simulation, coverage, lint, formal, emulation, and continuous integration flows in collaboration with verification, design, architecture, and CAD teams * Manage compute, storage, license, queue, and job-dispatch related infrastructure issues impacting verification execution and turnaround time * Drive automation improvements that make verification environments more reliable, reproducible, debuggable, and efficient across geographically distributed teams ## Related Videos - [You don't need to write the code. You need to become a verification architect and prove it's correct](https://www.wearedevelopers.com/videos/100023-you-don-t-need-to-write-the-code-you-need-to-become-a-verification-architect-and-prove-it-s-correct) - [Git for Code Reviews](https://www.wearedevelopers.com/videos/429-git-for-code-reviews) - [Innovating Developer Tools with AI: Insights from GitHub Next](https://www.wearedevelopers.com/videos/1268-innovating-developer-tools-with-ai-insights-from-github-next) - [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker) - [Design as an algorithm, not as a feature](https://www.wearedevelopers.com/videos/471-design-as-an-algorithm-not-as-a-feature) - [Why Git Still Matters](https://www.wearedevelopers.com/videos/100288-why-git-still-matters) ## Related Articles - [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again) - [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers) - [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers) - [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)