[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:
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