[TYPES/announce] Researcher Formal Verification position at Hensoldt Cyber in Munich
Jaap Boender
jaapb at kerguelen.org
Fri May 6 04:16:02 EDT 2022
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://urldefense.com/v3/__https://hensoldt-cyber.com/job-offers/*job-549910__;Iw!!IBzWLUs!VruWSRK2rlPKt99ukuDM9kaAT8NoZxnGiD7L9f9xSDhBL-bny7Wko4uHHIaic87Z1ApeQlcLgaPJVtNcfwqPF_K4kYO708o$
where you can also apply directly.
If there are any questions, feel free to contact me personally.
kind regards,
Jaap Boender
More information about the Types-announce
mailing list