QBayLogic

Semiconductors

Overview

QBayLogic is a steward-owned FPGA and ASIC design company that specializes in creating efficient, application-specific hardware solutions using its open-source Clash compiler, which translates Haskell code into low-level hardware description languages, and collaborates with partners to modernize and simplify digital hardware design through model-based methodologies.

Key Information

Central Office: Enschede, Netherlands
Founded: 2016

Links

Website Careers portal

Past Jobs

EXPIRED

Formal Verification Engineer

Senior+

🇳🇱

Enschede, Netherlands

Formal Verification Engineer extending the Clash hardware description language and Haskell for correct-by-design hardware and software. Connecting Haskell with verification tools, proof assistants like Agda or Coq, model checking, and SMT for formal specification and verification of digital designs.

Haskell

First seen Feb 21, 2026 Last seen Apr 23, 2026