Cryptolib Verification - Functional and Logical (m/w/d)

Aktuell sind wir auf der Suche nach einem Cryptolib Verification Specialist (m/w/d) für einen unserer Kunden im Bereich der Herstellung von Halbleitern im Raum Augsburg.

Auslastung: 100%
Einsatzort: vor Ort in Augsburg und Remote (60%/40%)

Ihre Aufgaben:
+ Sie programmieren die Verification-Firmware für die Sicherheitscontroller, überwiegend basierend auf ARM Architekturen.
+ Sie sind eine treibende Rolle bei der kontinuierlichen Verbesserung und Weiterentwicklung des Verification-Frameworks, Architektur und Design.
+ Sie Testen die Integration und Dokumentation der Softwarekomponenten für symmetrische und asymmetrische Krypto Algorithmen im Rahmen unserer Secure Software Entwicklung.
+ Eigenständige Weiterentwicklung und Dokumentation der Testumgebung für die Verifikation von embedded libraries gemäß neuer Anforderungen.
+ Die Einbindung und Pflege der Testumgebung in den automatisierten build flow ist Teil Ihrer Aufgabe
+ Sie führen die auditsicheren Dokumentation der Arbeitsergebnisse und sind die Vertretung bei Audits und Reviews.
+ enge Zusammenarbeit mit den Teamleitern bei der Übernahme der zugewiesenen Verifikationsaufgaben
+ Generieren von Testberichten
+ Erstellen von Jira-Tickets, enge Zusammenarbeit mit dem Entwicklungsteam und Schließen des Tickets durch erneute Verifizierung
+ rechtzeitige Lieferung der zugewiesenen Aufgaben mit sehr guter Dokumentation und Berichten

Folgende Anforderungen bringen Sie mit:

+ Erfahrung in den Programmiersprachen C/C++, JavaScript, Python, Windows- und Bash-Scripting
+ Erfahrung mit ARM-Architekturen
+ Experte in CryptoLib
+ Sie verfügen über einen Studienabschluss in Mikroelektronik, Elektrotechnik, Informatik oder in einem vergleichbaren Bereich
+ Sehr gute Kenntnisse im Umgang mit Testsystemen sowie in der Konzipierung und Implementierung von Testsystemen
+ Erfahrung im Umgang mit Versionskontrollsystemen und Konfigurationsmanagement

+ Mindestens 5 Jahre Berufserfahrung mitbringen - davon 3 Jahre Erfahrung mit Konzept und Entwicklung von Tests und Testumgebungen im Bereich Embedded Firmware/ Software Entwicklung
+ Vorkenntnisse: Funktionale Verifikation und logische Verifikation von asymmetrischen und symmetrischen Kryptobibliotheken

Konnten wir Ihr Interesse wecken? Dann freuen wir uns auf die Zusendung Ihres aussagekräftigen Expertenprofils unter Angabe Ihrer Stundensatzvorstellung.