# Hardware Verification Engineer at Baya Systems

> United Kingdom · Unspecified · Software engineering · open. Source: https://alderhq.app/jobs/greenhouse%3Abayasystems%3A4809362008 (read 2026-11-12).

## Facts (observed)

- Company: [Baya Systems](https://alderhq.app/companies/baya-systems)
- Location text: Cambridge, England, United Kingdom; England
- Where it can be done from (inferred): United Kingdom (evidence: "Location: Cambridge, England, United Kingdom; England")
- Posted: 2025-07-26 (475 days ago)
- First seen by alder: 2026-11-04 · last verified: 2026-11-08
- Reposted: 0 times · edited: 0 times
- Apply on the employer's site: https://job-boards.greenhouse.io/bayasystems/jobs/4809362008
- Skills listed (inferred): Python

## Pay and sponsorship

- Posted pay: not posted
- Market band for similar posted roles (United Kingdom, n 175): p25 £49k, median £85k, p75 £129k
- Licensed UK sponsor: registered as "Baya Systems Limited" (checked 2026-11-09, [register](https://www.gov.uk/government/publications/register-of-licensed-sponsors-workers))

## Description (the employer's text)

Baya Systems is inspired by the baya bird, also known as the weaver. Baya birds weave very unique and intricate hanging nests from different materials. The nests are robust and safe while being extremely lightweight and efficient.

Baya is a fast-moving Series B startup built by serial entrepreneurs with a vision to accelerate intelligent computing in the emerging chiplet era. We focus on software-driven, unified fabric solutions for single-die and multi-die systems. We design and license disruptive intellectual property for use in semiconductor chips, with software development platforms to simplify the design process and reduce the time to market for complex System-on-Chip (SoC) and multi-chiplet systems. This enables our partners to innovate and deliver compelling solutions for data center, infrastructure, AI, Automotive, and Edge IoT markets. We are looking for energetic and dedicated individuals share our passion for enabling innovation and excellence in the semiconductor industry that empowers game-changing products and services!

DESIGN VERIFICATION ENGINEER

England, UK (Bristol, Cambridge, London)

We are seeking a seasoned Design Verification designer with a strong background in building testbenches and writing test sequences for complex IPs. The ideal candidate will play a key role in shaping our technology portfolio, bringing expertise and creativity to our solutions

Responsibilities​:

- Create test plans for highly configurable IPs meant to provide interconnectivity between components across an SoC, chiplet, or multi-chiplet systems
Write UVM/SystemVerilog code to implement the test plan, checkers, and scoreboards

Collaborate with software teams to define and implement configurable testbenches

Work with design teams test plans, failure debug, coverage, etc.​

Qualifications and Preferred Skills​

BS, MS in Electrical Engineering, Computer Engineering or Computer Science

8+ years and current hands-on experience in block-level/IP-level/SoC-level verification

Proficiency in Verilog, SystemVerilog

Familiarity with industry-standard EDA tools for simulation and debug

Deep experience with UVM-based testbenches

Experience with modern programming languages like Python

Knowledge of Arm AMBA protocols such as AXI, APB, and AHB

Understanding of Arm CHI protocol is a plus

Experience on working with IP's for caches, cache coherency, memory subsystems, interconnects, and NoC's

Experience with formal verification techniques, emulation platforms is a plus

Excellent problem-solving skills and attention to detail

Strong communication and collaboration skills

### Compensation

- Salary commensurate with experience
- Performance incentives
- Comprehensive medical, dental, and vision benefits
- 401(k) retirement plan
- Equity

---
Data: alder (https://alderhq.app). Cite https://alderhq.app/jobs/greenhouse%3Abayasystems%3A4809362008 and the date you read it. Observed facts come from the employer's own listing; location reach, level, family and skills are inferences.
