Creëer jouw persoonlijke profiel en ontdek vacatures die bij jou passen.

Registreren

Creëer jouw persoonlijke profiel en ontdek vacatures die bij jou passen.

Registreren

Stage | Analysing Reachability and Safety of Kalman Filters for Radar Systems

Geplaatst 28 sep. 2021

Werkervaring

0 tot 1 jaar

Full-time / part-time

Full-time

Functie

Engineering

Soort opleiding

Master

Taalvereiste

Engels (Vloeiend)

Vind jouw perfecte baan bij een van de 5.000 werkgevers op Magnet.me.

Stage | Analysing Reachability and Safety of Kalman Filters for Radar Systems

Den Haag

Fulltime


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.


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. Moving towards adaptive and autonomous systems raises the following important challenge on how engineers can offer guarantees regarding system performance or system correctness.


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

You are in the final stages of your MSc degree in artificial intelligence, computer science, systems and control engineering, physics, mathematics, electrical engineering, or a similar master topic and have some track record in hybrid system modelling, Lyapunov theory, and dynamic programming. 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.

WHAT YOU’LL GET IN RETURN

You want to work on the precursor of your career; a work placement 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 work placement and be given the scope for you to get the best out of yourself. Naturally, we provide suitable work placement compensation.


Delen:

Innovation with purpose: that is what TNO stands for. We develop knowledge not for its own sake, but for practical application.
TNO connects people and knowledge to create innovations that boost the competitive strength of industry and the well-being of society in a sustainable way.
Do you want to do ground-breaking work in multidisciplinary projects, seek out new knowledge? Do you want...


Innovation with purpose: that is what TNO stands for. We develop knowledge not for its own sake, but for practical application.

TNO connects people and knowledge to create innovations that boost the competitive strength of industry and the well-being of society in a sustainable way.

Do you want to do ground-breaking work in multidisciplinary projects, seek out new knowledge? Do you want to help customers with innovative, practical and smart solutions? Are you ambitious and energetic, a thinker and a doer? Then check out our possibilities.

Overig
Den Haag
3.300 medewerkers

Dit zeggen medewerkers

Thymen Wabeke

Innovator

Thymen Wabeke

“At TNO, you'll never do the same thing twice.”
Innovator Thymen Wabeke has found that, at TNO, every project is different. Plenty of opportunities to find out what you are good at, and to identify areas for further personal development.
“At Data Science, we develop smart computer programs that...

Michiel van den Baar

Trainee

Michiel van den Baar

“Together, we want to make the world a bit better”
Michiel van den Baar started his traineeship in a sustainable chemistry department. He is convinced that TNO can really make a difference in this area.
“My fascination with the energy transition dates back to my studies in Mechanical Engineering....