Software Verification Engineer

Connect AI; Delft; Híbrido; EUR 60.000 - 95.000; Jornada completa

Descripción de la vacante

Connect AI in Delft, Netherlands is seeking a Software Verification & Modelling Engineer to develop and validate software models, build automated verification frameworks and ensure numerical accuracy.

You will work with software and hardware teams to compare outputs against reference models, investigate discrepancies, and improve verification processes across the development lifecycle.

Formación

• Strong C++ programming and debugging skills.
• Professional experience in software testing, verification or test automation.
• Solid understanding of digital signal processing (DSP), modeling or numerical methods.
• Proficiency in Python for verification, testing or automation.
• Experience developing or maintaining automated tests and CI regression pipelines.
• Degree in Computer Science, Electrical/Electronic Engineering, Applied Mathematics, Physics or related field.
• Experience with MATLAB/Simulink, NumPy or SciPy.

Responsabilidades

• Develop, maintain and debug software verification frameworks using C++ and Python.
• Build and validate mathematical and behavioural reference models to verify software implementations.
• Perform golden-reference comparisons and numerical error analysis to identify discrepancies.
• Design and maintain automated testing frameworks and CI regression tests.
• Analyse algorithm behaviour, numerical precision and error propagation across processing chains.
• Investigate fixed-point arithmetic and numerical accuracy considerations.
• Develop reference models using MATLAB/Simulink, NumPy or SciPy.
• Collaborate with software, FPGA and hardware engineers to validate models.

Conocimientos

C++

Python

DSP

Mathematical modelling

Numerical methods

Test automation

CI pipelines

Debugging

Analytical skills

Educación

Computer Science or Electrical/Electronic Engineering or Applied Mathematics

Herramientas

MATLAB/Simulink

NumPy

SciPy

SystemC

Descripción del empleo

Location: Delft, Netherlands | Hybrid – 2 days per week on-site

Salary: Up to €95,000 per annum

We are looking for a Software Verification & Modelling Engineer to join an innovative deep-tech engineering team developing advanced technology at the intersection of software, signal processing and hardware.

This role will focus on developing and validating software models, building automated verification frameworks, and ensuring the accuracy and reliability of complex algorithms and software implementations.

You will work closely with software and hardware engineers to compare implementation outputs against trusted reference models, investigate numerical discrepancies, and improve the robustness of verification processes across the development lifecycle.

This is an excellent opportunity for an engineer with strong C++ programming skills, a background in mathematical modelling or digital signal processing, and a passion for software quality, numerical accuracy and automated testing.

Key Responsibilities

• Develop, maintain and debug software verification frameworks using C++ and Python.
• Build and validate mathematical and behavioural reference models to verify software implementations.
• Perform golden-reference comparisons and numerical error analysis to identify discrepancies and ensure implementation accuracy.
• Design and maintain automated testing frameworks and continuous integration (CI) regression tests.
• Analyse algorithm behaviour, numerical precision and error propagation across complex processing chains.
• Investigate fixed-point arithmetic, quantisation effects and numerical accuracy where applicable.
• Develop reference models using Python libraries such as NumPy and SciPy, or MATLAB/Simulink.
• Implement testing strategies incorporating property-based testing, randomised test cases and automated regression analysis.
• Collaborate with software, FPGA and hardware engineers to validate models and investigate system-level issues.
• Contribute to the development of reliable, maintainable and scalable verification processes.

Requirements

• Strong C++ programming and debugging skills.
• Professional experience in software testing, verification or test automation.
• A solid understanding of digital signal processing (DSP), mathematical modelling or numerical methods.
• Experience with reference models, numerical comparisons, algorithm validation or numerical error analysis.
• Proficiency in Python for verification, testing or automation.
• Experience developing or maintaining automated tests and CI regression pipelines.
• Strong analytical and problem-solving skills, with the ability to investigate complex technical issues.
• A relevant degree in Computer Science, Electrical/Electronic Engineering, Applied Mathematics, Physics or a related technical discipline.
• Developing reference models using MATLAB/Simulink, NumPy or SciPy.
• Fixed-point arithmetic, quantisation analysis and numerical precision.
• Stateful DSP processing chains, including numerically controlled oscillators (NCOs), mixers and filters.
• Property-based testing and randomised verification techniques.
• FPGA or ASIC verification and digital hardware development.
• Hardware/software co-simulation, SystemC or cycle-accurate modelling.
• Validating software models against measurements from physical hardware.