Design Verification Engineer
📌Hsinchu, Taiwan 🇹🇼
⏱︎ full-time
🧙♂️ junior
💰 29000
- Application of formal method in digital hardware or software verification
- Literature survey and paper study of the state-of-the-art and industrial strength formal method
- Conducting cross-team-wise technical training
- Documentation writing and reviewing
-
The estimated salary is NT$29000-50000 per month, which is subject to candidates' qualification.
- Bachelor of Science degree in CS or Math major
- Background in the logic, language and computation
- Familiar with functional language (Haskell, Ocaml) and formal method
- Goal-oriented and working independently with effective execution.
- Good communication skills and good at English
- Good at logic and critical thinking
- 1+ year working experience is a plus.
Senior Embedded Software Engineer
@ Embedd 
What we're looking for
At embedd.it, we power hardware-software integration in embedded devices. We turn fragmented semiconductor chip data into configurable digital twins, then deterministically generate code, tests, and documentation – making integration faster, cheaper, and resilient to supply chain shocks.
We’re looking for a true legend – someone with abstract thinking and deep expertise in low-level software development. You’ll build vendor-agnostic tooling for MCU and peripheral integration to solve hardware-software integration once and for all. We work at the intersection of embedded systems, code generation, compilers, and machine learning. It’s your chance to help redefine how low-level development is done.
Responsibilities
- Drive the architecture of the driver structures and system layout
- Define scalable patterns for cross-architectural integration across bare-metal, Zephyr, Linux, and other environments
- Deconstruct complex SoC device trees and translate hardware descriptions into structured internal models for automated reasoning
- Partner with the ML team to shape data and annotation models for AI-driven data-extraction tooling
Qualifications
- 5+ years of experience in embedded systems development, including bare-metal and RTOS-based systems
- Proficiency in C/C++
- Familiarity with firmware configuration, SoC bring-up, and system-level debugging
- Hands-on experience with code generation tools, or low-level compiler/decompiler/emulator technologies
- Strong background in embedded toolchains: compilers, linkers, debuggers, and build systems
- Python or scripting for automation and tooling is a plus
- Experience with functional-safety standards is a plus
Why embedd.it?
- Dynamic, venture-backed team of engineers challenging the status quo 🚀
- Work at the intersection of embedded systems, code generators, compilers, and ML 🤖
- Unusual challenges requiring out-of-the-box abstract thinking 🧠
- Competitive compensation: cash + equity 💰
- Remote work possible 🌍
About Us
embedd.it is a UK-based startup reinventing embedded development. Our platform transforms unstructured semiconductor data into structured digital twins, enabling automatic generation of drivers, tests, and documentation. We're building a single, traceable source of truth to make integration fast, vendor-agnostic, and future-proof.
Other similar jobs
IP SMMU Design Verification Principal Engineer
@ Qualcomm, 📍Taiwan 🇹🇼
Design Verification Engineer, ASIC
@ Waymo, 📍Taiwan 🇹🇼
Design Verification Engineer, ASIC
@ Waymo, 📍Taiwan 🇹🇼
Engineer, Design Verification
@ Corinex, 📍Taiwan 🇹🇼
Design Verification Engineer - System Verilog
@ Creeno Solutions Pvt Ltd, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
-
Employment
⏱︎ full-time
-
Experience
🧙♂️ junior
-
Salary
💰 29000
-
Skills
-
Industry
-
Find similar jobs
IP SMMU Design Verification Principal Engineer
@ Qualcomm, 📍Taiwan 🇹🇼
Design Verification Engineer, ASIC
@ Waymo, 📍Taiwan 🇹🇼
Design Verification Engineer, ASIC
@ Waymo, 📍Taiwan 🇹🇼
Engineer, Design Verification
@ Corinex, 📍Taiwan 🇹🇼
Design Verification Engineer - System Verilog
@ Creeno Solutions Pvt Ltd, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼
We are Hiring Design Verification Engineers
@ Eximietas Design, 📍Taiwan 🇹🇼