Software Developer & Verification Expert (m/w/d) - Ingenieur, Anwendungsentwicklung
Deine Aufgaben
- Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten.
- Hierbei mit der primären Verwendung von Ada/SPARK 2014 und der Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten.
- Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitung, ebenso die Erstellung von Dokumentationen.
Dein Profil | Du verfügst über
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbarer Abschluss oder entsprechende Berufserfahrung
- eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
- Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
- umfangreiche Kenntnisse oder Erfahrungen in einem oder mehren Themengebieten:
- sichere Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
- formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
- Betriebssystementwicklung insbesondere Mikrokerne, Separation Kernel, Linux
- IT-Sicherheit
- angewandte Kryptographie
- sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift
Unser Angebot
- Echter Teamgeist: Mitarbeit in Teams, die Veränderungen vorantreiben - egal wie kompliziert und umfangreich Projekte sind
- Gesellschaftliche Relevanz: Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben - auf allen Gebieten der IT-Sicherheit
- Individuelle Weiterentwicklung: Karriere ist bei uns kein Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstützen Dich mit dem was Du für Dich brauchst um weiterzukommen
- Der Mensch im Fokus: In unserer Vielfalt liegt die Kraft. Wir respektieren uns gegenseitig so wie wir sind. Uns liegt zudem die Vereinbarkeit von Beruf, Familie und Privatleben am Herzen. Hier sind wir seit 2025 zertifiziert
- Flexibles Arbeiten: 12 Standorte in Deutschland, Shared Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. Da ist für jeden das passende Modell dabei
- Sonne, Strand oder Berge: Arbeiten im EU-Ausland? Kein Problem - Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten
- Schöne Benefits obendrauf: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr
Dein Kontakt zu uns
secunet Security Networks AG
Frau Katrin Krause
Kurfürstenstraße 58
45138 Essen
Telefon: +49 201 5454-0
Wenn Du gern an der Spitze der technologischen Entwicklung arbeiten möchtest, in einem
Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennen lernen. Wir freuen
uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine
Gehaltsvorstellung sowie die Kennziffer 3176/F angibst.
Empfohlene Jobs
Reinigungskraft (m/w/d) ab sofort gesucht
Ihre Aufgaben Sie sind als Reinigungskraft (m/w/d) bei unserem Kunden in Dresden tätig und übernehmen alle anfallenden Arbeiten in der Unterhalts- sowie auch zu einem kleinen Teil in der Reinraumr…
C#.NET Software Entwickler für kundenspezifische Anpassungen - English speakers welcome KA Resources
Für ein marktführendes Unternehmen, das Lösungen für mittelständische und große Unternehmen aus den Branchen Hightech und Elektronik, Luft- und Raumfahrt, Maschinen- und Anlagenbau und Automobil an…
Krankenschwester (m/w/d) Keine Lust mehr auf Klinikalltag?
Schluss mit Pflege nach Stoppuhr? Dann bist du bei uns genau richtig! Wir suchen examinierte Pflegefachkräfte (m/w/d) in Voll- oder Teilzeit für unser modernes Pflegezentrum in Dresden (01067). …
Mitarbeiter für Fenstermontage (m/w/d)
Sie sind auf der Suche nach einem abwechslungsreichen Job als Mitarbeiter für Fenstermontage (m/w/d)? Dann haben wir bei ARWA Personaldienstleistungen GmbH genau den richtigen Job für Sie im Rahme…
Bauleiter Tiefbau (m/w/d)
Das sind Ihre Aufgaben in unserem Team * Eigenverantwortliche Betreuung und Abrechnung von Bauprojekten im Tiefbau * Fachgerechte Abwicklung der Bauausführung, Terminkoordination, Leiten von Besprechu…
Sachbearbeiter Spedition (m/w/d)
Unser Kunde ist ein erfahrene und zuverlässige Partner für Baustelleninfrastruktur und die Vermietung sowie den Verkauf voll ausgestatteter Containerlösungen. Dafür suchen wir Sie ab sofort als S…
Elektriker (m/w/d) für Thermografie- und ESD-Prüfungen in Eisenach
40.000 Profis für die Zukunft des Gebäudes: Das ist Apleona. Wir sind führender Gebäudedienstleister und erleichtern täglich das Leben Tausender Menschen aus Industrie, Wirtschaft und öffentlicher Han…
Medieninformatik M.Sc. in Dresden
Please apply here on „ITsax.de“ with the „Apply Now“ link/button at the top right. Note: Please apply exclusively via our direct application link hosted by Empfehlungsbund and ITsax.de: . We are …
Kaufmännischer Mitarbeiter (m/w/d)
Das dürfen Sie von uns erwarten: ~ Sicherer Arbeitsplatz mit unbefristetem Arbeitsvertrag ~ Konkrete Chance auf Übernahme ~ Bezahlung nach GVP-Tarifverträgen – fair und transparent ~450 € für …
Teamleitung SAP Basis (m/w/d) - Dresden
Teamleitung SAP Basis (m/w/d) / Deutschlandweit remote / Unbefristeter Vollzeitvertrag Führen. Gestalten. Vorangehen – Ihre neue Herausforderung bietet Ihnen großartige Möglichkeiten. In Ihrer n…