Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job announcement: Software FV Engineer at Appl...

Email Gateway (May 06 2022 at 15:22):

From: Johannes Hölzl <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle-Community,

We are hiring theorem proving experts in Munich. If developing formal proofs of key software systems is your thing, please get in touch!

You find the job description here:
https://jobs.apple.com/en-us/details/200311498/software-formal-verification-engineer?team=HRDWR <https://jobs.apple.com/en-us/details/200311498/software-formal-verification-engineer?team=HRDWR>

Best,
Johannes

Last updated: Jan 04 2025 at 20:18 UTC