What will you be doing?
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.
What do we require of 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 can you expect of your work situation?
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.
What can TNO offer you?
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.