Aktuelle Jobs im Zusammenhang mit Research Associate "Programming Language/Compiler Technology" - Dresden, Sachsen - Barkhausen Institut gGmbH
-
Dresden, Sachsen, Deutschland Hochschule für Technik und Wirtschaft (HTW) Dresden VollzeitPosition Title: Professorship in Programming Language Theory and PracticeFull-time academic role at Hochschule für Technik und Wirtschaft (HTW) DresdenEngagement in both educational and investigative activities within the Faculty of Computer Science and MathematicsDemands a strong foundation in programming languages, software development, and associated...
-
Associate Researcher in 2D Materials
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:Join the Faculty of Mechanical Science and Engineering at the Institute of Materials Science as a Research Associate / PhD Student. This role is an excellent opportunity for individuals aiming to enhance their academic qualifications, typically culminating in a PhD.Contract Duration: The position is initially limited to 36 months, with the...
-
Materials Science Research Associate
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:Join the esteemed Faculty of Mechanical Science and Engineering at the Institute of Materials Science as a Research Associate / PhD Student. This role is designed for individuals aiming to enhance their academic qualifications, typically leading to a PhD.The position is structured for a duration of 36 months, with potential for extension,...
-
Research Associate in Digital Ecosystems
vor 2 Wochen
Dresden, Sachsen, Deutschland Sachsen VollzeitExciting Opportunity at a Leading Technological InstitutionWe are seeking a highly skilled professional to collaborate with our team at Sachsen as a Research Associate in Digital Ecosystems. In this role, you will work closely with industry leaders to develop innovative solutions for secure data exchange.Your Key Responsibilities:Enhance software components...
-
Research Associate in Digital Ecosystems
vor 3 Wochen
Dresden, Sachsen, Deutschland Sachsen VollzeitExciting Opportunity at a Leading Technological InstitutionWe are seeking a highly skilled professional to collaborate with our team at Sachsen as a Research Associate in Digital Ecosystems. In this role, you will work closely with industry leaders to develop innovative solutions for secure data exchange.Your Key Responsibilities:Enhance software components...
-
Associate Researcher in 2D Materials
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:Join the Faculty of Mechanical Science and Engineering at the Institute of Materials Science, where we are seeking a dedicated Research Associate / PhD Student in the Chair of Materials Science and Nanotechnology. This role is designed for individuals aiming to further their academic qualifications, typically leading to a PhD.Key...
-
Associate Researcher in Materials Engineering
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:The Faculty of Mechanical Science and Engineering at the Institute of Materials Science is seeking a dedicated Research Associate / PhD Student (m/w/d) to join the Chair of Materials Science and Nanotechnology. This role is aimed at fostering academic growth, particularly towards obtaining a PhD.Employment Details:The position is initially...
-
Materials Science Research Associate
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:Join the Faculty of Mechanical Science and Engineering at the Institute of Materials Science as a Research Associate / PhD Student. This role is designed for individuals aiming to enhance their academic qualifications, typically through a PhD program. The position is initially limited to 36 months, with the possibility of extension, and is...
-
Dresden, Sachsen, Deutschland Helmholtz-Zentrum Dresden-Rossendorf (HZDR) VollzeitAt Helmholtz-Zentrum Dresden-Rossendorf (HZDR), our team of approximately 1,500 professionals from over 70 countries is engaged in pioneering research across the domains of ENERGY, HEALTH, and MATTER, addressing significant societal challenges. The Institute for Ion Beam Physics and Materials Research focuses on the exploration of materials and their...
-
Dresden, Sachsen, Deutschland Helmholtz-Zentrum Dresden-Rossendorf (HZDR) VollzeitAt Helmholtz-Zentrum Dresden-Rossendorf (HZDR), our team of approximately 1,500 professionals from over 70 countries is dedicated to addressing significant societal challenges through innovative research in the fields of ENERGY, HEALTH, and MATTER. The Institute for Ion Beam Physics and Materials Research focuses on the exploration of materials and their...
-
Dresden, Sachsen, Deutschland Helmholtz-Zentrum Dresden-Rossendorf (HZDR) VollzeitOverview At Helmholtz-Zentrum Dresden-Rossendorf (HZDR), a leading research institution, we are dedicated to addressing significant societal challenges through advanced research in ENERGY, HEALTH, and MATTER. Our team comprises approximately 1,500 professionals from over 70 countries, all working collaboratively towards innovative solutions. The...
-
PhD Researcher in Materials Science
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview: The Faculty of Mechanical Science and Engineering at the Institute of Materials Science is seeking a dedicated Research Associate / PhD Student to contribute to innovative research in the field of materials science and nanotechnology.Research Objectives: The successful candidate will engage in the Collaborative Research Center CRC1415,...
-
PhD Researcher in Materials Science
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview: The Faculty of Mechanical Science and Engineering at the Institute of Materials Science is seeking a qualified individual for the role of Research Associate / PhD Student. This position is intended for those aiming to achieve further academic qualifications, typically a PhD, within a collaborative and interdisciplinary environment.Key...
-
Research Associate in Cognitive Neuroscience
vor 1 Monat
Dresden, Sachsen, Deutschland Sachsen VollzeitThe International Research Training Group (IRTG) 2773, focusing on the "Risks and Pathomechanisms of Affective Disorders," is seeking a dedicated individual for the role of Research Associate (f/m/x) This position (75%, E13 according to the Collective Agreement for the Public Service of the States (TV-L)) is available and limited to three years. The...
-
System Software Researcher Engineer
vor 3 Wochen
Dresden, Sachsen, Deutschland Huawei Deutschland VollzeitAbout Huawei DeutschlandHuawei Deutschland is a leading global information and communications technology (ICT) solutions provider. Our mission is to develop the future information society and build a Better Connected World.Job SummaryWe are seeking a highly skilled System Software Researcher Engineer to join our team at Huawei Deutschland. As a key member of...
-
System Software Researcher
Vor 5 Tagen
Dresden, Sachsen, Deutschland Huawei Deutschland VollzeitAbout the RoleWe are seeking a highly skilled System Software Researcher Engineer to join our team at Huawei Deutschland. As a key member of our research team, you will be responsible for exploring, analyzing, and advancing the state-of-the-art of OS technologies and system software.Key ResponsibilitiesIntegrate into the DRC research roadmap the requirements...
-
System Software Researcher
Vor 5 Tagen
Dresden, Sachsen, Deutschland Huawei Deutschland VollzeitAbout the RoleWe are seeking a highly skilled System Software Researcher Engineer to join our team at Huawei Deutschland. As a key member of our research team, you will be responsible for exploring, analyzing, and advancing the state-of-the-art of OS technologies and system software.Key ResponsibilitiesIntegrate into the DRC research roadmap the requirements...
-
Materials Science Researcher
vor 1 Monat
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitPosition Overview:At the Faculty of Mechanical Science and Engineering, the Institute of Materials Science is offering a position for a Research Associate / PhD Student within the Chair of Materials Science and Nanotechnology. This role is designed for individuals aiming to enhance their academic qualifications, typically through a PhD program.Employment...
-
Dresden, Sachsen, Deutschland Helmholtz-Zentrum Dresden-Rossendorf (HZDR) VollzeitAt Helmholtz-Zentrum Dresden-Rossendorf (HZDR), we are at the forefront of groundbreaking research in the domains of ENERGY, HEALTH, and MATTER, supported by a diverse team of approximately 1,500 professionals from over 70 countries. The Institute of Fluid Dynamics is dedicated to both fundamental and applied research in thermo-fluid dynamics and...
-
Dresden, Sachsen, Deutschland Helmholtz-Zentrum Dresden-Rossendorf (HZDR) VollzeitAt Helmholtz-Zentrum Dresden-Rossendorf (HZDR), we are dedicated to pioneering research in the domains of ENERGY, HEALTH, and MATTER, supported by a diverse team of approximately 1,500 professionals from over 70 countries. The Institute of Fluid Dynamics is at the forefront of both fundamental and applied research, focusing on thermo-fluid dynamics and...
Research Associate "Programming Language/Compiler Technology"
vor 4 Monaten
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 aResearch 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 aufSchlagworte: 5G, IoT, Compiler Technology, Haskell, Coq, language design, type sytems, operational semantics, OpenLab, Ohua, Informatik.
