Auf einen Blick
- Aufgaben: Entwickle sicherheitskritische Systeme und arbeite an innovativen Projekten.
- Arbeitgeber: Führendes Unternehmen im Bereich IT-Sicherheit mit starkem Teamgeist.
- Mitarbeitervorteile: Flexible Arbeitszeiten, Homeoffice, Bike-Leasing und viele weitere Vorteile.
- Warum dieser Job: Gestalte die Zukunft der IT-Sicherheit und mache einen echten Unterschied.
- Gewünschte Qualifikationen: Studium in Informatik oder vergleichbare Ausbildung, Erfahrung in Softwareentwicklung.
- Andere Informationen: Dynamisches Umfeld mit hervorragenden Entwicklungsmöglichkeiten.
Das voraussichtliche Gehalt liegt zwischen 43200 - 72000 € pro Jahr.
Für unseren Entwicklungsbereich in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.
Deine Aufgaben | Du übernimmst:
- die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten; hierbei die primäre Verwendung von Ada/SPARK 2014
- die Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften vertrauenswürdiger Komponenten
- die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt
- die Unterstützung bei Test, Fehleranalysen und Fehlerbeseitigung sowie die Erstellung von Dokumentationen
Dein Profil | Du verfügst über:
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss, oder eine Ausbildung mit entsprechender Berufserfahrung
- Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
- wir wünschen uns Kenntnisse in sicheren Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
- in formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
- in Betriebssystemen, Mikrokernen, Separation Kernel, Linux
- in den Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheit
- in der Intel x86-Architektur und Virtualisierung
- Sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil ab.
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, 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
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 3300/F angibst.
Software Developer & Verification (m/w/d) Arbeitgeber: Secunet
Kontaktperson:
Secunet HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: Software Developer & Verification (m/w/d)
✨Netzwerken, was das Zeug hält!
Nutze LinkedIn und Xing, um mit Leuten aus der Branche in Kontakt zu treten. Oft sind es persönliche Empfehlungen, die den Unterschied machen und dir den Zugang zu spannenden Stellen ermöglichen.
✨Sei proaktiv!
Warte nicht nur auf Stellenanzeigen, sondern sprich direkt mit Unternehmen, die dich interessieren. Zeig dein Interesse und frag nach möglichen offenen Positionen – manchmal gibt es Stellen, die noch nicht ausgeschrieben sind!
✨Bereite dich auf Interviews vor!
Mach dich mit typischen Fragen für Softwareentwickler vertraut und übe deine Antworten. Denk auch an technische Tests oder Coding-Challenges, die oft Teil des Auswahlprozesses sind. Wir können dir helfen, dich darauf vorzubereiten!
✨Bewirb dich über unsere Website!
Wenn du bei uns arbeiten möchtest, bewirb dich direkt über unsere Website. So hast du die besten Chancen, gesehen zu werden und wir können dich schneller in den Auswahlprozess einbeziehen!
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: Software Developer & Verification (m/w/d)
Tipps für deine Bewerbung 🫡
Mach es persönlich!: Zeig uns, wer du bist! Verwende eine freundliche und authentische Sprache in deinem Anschreiben. Erzähl uns, warum du dich für die Stelle interessierst und was dich motiviert, Teil unseres Teams zu werden.
Betone deine Fähigkeiten: Stell sicher, dass du deine relevanten Kenntnisse und Erfahrungen klar hervorhebst. Wenn du mit Ada/SPARK oder formalen Methoden gearbeitet hast, lass uns das wissen! Zeige uns, wie du zur Entwicklung sicherheitskritischer Systeme beitragen kannst.
Sei strukturiert: Halte deine Bewerbung übersichtlich und gut strukturiert. Verwende Absätze und Aufzählungen, um wichtige Informationen hervorzuheben. So können wir schnell erkennen, dass du der richtige Kandidat für die Stelle 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 Unterlagen!
Wie du dich auf ein Vorstellungsgespräch bei Secunet vorbereitest
✨Verstehe die Technologien
Mach dich mit den spezifischen Technologien und Programmiersprachen vertraut, die in der Stellenbeschreibung erwähnt werden, wie Ada/SPARK und 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.
✨Fragen stellen
Bereite einige Fragen vor, die du dem Interviewer stellen kannst. Das zeigt dein Interesse an der Position und dem Unternehmen. Frage nach den aktuellen Projekten, den Technologien, die verwendet werden, oder wie das Team zusammenarbeitet. Das gibt dir auch einen besseren Einblick in die Unternehmenskultur.
✨Soft Skills betonen
Neben technischen Fähigkeiten sind auch Soft Skills wichtig. Betone deine Teamfähigkeit, Kommunikationsstärke und Problemlösungsfähigkeiten. Zeige, dass du gut im Team arbeiten kannst und bereit bist, dich weiterzuentwickeln, um den Anforderungen des Unternehmens gerecht zu werden.