Beschreibung
Crypto-Verifikation Entwickler mit Rust Erfahrung (m/w/d) – Projektvakanz
Für ein Projekt im Bereich kryptographischer Verifikationen und Softwarequalität suchen wir ab sofort einen erfahrenen Crypto-Verifikation Entwickler (m/w/d).
Die Aufgabe umfasst die Implementierung und Prüfung kryptographischer Protokolle sowie die Entwicklung in modernen Systemumgebungen – mit Fokus auf Codequalität, Verifikation und Performance.
Anforderungen:
1. Versionsverwaltung mit GIT
Mindestanforderung:
Mindestens 3 Jahre praktische Erfahrung mit:
• Branching-Strategien (z.?B. Git Flow und/oder Trunk Based Development)
• Merge / Rebase
• Reset
• Fetch / Pull
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
2. Softwarequalität
Mindestanforderung:
Mindestens 3 Jahre Erfahrung mit:
• Code Reviews
• Clean Code Prinzipien
• SOLID-Prinzipien
• Statischer Codeanalyse (z.?B. Sonarqube)
• Einsatz von Lintern
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
3. Objektorientierte Programmierung
Mindestanforderung:
Mindestens 3 Jahre Erfahrung mit:
• Vererbung
• Interfaces
• Klassen
• Objektorientierten Designprinzipien
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
4. Programmierung in der Sprache Rust
Mindestanforderung:
Mindestens 5 Jahre fundierte Erfahrung in:
• Nutzung der Rust Standard Library
• Object Ownership Modell
• Debugging in Rust
• Arbeiten mit Threads
• Asynchroner Netzwerkkommunikation mit Tokio
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
5. Tools zur Verifikation kryptographischer Operationen
Mindestanforderung:
Mindestens 5 Jahre Erfahrung in der Analyse kryptographischer Protokolle mit Tools wie:
• ProVerif
• Tamarin
• EasyCrypt
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
6. Werkzeuge für Korrektheitsbeweise im Code
Mindestanforderung:
Mindestens 5 Jahre Erfahrung im Umgang mit Beweisassistenten wie:
• F*
• Rocq oder vergleichbaren Tools
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
Interesse geweckt?
Dann freuen wir uns auf Ihre Bewerbung inklusive aller relevanten Nachweise.
Bitte senden Sie Ihre Unterlagen unter Angabe des Betreffs „Crypto-Verifikation Entwickler – Projektbewerbung“ an Info [at] Rheinland-Software.de
Für ein Projekt im Bereich kryptographischer Verifikationen und Softwarequalität suchen wir ab sofort einen erfahrenen Crypto-Verifikation Entwickler (m/w/d).
Die Aufgabe umfasst die Implementierung und Prüfung kryptographischer Protokolle sowie die Entwicklung in modernen Systemumgebungen – mit Fokus auf Codequalität, Verifikation und Performance.
Anforderungen:
1. Versionsverwaltung mit GIT
Mindestanforderung:
Mindestens 3 Jahre praktische Erfahrung mit:
• Branching-Strategien (z.?B. Git Flow und/oder Trunk Based Development)
• Merge / Rebase
• Reset
• Fetch / Pull
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
2. Softwarequalität
Mindestanforderung:
Mindestens 3 Jahre Erfahrung mit:
• Code Reviews
• Clean Code Prinzipien
• SOLID-Prinzipien
• Statischer Codeanalyse (z.?B. Sonarqube)
• Einsatz von Lintern
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
3. Objektorientierte Programmierung
Mindestanforderung:
Mindestens 3 Jahre Erfahrung mit:
• Vererbung
• Interfaces
• Klassen
• Objektorientierten Designprinzipien
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
4. Programmierung in der Sprache Rust
Mindestanforderung:
Mindestens 5 Jahre fundierte Erfahrung in:
• Nutzung der Rust Standard Library
• Object Ownership Modell
• Debugging in Rust
• Arbeiten mit Threads
• Asynchroner Netzwerkkommunikation mit Tokio
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
5. Tools zur Verifikation kryptographischer Operationen
Mindestanforderung:
Mindestens 5 Jahre Erfahrung in der Analyse kryptographischer Protokolle mit Tools wie:
• ProVerif
• Tamarin
• EasyCrypt
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
6. Werkzeuge für Korrektheitsbeweise im Code
Mindestanforderung:
Mindestens 5 Jahre Erfahrung im Umgang mit Beweisassistenten wie:
• F*
• Rocq oder vergleichbaren Tools
Geforderter Nachweis:
Lebenslauf ODER Zertifikat ODER Zeugnis ODER vergleichbarer Nachweis
(Vorbehalten: Überprüfung im Rahmen eines technischen Fachgesprächs)
Interesse geweckt?
Dann freuen wir uns auf Ihre Bewerbung inklusive aller relevanten Nachweise.
Bitte senden Sie Ihre Unterlagen unter Angabe des Betreffs „Crypto-Verifikation Entwickler – Projektbewerbung“ an Info [at] Rheinland-Software.de