Senior/Staff Design Verification Engineer

Bitdeer is a world-leading technology company for Bitcoin mining and AI cloud.

We are seeking a talented Design Verification Engineer to join our IC development team and help ensure the functional correctness and performance of computer arithmetic IPs. In this role, you will work closely with design and verification teams to develop comprehensive verification environments, execute test plans, and contribute to high-quality IP and silicon through systematic and coverage-driven verification.

• Apply UVM (Universal Verification Methodology), SystemVerilog, Verilog, and SVA (SystemVerilog Assertions) languages in verification tasks.
• Develop and implement state-of-the-art verification methodologies, including UVM, C/C++, co-simulation, formal verification, system emulation, and mixed-mode simulation/emulation.
• Contribute to projects requiring advanced verification tools such as Palladium, HAPS, and Zebu platforms.
• Collaborate effectively within a team, ensuring high-quality deliverables.

• Equipped with a strong understanding of the Design Under Test (DUT), including its architecture, interfaces, and functional requirements.
• Bring up formal verification testbench, implement constraints and properties, run proof and debug counter example, generate coverage report.
• Collaborate with verification and design engineers to define, review, and refine verification test plans based on design specifications.
• Implement test cases, stimulus, and test patterns to validate DUT functionality and corner cases.
• Execute simulations and analyze/debug RTL issues using waveform analysis and debugging tools.
• Run and maintain regression test suites to validate design changes and ensure design stability across development cycles.
• Monitor and improve functional and code coverage metrics, contributing to coverage-driven verification and verification closure.
• Document test cases, verification results, and coverage reports to support verification sign-off.
• Contribute to the development and maintenance of automation scripts, reusable verification components, and Verification IP (VIP) to enhance team productivity.

• Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field (or currently pursuing the degree for entry-level roles).
• Solid understanding of digital logic design and RTL development using Verilog or other Hardware Description Languages (HDL).
• Proficiency with AMBA bus protocols (AXI, AHB, APB).
• Hands-on experience with RTL simulation, debugging, and waveform analysis using industry-standard EDA tools (e.g., Synopsys, Cadence, or Siemens EDA / Mentor).
• Proficiency with SystemVerilog and modern verification methodologies such as UVM.
• Proficiency with formal verification tools (VC Formal or JasperGold) and main applications (FPV, DPV, etc).
• Familiarity with Linux/Unix environments and scripting for automation (e.g., Bash, C Shell, Perl, or Python).
• Experience using version control systems such as Git or SVN in a collaborative development environment.
• Good analytical and debugging skills, with the ability to identify and resolve RTL and functional issues.
• Strong communication skills in English, both written and verbal, with the ability to document verification results clearly.
• Self-motivated, detail-oriented, and able to work effectively both independently and within a team environment.

• Proven track record of contributing to production-grade and silicon-proven IPs;
• Experience with using AI Agent for verification productivity.
• Familiarity with RISC-V processor architecture or CPU verification concepts.
• Experience with C/C++ programming for testbench development or verification utilities.
• Exposure to coverage-driven verification and regression automation workflows.

• A culture that values authenticity and diversity of thoughts and backgrounds;
• An inclusive and respectable environment with open workspaces and exciting start-up spirit;
• Fast-growing company with the chance to network with industrial pioneers and enthusiasts;
• Ability to contribute directly and make an impact on the future of the digital asset industry;
• Involvement in new projects, developing processes/systems;
• Personal accountability, autonomy, fast growth, and learning opportunities;
• Attractive welfare benefits and developmental opportunities such as training and mentoring.