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

[Andrés Sicard-Ramírez]

Buenas tardes,

Para aquellos pensando en semestre de práctica, el mensaje abajo
también menciona la posibilidad de realizar internships.

---------- Forwarded message ---------
From: Tobias Nipkow <nip...@in.tum.de>
Date: Wed, 10 Apr 2019 at 07:17
Subject: [TYPES/announce] [isabelle] Open position: Formal
Verification Engineer (m/f/x) at HENSOLDT Cyber in Munich
To: <types-a...@lists.seas.upenn.edu>


[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

La información contenida en este correo electrónico está dirigida
únicamente a su destinatario y puede contener información
confidencial, material privilegiado o información protegida por
derecho de autor. Está prohibida cualquier copia, utilización,
indebida retención, modificación, difusión, distribución o
reproducción total o parcial. Si usted recibe este mensaje por error,
por favor contacte al remitente y elimínelo. La información aquí
contenida es responsabilidad exclusiva de su remitente por lo tanto la
Universidad EAFIT no se hace responsable de lo que el mensaje
contenga. The information contained in this email is addressed to its
recipient only and may contain confidential information, privileged
material or information protected by copyright. Its prohibited any
copy, use, improper retention, modification, dissemination,
distribution or total or partial reproduction. If you receive this
message by error, please contact the sender and delete it. The
information contained herein is the sole responsibility of the sender
therefore Universidad EAFIT is not responsible for what the message
contains.
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....@hensoldt-cyber.com




--
Andrés