Email Gateway (Aug 22 2022 at 19:39): Email Gateway (Aug 22 2022 at 19:39):From: Tobias Nipkow <nipkow@in.tum.de>
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@hensoldt-cyber.com
smime.p7s
Last updated: Apr 25 2024 at 20:15 UTC