Research Associate “Programming Language/Compiler Technology” (m/f/d)

Dresden
Frau Dr. Patricia Grünberg
Frau Stefanie Dünkel
Remote
Sehr gute
Bewerbererfahrung!
Bewerben

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 microkernel-system 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

  • Above-average 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, Isabelle/HOL)
    • Good knowledge of programming language design (type systems, operational semantics)
    • Knowledge of compiler technology
    • Knowledge of 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 Haskell and 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 account.  We also offer support for arriving in Dresden (all formalities, apartment etc.).

 

Application Procedure

Your application should include: motivation letter explaining your decision to apply at the institute, CV, copy of university degree and PhD certificate, short summary of doctoral thesis, list of publications. Applications from women are particularly welcome.

We only accept complete documents as one single PDF document by e-mail to Kontakt-Formular . Please reference “Research Associate Ohua OS” in the subject line. Applications that contain other file formats (e.g. Word, Excel) will not be considered in the selection process. Informal inquiries can also be submitted to the same address.

The data submitted by you in the course of the application procedure will be processed by the Barkhausen Institut (BI). BI shall use the data for the purposes of the application procedure. No data shall be passed on to third parties.

Bewerben & Kontaktformular

Bewerben Sie sich jetzt bei der Barkhausen Institut gGmbH als Research Associate “Programming Language/Compiler Technology” (m/f/d).

Bitte prüfen Sie, ob Sie diese Grundanforderungen erfüllen:

  • Arbeitserlaubnis in Deutschland bzw. Schengen/EU notwendig
oder hier herziehen und ablegen

PDF, DOC, DOCX < 10MB


Haben Sie einen erhalten?

Die Datenschutzbestimmungen des Empfehlungsbund und seiner Job-Communitys finden Sie hier. Ihre Daten werden hier nur zwischengespeichert, und nach erfolgreicher Übermittlung an die Organisation gelöscht.

5G, IoT, Compiler Technology, Haskell, Coq, language design, type sytems, operational semantics, OpenLab, Ohua
Dieser Job bzw. Stellenanzeige als 'Research Associate “Programming Language/Compiler Technology” (m/f/d)' ist für folgende Adressen ausgeschrieben: Schweriner Straße 1, 01067 Dresden.
Kurzprofil der Barkhausen Institut gGmbH
Das Barkhausen Institut ist ein international anerkanntes Forschungsinstitut, das die Brücke zwischen Grundlagenforschung und der praktischen Umsetzung der Vertrauenswürdigkeit vernetzter elektronischer Systeme schlägt.
Wir erforschen innovative Informations- und Kommunikationstechnologien, um die Vertrauenswürdigkeit für eine vernetzte Welt zu ermöglichen. Unser Fokus liegt auf Eigenschaften wie Integrität, Zurechenbarkeit, Authentizität, Verfügbarkeit und Datenschutz.
Neben unserer anwendungsorientierten Grundlagenforschung engagieren wir uns als Kooperationspartner und als Meinungsführer im Diskurs zum Thema Vertrauenswürdigkeit. Wir legen besonderen Wert auf eine professionelle Wissenschaftskommunikation und suchen den Dialog mit der Öffentlichkeit.

Gesuchte Kompetenzen

ElektrotechnikInformatikProjektmanagementSystemingenieur

Frau Dr. Patricia Grünberg
Director G&A
Weiterführende Links
Wenn Du eine Leidenschaft für neue Technologien hast und mit uns die vernetzte Welt von morgen entwickeln willst, suchen wir Dich!

Auszeichnungen

Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen. Mehr erfahren