Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Researcher Formal Verification position at Hen...


view this post on Zulip 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: Mar 29 2024 at 08:18 UTC