> Markdown version of [/jobs/ext/4660727-digital-verification-engineer](https://www.wearedevelopers.com/jobs/ext/4660727-digital-verification-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).

---

# Digital Verification Engineer

- **Company:** EfficientAI Corporation
- **Location:** Pittsburgh, PA, United States
- **Experience:** Experienced
- **Salary:** $130,000 - $180,000
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Application Frameworks, Automation of Tests, C++ (Programming Language), Computer Engineering, Data Centers, Software Debugging, Data Flow Control, Formal Verification, Python (Programming Language), Log Analysis, Software Engineering, Subsystems, System on a Chip, SystemVerilog, Computer Network Operations, Application Specific Integrated Circuits, Agentic-AI, Wearables, Programming Languages
- **Published:** November 10, 2026
- **Apply:** https://www.careerbuilder.com/job-details/digital-verification-engineer-pittsburgh-pa--57c721a9-931e-46a4-b5c2-86caabf0b482

## About the Role

Verification Engineering, Programming Languages, Energy Efficiency, Network Operations Center, Wearables, Artificial Intelligence (AI), Software Engineering, Product Development, Verification Engineering, Debugging Skills, * Education: Bachelor''s or Master''s/PhD degree in Electrical Engineering, Computer Engineering, or a related field.

 * Experience: 4+ years of experience in ASIC/SoC design verification, with multiple projects taken through tapeout.
 * UVM and SystemVerilog: Hands-on experience building and extending UVM testbench components (agents, scoreboards, sequences) and constrained-random tests.
 * Coverage: Experience defining functional coverage and driving code and functional coverage closure at block or subsystem level.
 * Assertions: Working knowledge of SystemVerilog Assertions.
 * Debug Skills: Ability to independently debug simulation failures using waveforms, logs, and design knowledge.
 * Scripting & Automation: Proficiency in Python for test automation, log analysis, and regression flows.
 * Communication: Ability to clearly report verification status and issues to the team.

Ways to Stand Out

 * C/C++ experience for reference models or DPI-based verification.
 * Exposure to formal verification (JasperGold or similar).
 * Experience building or using AI agentic flows for DV.
 * Knowledge of computer architecture or dataflow architectures.
 * Exposure to power-aware verification (UPF)

## Description

Efficient Computer is rethinking computing from the ground up to solve one of AI''s biggest challenges: energy. Our Fabric architecture delivers a 10-100x improvement in energy efficiency for general-purpose computation, including AI, while supporting familiar programming languages and software frameworks-unlocking new possibilities for autonomous machines, intelligent infrastructure, wearables, and space systems. With our first processor, Electron E1, now shipping in volume and more than $97 million in Series B financing recently announced, we''re accelerating customer deployments and scaling our architecture to data center performance. Join us to build the hardware and software that bring intelligence wherever it''s needed and help shape the next generation of computing., * Develop and maintain UVM/SystemVerilog testbenches, sequences, and tests for block- and subsystem-level verification.

 * Write verification plans from design specifications in collaboration with design and architecture teams.
 * Write SystemVerilog assertions and functional coverage models, and drive coverage to closure.
 * Debug simulation failures, working with designers to root-cause and fix issues.
 * Contribute to regression infrastructure, automation, and dashboards that track verification progress.
 * Support gate-level simulation and other sign-off activities.