[isabelle] Research position in Formal Verification at HENSOLDT Cyber in Munich
- To: isabelle-users at cl.cam.ac.uk
- Subject: [isabelle] Research position in Formal Verification at HENSOLDT Cyber in Munich
- From: Benedikt Ahrens <benedikt.ahrens at gmail.com>
- Date: Thu, 3 Jun 2021 23:03:18 +0200
- Authentication-results: cam.ac.uk; iprev=pass (mta0.cl.cam.ac.uk) smtp.remote-ip=126.96.36.199; spf=softfail smtp.mailfrom=gmail.com; dkim=pass header.d=gmail.com header.s=20161025 header.a=rsa-sha256; arc=none
- Authentication-results: cam.ac.uk; iprev=pass (mail-wr1-f45.google.com) smtp.remote-ip=188.8.131.52; spf=pass smtp.mailfrom=gmail.com; dkim=pass header.d=gmail.com header.s=20161025 header.a=rsa-sha256; arc=none
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.0
A job opening for a "Researcher (in) Formal Verification" is being
advertised at Hensoldt Cyber GmbH at the outskirts of Munich, Germany.
If you would like to contribute to making software and hardware more
secure, this job might be for you!
The job ad (reproduced below), with information on how to apply, is
The ad mentions an official contact email address. Additionally, please
don't hesitate to get in touch with me with any informal inquiries.
All the best,
HENSOLDT Cyber develops embedded IT products that meet the highest
security requirements. It integrates an invulnerable operating system
with security-hardened hardware to build the most secure product on the
global IT market. The company combines more than 50 years of domain
experience with world-class expertise in hardware and software design to
achieve global leadership.
We are buidling up a new research team, which is working on cutting-edge
projects targeting the aspects formal verification, operating system
design and cryptography with the focus on secure embedded systems. If
you have a strong interest and/or background in secure operating system
development, we would like to get in touch with you.
- Research on formal verification of software, with a focus on deductive
- Design new tools and methods to make verification possible in new
areas, or extend and improve existing tools to reduce verification effort
- Actively participate in international and national funded research and
- Contribute to research communities and efforts, including publishing
in top conferences and relevant journals
- PhD in Computer Science, Mathematics or other comparable subject
- Demonstrable experience in theorem proving (e.g. Coq, Isabelle, Agda)
- Strong publication record and demonstrated research capability (e.g.
obtained grants, patent submissions, etc.)
- Prior experience in software verification is a plus
- Experience in hardware verification is a plus
- Experience in cryptography is a plus
- Experience in C/C++ programming would be an advantage
- Proficiency in English (both written and spoken) and interest to work
in a truly diverse cultural environment
- Excellent communication skills, teamwork spirit, initiative and
autonomous working are required
We are not only offering flexible and mobile working, but the
opportunity to be involved in the development of cutting-edge security
products in an international and innovative environment.
Did we spark your interest? Then we are looking forward to your
application. If you have any questions on the vacancy please don't
hesitate to contact us via mail (hr-cyber at hensoldt-cyber.com).
This archive was generated by a fusion of
Pipermail (Mailman edition) and