Internship | Formal verification of adaptive radar systems

Future Radar systems should operate with a high degree of autonomy. Verifying and guaranteeing safe and reliable operation is key for humans to add autonomous, adaptive, and artificial intelligence techniques into these safety-critical systems.


Den Haag

Education type


Internship and graduation project

Hours a week

Fulltime – 40


Apply now


What will be your role?

Future generation radar systems should operate with a high degree of autonomy. More specifically, these systems should be able to adapt and react on unknown or unforeseen conditions with limited human intervention. The required enabling technologies can develop quickly when conventional adaptive, control, and decision making techniques will be combined with the rapid innovations in artificial intelligence. Similar trends have been seen in novel self-driving algorithms for the automotive industry.

Moving towards adaptive and autonomous systems raises the following important challenge on how engineers can offer guarantees regarding system performance or system correctness. Adaptivity and autonomy leads to an explosion of the testing space, making traditional testing and verification techniques unattainable within a practical time.

This project is an interdisciplinary and exploratory MSc internship and/or MSc thesis to bring formal verification into the domain of signal processing of radar systems. Currently, we have two possible topics to choose from. The first topic is on the formal verification of the full (but simplified) signal processing chain of a complete radar system under different target, weather, and environmental conditions. The focus will be on combining existing, cutting edge simulation software with novel formal verification techniques to the radar domain (e.g., COMPAS toolset, QuantUM, PRISM, sysML, etc.). Alternatively, the second topic is on formal verification for state-of-the-art learning techniques (AIs) applied to signal processing of radar. The focus will be on verifying the resulting learned model, trained network, or solution of the optimization algorithms within the signal processing chain, e.g., verification of waveform optimization, verification of the neural network for target classification (with e.g., DeepConcolic, Statistical Model Checking, etc.). During the interview, you can choose the project topic and it can be tailor made to your specific interests/background.

How do you want to contribute to tomorrow's world? How big can your impact be? Come and work at TNO and envision it.

What we expect from you

You are in the final stages of your degree in artificial intelligence, computer science, systems and control engineering, physics, mathematics, electrical engineering, or a similar degree and have some track record in the field of formal verification. You have experience in programming in Matlab, Python and/or related language, you are quick in understanding new software, and you are pragmatic and focused on making things work. Next to technical expertise, we value communication skills and a results-driven attitude.

Due to the COVID pandemic, we currently only accept people living in the Netherlands. Please, also inquire on the COVID regulations of your university w.r.t. an internship or thesis assignment.

What you’ll get in return

You want to work on the precursor of your career; an internship gives you an opportunity to take a good look at your prospective future employer. TNO goes a step further. It’s not just looking that interests us; you and your knowledge are essential to our innovation. That’s why we attach a great deal of value to your personal and professional development. You will, of course, be properly supervised during your internship and be given the scope for you to get the best out of yourself. Naturally, we provide suitable internship compensation.

TNO as an employer

TNO is an independent research organisation whose expertise and research make an important contribution to the competitiveness of companies and organisations, to the economy and to the quality of society as a whole. Innovation with purpose is what TNO stands for. With 3000 people we develop knowledge not for its own sake but for practical application. To create new products that make life more pleasant and valuable and help companies innovate. To find creative answers to the questions posed by society. We work for a variety of customers: governments, companies, service providers and non-governmental organisations.

You will perform this assignment in the Department of Radar Technology. We are a passionate and creative group of professionals (60 people) dedicated to the specification, development and evaluation of innovative, high-performance MMICs, miniaturised and integrated RF subsystems, antennas and front-ends, and signal processing algorithms. The department is at the heart of novel, game-changing radar system and signal processing concepts for the military, space and civil domains.

The selection process

For this vacancy it is required that the AIVD issues a security clearance after conducting a security screening. Please visit for more information the AIVD website.

Has this job opening sparked your interest?

Then please feel free to apply on this vacancy! For further questions don’t hesitate to contact us.

Due to Covid-19 and the consequent uncertainties and restrictions, students who are not residing in the Netherlands may currently not be able to start an internship or graduation project at TNO.

Contact: Pepijn Cox
Phone number: +31(0)88-86 60975

Note that applications via email and third party applications are not taken into consideration.


Apply now



Stay up to date with our latest news, activities and vacancies collects and processes data in accordance with the applicable privacy regulations for an optimal user experience and marketing practices.
This data can easily be removed from your temporary profile page at any time.
You can also view our privacy statement or cookie statement.