Research Associate "Formal Verification"
vor 3 Wochen
Das ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeige
finden Sie hier:
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.
- 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 account. We also offer support for arriving in Dresden (all formalities, apartment etc.).
Application ProcedureYour 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 Please reference "Research Associate Formal 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.
Wichtige Schlagworte für diese Anzeige: Formal verification, coq, Agda, Lean, IoT, 5G, IoT demonstrators, PhD, PostDoc, and Haskell.
ÜBER BARKHAUSEN INSTITUT GGMBHThe Barkhausen Institute is an independent research institute in Dresden, which works closely with the Technical University of Dresden and focuses on the core fields of the Internet of Things (IoT). The institute conducts application-oriented basic research with a time horizon of 5 to 10 years before market launch. As an innovation centre for IoT technologies, it is the contact for local and global industry.
In addition, the Barkhausen Institut attaches particular importance to the communication of research results and research methods. The discourse with the public about technological developments is part of the everyday work of all researchers.
Es handelt sich hier um eine Stellenanzeige des Empfehlungsbundes (Empfehlungsbund / EBND).
Mit den Klick auf Bewerben gelangen Sie zur Originalanzeige auf
-
Research Associate "Formal Verification"
vor 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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 "Digital Hardware Design"
vor 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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...
-
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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 /...
-
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitDas 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 1 Woche
Dresden, Sachsen, Deutschland Technische Universität Dresden VollzeitTUD 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 "Digital Hardware Design"
vor 1 Monat
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitDas ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGThe Barkhausen Institute 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...
-
ASIC Verification Engineer
vor 13 Stunden
Dresden, Sachsen, Deutschland Bosch Gruppe VollzeitDo you want beneficial technologies being shaped by your ideas? Whether in the areas of mobility solutions, consumer goods, industrial technology or energy and building technology - with us, you will have the chance to improve quality of life all across the globe. Welcome to Bosch.The Bosch Sensortec GmbH is looking forward to your application!Employment...
-
Research Associate "Processor Design"
vor 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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...
-
Dresden, Sachsen, Deutschland Landesamt für Straßenbau und Verkehr KdöR VollzeitWEGBEREITER 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...
-
Research Associate: Physical Layer Security
vor 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe Wireless Connectivity group is developing a secure and dependable architecture for the Internet of Things (IoT) using Physical Layer Security.We are looking for a Research Associate for Physical Layer Security Security (m/f/d) to creatively pursue our research agenda. Besides sharing your unique ideas, you will work at investigating new Physical-Layer...
-
Dresden, Sachsen, Deutschland Landesamt für Straßenbau und Verkehr VollzeitWEGBEREITER 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...
-
Research Associate "Digital Hardware Design"
vor 1 Monat
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitHinweis: Bitte bewerben Sie sich ausschließlich über unseren direkten Bewerbungslink gehostet von Empfehlungsbund und Wir freuen uns darauf, Sie kennenzulernenSTELLENBESCHREIBUNGThe Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society. Our goal is...
-
Research Associate "Datacenter Systems Software"
vor 1 Woche
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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 Barkhausen Institut group Composable Operating Systems is...
-
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitThe 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 Barkhausen Institut group Composable Operating Systems is developing...
-
Research Associate "Trusted Execution Environments"
vor 3 Wochen
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitDas 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 "Datacenter Systems Software"
vor 3 Wochen
Dresden, Sachsen, Deutschland Barkhausen Institut gGmbH VollzeitDas 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...
-
Teamleiter Halbleiter-Entwicklungsingenieur
vor 1 Monat
Dresden, Sachsen, Deutschland Verification Technology Germany GmbH VollzeitHinweis: Bitte bewerben Sie sich ausschließlich über unseren direkten Bewerbungslink gehostet von Empfehlungsbund und Wir freuen uns darauf, Sie kennenzulernenSTELLENBESCHREIBUNGVerification Technology Inc. ist ein international führendes Unternehmen für Design- und Verifikationsdienstleistungen mit Hauptsitz in Japan. Unsere Dienstleistungen für das...
-
Teamleiter Halbleiter-Entwicklungsingenieur
vor 3 Wochen
Dresden, Sachsen, Deutschland Verification Technology Germany GmbH VollzeitDas ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGVerification Technology Inc. ist ein international führendes Unternehmen für Design- und Verifikationsdienstleistungen mit Hauptsitz in Japan. Unsere Dienstleistungen für das Halbleiterdesign tragen dazu bei, zuverlässige und robuste Produkte zu...
-
Halbleiter Design Ingenieur
vor 3 Wochen
Dresden, Sachsen, Deutschland Verification Technology Germany GmbH VollzeitDas ist eine Stellenanzeige von Den vollständigen Link zur Stellenanzeigefinden Sie hier: STELLENBESCHREIBUNGVerification Technology Inc. ist ein international führendes Unternehmen für Design- und Verifikationsdienstleistungen mit Hauptsitz in Japan. Unsere Dienstleistungen für das Halbleiterdesign tragen dazu bei, zuverlässige und robuste Produkte zu...
