[isabelle] Open position: Formal Verification Engineer (m/f/x) at HENSOLDT Cyber in Munich



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.

TASKS
. (Support of) Design formal verifiable SW components
. Develop formal verifiable SW Components in either C, Cogent, CakeML
. Integrate the components in the existing environment
. Verify the components with interactive theorem proofing methodologies
. Improve verification techniques and tools in collaboration with academic partners

SKILLS
. Experienced in developing verifiable (or already verified) Software
. Experience in functional coding
. Highly motivated to create high-end security software
. Experience in working with Isabelle is a plus
. Experience with Microkernel architectures / security aspects / operating system development is a plus
. MS or PhD in Information Technologies

If you want to apply for an internship, feel free to contact us as well.

A young dynamic team is awaiting you. We offer a start-up atmosphere and benefits of a corporate company as well as flexible and mobile working. Apply directly or contact us: Maria.Lorenz at hensoldt-cyber.com

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.