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

earliest possible date we are looking for a   Research Associate Digital Hardware Design” (m/f/d)   to creatively pursue our research agenda. Besides sharing your unique ideas, you will work at the hardware implementation and support ... 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

earliest possible date we are looking for a   Research Associate Digital Hardware Design” (m/f/d)   to creatively pursue our research agenda. Besides sharing your unique ideas, you will work at the hardware implementation and support ... 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

Wir suchen eine erfahrene und kommunikative SEO-Manager*in (m/w/d), welche unser SEO-Team verstärkt Du solltest motiviert und engagiert sein und proaktiv...

digital hardware design and processor architectures Experience with hardware description languages and embedded programming Very good communication and writing skills in English An integrative and cooperative personality with excellent communication

besetzen und wird nach TV-L E-13 vergütet. Aufgaben Design und Entwicklung von Hardware-Lösungen für Anwendungen aus dem Bereich Hardware- und IoT-Sicherheit HDL-Simulation und Verifikation einschließlich Programmierung eingebetteter Systeme

earliest possible date we are looking for a   Research Associate Digital Hardware Design” (m/f/d)   to creatively pursue our research agenda. Besides sharing your unique ideas, you will work at the hardware implementation and support ... 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

besetzen und wird nach TV-L E-13 vergütet. Aufgaben Design und Entwicklung von Hardware-Lösungen für Anwendungen aus dem Bereich Hardware- und IoT-Sicherheit HDL-Simulation und Verifikation einschließlich Programmierung eingebetteter Systeme

digital hardware design and processor architectures Experience with hardware description languages and embedded programming Very good communication and writing skills in English An integrative and cooperative personality with excellent communication

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

to verify and measure our hardware design in the lab. We are looking for processor design expertise to engrave our security/trustworthiness ideas also into the microarchitecture of the embedded processor. We are eager to question fundamental ... processor design structures and build the next generation processor architecture.   At the earliest possible date we are looking for a   Research Associate Processor Design” (m/f/d)   The position will initially be filled for a period

gemäß ISO26262 und IEC61508 Um das kontinuierliche Wachstum unseres Unternehmens aufrechtzuerhalten, sind wir auf der Suche nach:   Halbleiter Design Ingenieur (m/w/d) Teamleiter   für unseren neuen Standort in Dresden.  

to verify and measure our hardware design in the lab. We are looking for processor design expertise to engrave our security/trustworthiness ideas also into the microarchitecture of the embedded processor. We are eager to question fundamental ... processor design structures and build the next generation processor architecture.   At the earliest possible date we are looking for a   Research Associate Processor Design” (m/f/d)   The position will initially be filled for a period

digital hardware design and processor architectures Experience with hardware description languages and embedded programming Very good communication and writing skills in English An integrative and cooperative personality with excellent communication

besetzen und wird nach TV-L E-13 vergütet. Aufgaben Design und Entwicklung von Hardware-Lösungen für Anwendungen aus dem Bereich Hardware- und IoT-Sicherheit HDL-Simulation und Verifikation einschließlich Programmierung eingebetteter Systeme