Stream: Announcements

Topic: Research position in Formal Verification at HENSOLDT

view this post on Zulip Benedikt Ahrens (Jun 03 2021 at 20:54):

Dear All,

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