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

[Tobias Nipkow]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190410/89f604ad/attachment.p7s>