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

The Barkhausen Institute performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's...

: Beraten, Konzipieren und Integrieren innovativer Microsoft IT-Security-Lösungen, insbesondere im Bereich Identity Security & Data Security Gestalten und Analysieren der fachlichen und technischen Anforderungen für die zukünftigen ...;Security Produkte, Cloud- und Hybrid-Umgebungen Zertifizierungen wie Microsoft Certified Cybersecurity Architect Expert sind von Vorteil, aber nicht zwingend erforderlich Interesse an regelmäßigen Weiterbildungen im Security-Umfeld Sehr gute

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

SIListra Systems ist als Ausgründung der TU Dresden ein hoch spezialisiertes Technologieunternehmen am Standort Dresden ( https://www.silistra-systems.com/de/career/standort-dresden/...

Weiterentwicklung von zentralen Komponenten wie Microsoft Verzeichnisdienst und Sicherungssystemen (z.B. Endpoint Security, Firewall). Mehr Informationen zu den Aufgaben der LIT erhalten Sie auf unserer Website https://www.justiz.sachsen.de/lit/. Ihr Job

Du testest Dinge gern auf Herz und Nieren? Effiziente und integrierbare Abläufe ermöglichst du am liebsten durch Automatisierung? Du hast Lust auf hochspannende...

Das Barkhausen Institut ist das deutsche IoT-Institut mit Sitz in Dresden. Wir forschen an hochmodernen vernetzten Technologien und zeigen deren Anwendung...

electronics and secure communication methods. The Barkhausen Institut group Composable Operating Systems is developing remote attestation solutions and trusted execution environments to advance the security of connected systems. At the earliest

The 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 Security techniques and protocols, by means of theoretical work, computer simulations and hardware demonstrations. Your

Akkodis ist ein führender Personal- und Ingenieurdienstleister in den Bereichen IT, Life Science und Engineering und unterstützt Top-Unternehmen bei der...

electronics and secure communication methods. At the earliest possible date we are looking for a   Research Associate "IT Security with focus on 5G/6G and Standardization" (m/f/d)   The position is initially for a period of 3 years with ... the option of a permanent position at a later date and is remunerated according to TV-L E-13.   Your responsibilities will include Analysis of threats, vulnerabilities and security risks in the area of 5G/6G systems Development of

Ihre Begeisterung für Datenschutz und Compliance trifft auf unsere Leidenschaft für eine digitale Justiz. Erweitern Sie Ihre Kompetenzen in zukunftsorientierten...

Wir möchten, dass du dich bei uns wohlfühlst und dich sonntags schon auf Montag freust! Die Zeit, die du bei uns verbringst, soll für dich angenehm und...

. TCP/IP, TLS, MACsec, IPsec) Eigenverantwortliches Arbeiten, einen hohen Qualitätsanspruch und die Motivation, in enger Zusammenarbeit mit dem Kunden sichtbaren Mehrwert zu schaffen Begeisterungsfähigkeit für Automotive Security, Kommunikationsstärke ... und Durchsetzungsvermögen Die Erkenntnis, dass man im Team einfach mehr erreicht Pluspunkte sammelst du mit Einer Studienvertiefung im Bereich Cyber Security Kenntnissen im Bereich ISO/IEC 21434