Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Entwickle sicherheitskritische Systeme und arbeite an innovativen Projekten.
- Arbeitgeber: Führendes Cybersecurity-Unternehmen mit Fokus auf digitale Infrastrukturen.
- Mitarbeitervorteile: Flexible Arbeitszeiten, Homeoffice, Bike-Leasing und Firmenfitness-Programm.
- Warum dieser Job: Gestalte die digitale Zukunft und schütze wichtige Daten in einem dynamischen Team.
- Gewünschte Qualifikationen: Studium in Informatik oder vergleichbare Erfahrung, Kenntnisse in sicherer Softwareentwicklung.
- Andere Informationen: Karriereentwicklung und Vereinbarkeit von Beruf und Privatleben stehen im Mittelpunkt.
Das voraussichtliche Gehalt liegt zwischen 48000 - 84000 € pro Jahr.
secunet ist Deutschlands führendes Cybersecurity-Unternehmen. In einer zunehmend vernetzten Welt sorgt das Unternehmen mit der Kombination aus Produkten und Beratung für widerstandsfähige, digitale Infrastrukturen sowie den höchstmöglichen Schutz für Daten, Anwendungen und digitale Identitäten. secunet ist dabei spezialisiert auf Bereiche, in denen es besondere Anforderungen an die Sicherheit gibt – wie z. B. Cloud, IIoT, E-Government und E-Health.
Für unsere Abteilung Software Development & Verification in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.
Du bist zuständig für die Entwicklung komponenten-basierter Systeme, insbesondere sicherheitskritischer 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 Fehlerbeseitigung sowie die Erstellung von Dokumentationen.
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbaren Abschluss oder entsprechende Berufserfahrung
- eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
- Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
- umfangreiche Kenntnisse oder Erfahrungen in einem oder mehreren Themengebieten:
- sichere Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.)
- formale Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.)
- Betriebssystementwicklung, insbesondere Mikrokerne, Separation Kernel und Linux
- IT-Sicherheit
- angewandte Kryptographie
sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift
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: Zwölf Standorte in Deutschland, Mobile Office, 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.
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 kennenlernen.
Software Developer und Verification Expert (m/w/d) Arbeitgeber: secunet Security Networks AG
Kontaktperson:
secunet Security Networks AG HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Software Developer und Verification Expert (m/w/d)
✨Tipp Nummer 1
Netzwerken ist der Schlüssel! Nutze Plattformen wie LinkedIn, um mit Leuten aus der Cybersecurity-Branche in Kontakt zu treten. Lass uns wissen, wenn du Fragen hast oder Unterstützung brauchst!
✨Tipp Nummer 2
Bereite dich auf technische Interviews vor! Übe Coding-Challenges und sei bereit, deine Kenntnisse in sicheren Programmiersprachen wie Ada oder SPARK zu demonstrieren. Wir können dir Ressourcen empfehlen, die dir helfen!
✨Tipp Nummer 3
Sei proaktiv! Wenn du eine interessante Stelle bei secunet siehst, bewirb dich direkt über unsere Website. Zeig uns, dass du motiviert bist und bereit, Teil unseres Teams zu werden!
✨Tipp Nummer 4
Bereite Fragen für dein Vorstellungsgespräch vor! Zeige Interesse an den Projekten und der Unternehmenskultur. Das hilft nicht nur dir, sondern zeigt auch, dass du wirklich an der Position interessiert bist.
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Software Developer und Verification Expert (m/w/d)
Tipps für deine Bewerbung 🫡
Mach es persönlich!: Zeig uns, wer du bist! Verwende in deinem Anschreiben eine persönliche Ansprache und erzähle uns, warum du dich für die Stelle als Software Developer und Verification Expert interessierst. Das macht deine Bewerbung einzigartig.
Betone deine Fähigkeiten: Stell sicher, dass du deine Kenntnisse in sicheren Programmiersprachen wie Ada oder SPARK sowie deine Erfahrungen mit formalen Methoden klar hervorhebst. Wir wollen wissen, was du drauf hast und wie du unser Team bereichern kannst!
Sei präzise und strukturiert: Halte deine Bewerbung übersichtlich und gut strukturiert. Verwende klare Absätze und Aufzählungen, um deine Qualifikationen und Erfahrungen zu präsentieren. So können wir schnell erkennen, dass du der richtige Kandidat für uns bist.
Bewirb dich über unsere Website: Wir empfehlen dir, deine Bewerbung direkt über unsere Website einzureichen. So stellst du sicher, dass sie schnell bei uns ankommt und du alle notwendigen Informationen bereitstellst. Wir freuen uns auf deine Bewerbung!
Wie du dich auf ein Vorstellungsgespräch bei secunet Security Networks AG vorbereitest
✨Verstehe die Technologien
Mach dich mit den spezifischen Technologien und Programmiersprachen vertraut, die in der Stellenbeschreibung erwähnt werden, wie Ada, SPARK oder formale Methoden. Zeige im Interview, dass du nicht nur theoretisches Wissen hast, sondern auch praktische Erfahrungen oder Projekte, die du umgesetzt hast.
✨Bereite konkrete Beispiele vor
Überlege dir konkrete Beispiele aus deiner bisherigen Berufserfahrung, die deine Fähigkeiten in der Softwareentwicklung und im Umgang mit sicherheitskritischen Systemen demonstrieren. Sei bereit, diese Beispiele im Interview zu erläutern und zu zeigen, wie du Herausforderungen gemeistert hast.
✨Teamgeist betonen
Da secunet großen Wert auf Teamarbeit legt, solltest du im Interview betonen, wie du in der Vergangenheit erfolgreich in Teams gearbeitet hast. Teile Geschichten, die deinen Teamgeist und deine Fähigkeit zur Zusammenarbeit unter Beweis stellen.
✨Fragen vorbereiten
Bereite einige durchdachte Fragen vor, die du dem Interviewer stellen kannst. Das zeigt dein Interesse an der Position und am Unternehmen. Frage nach den aktuellen Projekten im Bereich Cybersecurity oder wie das Team die Herausforderungen in der Softwareentwicklung angeht.