Research Associate “Formal Verification” in Dresden bei Barkhausen Institut gGmbH von ITsax de

Research Associate “Formal Verification” (m/f/d) in Dresden bei Barkhausen Institut gGmbH von ITsax de

Barkhausen Institut gGmbH von ITsax.de

The Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods.

The Composable Operating Systems group at Barkhausen Institut is developing Compiler, Operating System and Hardware technologies for a trusted IoT world. To secure this trust, we are building a team to formally verify this technology stack.

At the earliest possible date, we are looking for a

Research Associate (PhD or Postdoc) “Formal Verification” (m/f/d)

The position will initially be filled for a period of 2 years and will be remunerated in accordance with the public remuneration level TV-L E-13.

Your responsibilities will include

Besides contributing your unique ideas, you will actively participate in the formal verification of our technology stack to support us in our vision of building secure and efficient platforms:
Design and implementation of formal specifications for individual parts of our technology stack.
Prove correctness, safety and security properties in Coq (Agda or Lean).
Development of use cases and IoT demonstrators.
Engagement in Science Communication: In cooperation with our OpenLab team, you will participate in activities that aim to explain research results in dialog with society.

We expect the following

Above-average MSc/Diploma and PhD degree in areas related to our research focus (Computer Science) from renowned universities.
Good programming skills in Coq (Agda, Lean, Isabelle/HOL) or Haskell (OCaml).
Knowledge in the following domains:
- Programming language design (type systems, operational semantics)
- Compiler technology
- Operating system principles and microkernels

An integrative and cooperative personality with excellent communication and social skills.
Good communication and writing skills in English.

You are interested, but you don’t think you meet all the requirements of the job posting? Then you should know: We don’t hire resumes, we hire people. We are looking for potential and want to actively foster it. That‘s why we encourage you to apply!

What we provide

Introduction and hands-on experience in certified software development (with Coq)
Cross-disciplinary projects
Influential work on upcoming technologies
An open and creative team
Agile working hours and workflows
Flat hierarchies for your ideas to soar
Competitive salary

If you have passion for new technologies and the desire to develop the connected world of tomorrow with us, we are looking for you.

Life and science are compatible at our institute. We offer a range of recognised family-friendly measures, such as part-time work, mobile working and flexible working hours that take family needs into acco...

Hinweis: Bitte bewerben Sie sich ausschließlich über unseren direkten Bewerbungslink gehostet von Empfehlungsbund und ITsax.de: https://www.itsax.de/jobs/177442/research-associate-formal-verification-m-strich-f-strich-d-in-dresden. Dort erfahren Sie noch weitere wichtige Details zur Stelle. Wir freuen uns darauf, Sie kennenzulernen!

ITsax.de-FF