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

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

interdisciplinary ideas for new third-party funded projects and coordinate the respective project application process. HR/Career Development: As a Group Leader you develop your group. You are the direct supervisor of your group members. You facilitate ... their performance and personal development and help them to strive for scientific excellence. You lay the foundation of a high level of motivation of your team. Engagement in Science Communication: In cooperation with your OpenLab team, you enable

and medium access control protocols for both communications and radar applications, by means of hardware demonstrations, computer simulations and theoretical work demonstrations. Your responsibilities development of hardware demonstrators for ... MSc/Diploma or PhD degree in areas related to our research focus (Electrical/Computer Engineering) Good communication and writing skills in English Experience in the development of experimental communications and/or radar testbeds Familiarity with

us at the MPSoC design process. The position will initially be filled for a period of 2 years and will be remunerated in line with TV-L E-13.   Your responsibilities will include Design and development of hardware solutions in the area

Für unser innovatives Team suchen wir Verstärkung im Bereich der Software-Entwicklung: Bei folgenden Aufgaben können Sie Ihr Potential einbringen und sich...

responsibilities Design and development of physical-layer security techniques and protocols Computer simulation and investigation of proposed techniques Supporting the development of hardware demonstrators Participation in writing research

Für unser innovatives Team suchen ab sofort einen Embedded Software Entwickler (m/w/d): Bei folgenden Aufgaben können Sie Ihr Potential einbringen und...

Sie möchten Ihr Wissen und Ihre Erfahrungen mit unseren Studierenden teilen und ihnen aktuelle Trends und Entwicklungen praxisnah vermitteln? Als Dozent*in...