Research Associate "Formal Verification"

vor 3 Wochen

Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

The Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows 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

  • Aboveaverage 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, opera...

Hinweis:
Dies ist eine gekürzte Anzeige von - IT Stellen aus SAX.
Alle Details erfahren Sie in der Originalanzeige auf

Mit Klick auf die Schaltfläche 'Weiter zur Bewerbung' (oder ähnlich lautend) kann es sein, dass Sie hier erst ein Konto anlegen müssen.

Sie finden diese Anzeige auch direkt auf der Karrierewebseite des Arbeitgebers auf

Schlagworte:
Formal verification, coq, Agda, Lean, IoT, 5G, IoT demonstrators, PhD, PostDoc, Haskell.

  • Research Associate "Formal Verification"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows 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...

  • Research Associate "Formal Verification"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows 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...

  • Research Associate "Formal Verification"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    Das ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGThe 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...

  • Research Associate "Formal Verification"

    vor 1 Monat

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    Das ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGThe 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...

  • Research Associate "Digital Hardware Design"

    vor 3 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods.The group Scalable Computing Hardware is developing a secure and...

  • Research Associate "Digital Hardware Design"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods.The group Scalable Computing Hardware is developing a secure and...

  • Research Associate "Programming Language/Compiler Technology"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    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...

  • Research Associate "Programming Language/Compiler Technology"

    vor 3 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    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...

  • Research Associate "Programming Language/Compiler Technology"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    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...

  • Research Associate "Programming Language/Compiler Technology"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    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...

  • Research Associate

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. At the earliest possible date we are looking for aResearch Associate /...

  • Research Associate

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. At the earliest possible date we are looking for aResearch Associate /...

  • Research Associate

    vor 3 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. At the earliest possible date we are looking for aResearch Associate /...

  • Research Associate

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrows society. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. At the earliest possible date we are looking for aResearch Associate /...

  • Research Associate "Programming Language/Compiler Technology"

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    Das ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGThe 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...

  • Research Associate "Programming Language/Compiler Technology"

    vor 1 Monat

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    Das ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGThe 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...

  • Research Associate

    vor 3 Wochen

    Dresden, Sachsen, Deutschland Technische Universität Dresden Vollzeit

    TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally oriented, regionally anchored top university as it focuses on the grand challenges of the 21st century. It develops innovative solutions for the world's most pressing issues....

  • Research Associate

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Technische Universität Dresden Vollzeit

    TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally oriented, regionally anchored top university as it focuses on the grand challenges of the 21st century. It develops innovative solutions for the world's most pressing issues....

  • Wirtschaftsinformatiker (m/w/d) im Referat 34 – Innovation –

    vor 3 Wochen

    Dresden, Sachsen, Deutschland Landesamt für Straßenbau und Verkehr KdöR Vollzeit

    WEGBEREITER GESUCHTIn der Zentrale (Dienstort Dresden) des LASuV ist zum nächstmöglichen Zeitpunkt der Dienstposten eines Wirtschaftsinformatikers (m/w/d) im Referat 34 – Innovation – unbefristet in Vollzeit zu besetzen.Über unsDas Landesamt für Straßenbau und Verkehr (LASuV), mit der Zentrale und seinen fünf Niederlassungen, ist der zentrale...

  • Wirtschaftsinformatiker (m/w/d) im Referat 34 – Innovation –

    vor 2 Wochen

    Dresden, Sachsen, Deutschland Landesamt für Straßenbau und Verkehr KdöR Vollzeit

    WEGBEREITER GESUCHTIn der Zentrale (Dienstort Dresden) des LASuV ist zum nächstmöglichen Zeitpunkt der Dienstposten eines Wirtschaftsinformatikers (m/w/d) im Referat 34 – Innovation – unbefristet in Vollzeit zu besetzen.Über unsDas Landesamt für Straßenbau und Verkehr (LASuV), mit der Zentrale und seinen fünf Niederlassungen, ist der zentrale...