Software Developer & Verification (m/w/d)
Software Developer & Verification (m/w/d)

Software Developer & Verification (m/w/d)

Dresden Vollzeit 43200 - 72000 € / Jahr (geschätzt) Kein Home Office möglich
Go Premium
Secunet

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

Die secunet Security Networks AG ist ein hervorragender Arbeitgeber, der seinen Mitarbeitern nicht nur spannende Herausforderungen in der Softwareentwicklung bietet, sondern auch ein starkes Teamgefühl und gesellschaftliche Relevanz fördert. Mit flexiblen Arbeitsmodellen, individueller Weiterentwicklung und einem respektvollen Miteinander schafft das Unternehmen eine Arbeitsumgebung, die sowohl berufliche als auch persönliche Bedürfnisse berücksichtigt. Zudem ermöglicht die Möglichkeit, bis zu 20 Tage im Jahr remote innerhalb der EU zu arbeiten, eine attraktive Work-Life-Balance.
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)

Ada/SPARK 2014
Formale Methoden
Fehleranalysen
Dokumentationserstellung
Sichere Programmiersprachen
IT-Sicherheit
Angewandte Kryptografie
Informationssicherheit
Betriebssysteme
Mikrokernen
Separation Kernel
Linux
Intel x86-Architektur
Virtualisierung
Deutschkenntnisse
Englischkenntnisse

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.

Software Developer & Verification (m/w/d)
Secunet
Standort: Dresden
Premium gehen

Schneller zum Traumjob mit Premium

Deine Bewerbung wird als „Top Bewerbung“ bei unseren Partnern gekennzeichnet
Individuelles Feedback zu Lebenslauf und Anschreiben, einschließlich der Anpassung an spezifische Stellenanforderungen
Gehöre zu den ersten Bewerbern für neue Stellen mit unserem AI Bewerbungsassistenten
1:1 Unterstützung und Karriereberatung durch unsere Career Coaches
Premium gehen

Geld-zurück-Garantie, wenn du innerhalb von 6 Monaten keinen Job findest

Secunet
  • Software Developer & Verification (m/w/d)

    Dresden
    Vollzeit
    43200 - 72000 € / Jahr (geschätzt)
  • Secunet

    Secunet

    500 - 1000
Ähnliche Positionen bei anderen Arbeitgebern
Europas größte Jobbörse für Gen-Z
discover-jobs-cta
Jetzt entdecken
>