A job opening for a "Researcher (in) Formal Verification" is being advertised at Hensoldt Cyber GmbH at the outskirts of Munich, Germany.
If you would like to contribute to making software and hardware more secure, this job might be for you!
The job ad, with information on how to apply, is located at
The ad mentions an official contact email address. Additionally, please don't hesitate to get in touch with me with any informal inquiries.
All the best,
Last updated: Dec 07 2023 at 16:21 UTC