Software Developer & Verification (m/w/d)secunet • Berlin, DE
Software Developer & Verification (m / w / d)
secunet • Berlin, DE
Vor 15 Tagen
Stellenbeschreibungein 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 Systemen 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. 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
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
wir wünschen uns Kenntnisse
Unser Angebot
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.
Jobalert für diese Suche erstellen
Software Developer • Berlin, DE
Ähnliche Stellen
C++-Softwareentwickler (m / w / d) – Energiesysteme und Netzsoftware
Optimus Search • Berlin, Berlin, DE
Unser Kunde entwickelt fortschrittliche Softwarelösungen für die Planung, Simulation und den Betrieb moderner Stromnetze.
Angesichts des rasanten digitalen Wandels im Energiesektor suchen wir einen ...Mehr anzeigen
Zuletzt aktualisiert: vor 10 Tagen • Gesponsert
Data Engineering Tech Lead / Architekten
Andersen Lab • Ludwigsfelde, Germany
Erfahrung als Data Engineering Tech Lead / Architekt ab 6 Jahren.Fhigkeit zur Konzeption komplexer Systeme, nicht nur zur Erstellung von Reports.
Expertenkenntnisse in MicroStrategy / Power BI (Dash...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen • Gesponsert
C++ / Qt / QML-Softwareentwickler – Embedded GUI & Yocto-Systeme (Bonn)
Optimus Search • Berlin, Berlin, DE
Wir suchen einen erfahrenen C++- / Qt- / QML-Entwickler mit einer Leidenschaft für die Erstellung intuitiver, leistungsstarker Benutzeroberflächen auf eingebetteten Plattformen.Unser Kunde entwickelt h...Mehr anzeigen
Zuletzt aktualisiert: vor 10 Tagen • Gesponsert
Business Testerin - Digitalisation System Operations (m / w / d)
50Hertz Transmission GmbH • Berlin, DE
Ich plane und steuere Fachtests (UAT) in MCCS-Projekten, arbeite mit Key Usern und Testern und sorge für zuverlässige, nutzerfreundliche Systemeinführungen.
Das macht diesen Job für mich interessant...Mehr anzeigen
Zuletzt aktualisiert: vor 6 Tagen • Gesponsert
Informatiker als Test Manager - Software-Testing & Testing Gilde (w / m / d)
50Hertz Transmission GmbH • Berlin, DE
Ich strukturiere, plane und koordiniere Fachtests, verbinde Fachbereiche, Projekte und IT, und sorge für die praxisnahe, zuverlässige und nutzerfreundliche Einführung neuer Systeme.Das macht diesen...Mehr anzeigen
Zuletzt aktualisiert: vor 22 Tagen • Gesponsert
Senior Software Entwickler (m / w / d) - C# / C++ - Optimus Search
Optimus Search • Berlin, DE
Über uns About usWir sind ein führender Anbieter von Softwarelösungen im Gesundheitswesen.Unsere Vision ist es, eine Umgebung zu schaffen, in der medizinische Informationen jederzeit verfügbar sind...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert
Senior Software Entwickler (m / w / d) - C# / C++
Optimus Search • Berlin, Berlin, DE
Wir sind ein führender Anbieter von Softwarelösungen im Gesundheitswesen.Unsere Vision ist es, eine Umgebung zu schaffen, in der medizinische Informationen jederzeit verfügbar sind – damit Patienti...Mehr anzeigen
Zuletzt aktualisiert: vor 10 Tagen • Gesponsert
Senior Spezialist (w / m / div) Softwareverteilung
Deutsches Patent- und Markenamt • Berlin, DE
Über uns Erfindergeist und Kreativität brauchen wirksamen Schutz.Das Deutsche Patent- und Markenamt (DPMA) ist das Kompetenzzentrum für alle gewerblichen Schutzrechte – für Patente, Gebrauchs...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert
Anwendungsspezialist (m / w / d) KIS & Digitale Transformation
Spot On You Consulting • Ludwigsfelde, Germany
IT-Erfahrung im Gesundheitswesen : KIS, Schnittstellen & Serverbetrieb.Verstndnis fr klinische und administrative Ablufe im Gesundheitswesen.
Analytisch, kommunikationsstark und teamfhig mit pragmat...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen • Gesponsert
Softwareentwickler im Bereich Professional Audio (m / w / d))
Sennheiser electronic SE & Co. KG • Berlin, DE
Seit 1928 sind wir mit unseren legendären Produkten eine der weltweit bekanntesten Marken im Bereich Professional Audio.Heute nutzen mehr als 80 Prozent der Aufnahmestudios auf der Welt Neumann Mik...Mehr anzeigen
Zuletzt aktualisiert: vor 6 Tagen • Gesponsert
Teamlead Softwareentwicklung Standort Berlin (m / w / d) - PERBILITY GmbH
PERBILITY GmbH • Berlin, Berlin, Germany
Für unser Entwicklungsteam unseres Moduls Digitale Akte suchen wir eine erfahrene Führungspersönlichkeit, die technisches Know-how mit Menschenführung verbindet.
Deine Herausforderung Führung & Team...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert
Teamlead Softwareentwicklung Standort Berlin (m / w / d)
PERBILITY GmbH • Berlin, Berlin, DE
Für unser Entwicklungsteam unseres Moduls Digitale Akte suchen wir eine.Know-how mit Menschenführung verbindet.Du führst dein Team mit Empathie, Klarheit und Vertrauen – fordernd und fördernd zugle...Mehr anzeigen
Zuletzt aktualisiert: vor 10 Tagen • Gesponsert
Smart Card Developer (m / w / d)
secunet Security Networks AG • Berlin, Berlin, DE
Optimale Perspektiven | Neue Möglichkeiten | Mit Sicherheit.Deutschlands führendes Cybersecurity-Unternehmen.In einer zunehmend vernetzten Welt sorgt das Unternehmen mit der Kombination aus Produkt...Mehr anzeigen
Zuletzt aktualisiert: vor 10 Tagen • Gesponsert
Teamlead Softwareentwicklung Standort Bamberg (m / w / d) - PERBILITY GmbH
PERBILITY GmbH • Berlin, DE
Für unser wachsendes Plattform-Entwicklungsteam suchen wir eine erfahrene Führungspersönlichkeit, die technisches Know-how mit Menschenführung verbindet.
Deine Mission : Ein Team unterstützen und wei...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert
Senior Spezialist (w / m / div) Softwareverteilung - Deutsches Patent- und Markenamt
Deutsches Patent- und Markenamt • Berlin, DE
Über uns Erfindergeist und Kreativität brauchen wirksamen Schutz.Das Deutsche Patent- und Markenamt (DPMA) ist das Kompetenzzentrum für alle gewerblichen Schutzrechte – für Patente, Gebrauchs...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert
C# Softwareentwickler (m / w / d)
Optimus Search • Berlin, DE
Über uns About usEin führendes High-Tech-Unternehmen im Bereich industrielle Messtechnik sucht Verstärkung für sein Softwareteam.
Seit über 70 Jahren entwickelt das Unternehmen innovative Lösungen u...Mehr anzeigen
Zuletzt aktualisiert: vor 4 Tagen • Gesponsert
C# Softwareentwickler (m / w / d) - Optimus Search
Optimus Search • Berlin, DE
Über uns About usEin führendes High-Tech-Unternehmen im Bereich industrielle Messtechnik sucht Verstärkung für sein Softwareteam.
Seit über 70 Jahren entwickelt das Unternehmen innovative Lösungen u...Mehr anzeigen
Zuletzt aktualisiert: vor 4 Tagen • Gesponsert
Teamlead Softwareentwicklung Standort Bamberg (m / w / d)
PERBILITY GmbH • Berlin, DE
Für unser wachsendes Plattform-Entwicklungsteam suchen wir eine erfahrene Führungspersönlichkeit, die technisches Know-how mit Menschenführung verbindet.
Deine Mission : Ein Team unterstützen und wei...Mehr anzeigen
Zuletzt aktualisiert: vor 11 Tagen • Gesponsert