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 developing Ohua, a compiler for breaking apart sequential imperative code into pieces for safety, security and efficiency.

We especially focus on the verification of the compiler?s correctness, i.e., the compiled result has the same semantics as the sequential imperative input code.

At the earliest possible date, we are looking for a

Research Associate (PhD or Postdoc) Programming Language/Compiler Technology? (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 advance the Ohua codebase to support us in our vision of building secure and efficient platforms:
  • Design and implementation within Ohua compiler codebase
  • Adaptation of Ohua for separating code into microkernelsystem components
  • Development of use cases and IoT demonstrators
  • Participation in writing research publications and project deliverables
  • 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.
  • Knowledge in the following domains:
  • Good programming skills in Haskell (OCaml) or Coq (Agda, Lean, Is...

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: 5G, IoT, Compiler Technology, Haskell, Coq, language design, type sytems, operational semantics, OpenLab, Ohua, Informatik.

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

  • 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 "Processor Design"

    vor 2 Monaten

    Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH Vollzeit

    Hinweis: Bitte bewerben Sie sich ausschließlich über unseren direkten Bewerbungslink gehostet von Empfehlungsbund und Wir freuen uns darauf, Sie kennenzulernenSTELLENBESCHREIBUNGThe Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society. Our goal is to...

  • Research Associate "Processor Design"

    vor 4 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 research group Scalable Computing Hardware? is developing a...

  • Research Associate "Processor Design"

    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 research group Scalable Computing Hardware? is developing a...

  • Research Associate "Processor Design"

    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 research group Scalable Computing Hardware? is developing a...

  • Research Associate "Processor Design"

    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 research group Scalable Computing Hardware? is developing a...

  • Research Associate "Processor Design"

    Vor 3 Tagen

    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 research group Scalable Computing Hardware? is developing a...

  • Research Associate "Digital Hardware Design"

    vor 4 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 "Processor Design"

    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 "Processor Design"

    vor 2 Monaten

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