Internship | Analysing reachability and safety of Kalman filters for radar systems
Verifying safe operation of radar systems is key for humans to trust adding autonomous and adaptive techniques into these safety-critical systems. Safety and/or reachability of the Kalman filter for object tracking is analysed using formal methods.
Education typeuniversity (wo)
TypeInternship and graduation project
Hours a weekFulltime – 40
What will be your role?
This project is a mathematically heavy and exploratory MSc internship and/or MSc thesis to bring formal verification into the domain of signal processing of radar systems. In this project, the focus will be on verifying reachability and safety of a Kalman filter by state-of-the-art techniques. Kalman filters are applied for object tracking over time. The main difficulty will be on creating meaningful (discrete-time Markov Chain) abstractions or approximations of the time-varying Kalman filter in order to infer safety and/or reachability. Using the abstractions, safety and/or reachability properties defined by probabilistic temporal logic can explored using, e.g., dynamic programming.
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.
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
What you’ll get in return
TNO as an employer
The selection process
After the first CV selection, the application process will be conducted by the concerning department. TNO will provide a suitable internship agreement. If you have any questions about this vacancy, you can contact the contact person mentioned below.
For this internship vacancy it is required that the AIVD issues a security clearance (VGB) after conducting a security screening. Take into account that this process may take about 8 weeks. If you have been abroad for more than 6 consecutive months, or if you do not have the Dutch nationality, it may take longer. Please visit for more information the AIVD website.
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.
Has this job opening sparked your interest?
Then we’d like to hear from you! Please contact us for more information about the job or the selection process. To apply, please upload your CV and covering letter using the ‘apply now’ button.
Contact: Pepijn Cox
Phone number: +31(0)88-86 60975