[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