Email Gateway (May 06 2022 at 08:28): Email Gateway (May 06 2022 at 08:28):From: Jaap Boender <jaapb@kerguelen.org>
Hello all,
There is an open position for a researcher in Formal Verification at Hensoldt
Cyber GmbH in Munich, Germany.
This involves formal verification of software and/or hardware using Isabelle/
HOL and assorted tools, both doing actual verification work and expanding the
state of the art in this domain.
For more information, have a look at the job offer here:
https://hensoldt-cyber.com/job-offers/#job-549910
where you can also apply directly.
If there are any questions, feel free to contact me personally.
kind regards,
Jaap Boender
Last updated: Jan 04 2025 at 20:18 UTC