Lead Digital Design Verification Engineer

Software Placements Ltd
Edinburgh, UK
2 months ago

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Experience level
Expert
Experience required
4 years minimum
Working hours
Regular working hours
Job source

Tech stack

Artificial Intelligence Software Debugging Logic Synthesis of Circuits Formal Verification Python (Programming Language) Process Driven Development SystemVerilog Scripting Front End Software Development Virtual Agents

Job description

You will be responsible for defining and supporting the adoption of cutting-edge verification tools and methodologies with a focus on AI and Machine Learning. You will have a horizontal role working with multiple projects and teams to accelerate adoption of latest verification best practices. Responsibilities: Develop and support adoption of generative AI tools to create and update, UVM and Formal verification environmentsDevelop methodology guidance and end to end flows to ensure AI tools used in a consistent, efficient and predictable wayDevelop and roll out solutions that reduce verification debug timeAutomate documentation checking to improve quality and consistencyBuild tools and processes to support verification planningOptimise UVM regressions through improved automation and machine learningMaintain and develop best practices for Functional Safety Verification, Gate Level Simulation and Low Power VerificationMaintain and improve design review checklists and quality documentation

Requirements

Degree in Electrical/Electronic Engineering, Microelectronics, or a related discipline Experience:4+ years experience in the microelectronics/EDA industryProficiency in System Verilog and assertionsHands-on experience with Metric Driven Verification (MDV)Strong knowledge of constrained-random verification techniques (e.g. UVM)Excellent spoken and written EnglishSelf-motivated, with strong planning, interpersonal, and communication skills Additional Skills/Preferences: Formal verification experience and related applicationsProficiency with scripting languages (e.g. Python)Knowledge of AI agent development (tools, concepts, and infrastructure)Methodology development and change management experienceFamiliarity with front-end design tools (e.g. LINT, CDC analysis)Exposure to quality processes and standards (e.g. ISO 9001, ISO 26262)

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on apply4u.co.uk

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

3:21 min

Navigating the ethical integration of virtual colleagues

Rudi Bauer Rudi Bauer +1 · Cappuccino with HR

1:04 min

Introduction to Bitcoin script parsing tools

Steve Shadders · LIVE

3:20 min

Certifying safety-critical automotive software and deploying progressive testing strategies

David Romić · World Congress 2023

40 sec

Empowering automated workflows with agentic AI models

Mike Mike · World Congress 2025

1:53 min

Evaluating traditional scripting languages for modern development tasks

Jens Knipper Jens Knipper · Europe 2026 Virtual

Videos

See all

Related articles

See all