Software Developer / Verification Expert (m/w/d)secunet Security Networks AG • Berlin, Berlin, Germany
Software Developer / Verification Expert (m / w / d)
secunet Security Networks AG • Berlin, Berlin, Germany
Vor 9 Tagen
Stellenbeschreibungformalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.) Betriebssystemen, Mikrokernen, Separation Kernel, Linux den Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheit 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 : 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? xjliken 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
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. Mit den Sicherheitslösungen von secunet können Unternehmen höchste Sicherheitsstandards in Digitalisierungsprojekten einhalten und damit ihre digitale Transformation vorantreiben.
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.
Scrollen Sie nach unten, um einen ausführlichen Überblick über diese Stelle zu erhalten und darüber, was von den Bewerbern erwartet wird Bewerben Sie sich, indem Sie auf die Schaltfläche Bewerben klicken.
- 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
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss oder eine Ausbildung mit entsprechender Berufserfahrung
- Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systemen
- wünschenswert sind Kenntnisse in :
sicheren Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.)
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.
Jobalert für diese Suche erstellen
Software Developer • Berlin, Berlin, Germany
Ähnliche Stellen
Software Tester für Qualitätssicherung & Testautomatisierung (w / m / d) bei Finmas GmbH | softgarden.Software Tester für Qualitätssicherung & Testautomatisierung (w / m / d).Immobilie & Finan...Mehr anzeigen
Softwareentwickler für soziale Innovationen (m / w / d)
VRG GmbH • Berlin, Oldenburg, DE
Wir bei der VRG haben eine gemeinsame Herzensangelegenheit : Helfenden helfen.Wir nehmen Sozialwirtschaft persönlich – und das tun wir mit Software speziell für die Sozialwirtschaft und persönlicher...Mehr anzeigen
Zuletzt aktualisiert: vor 2 Tagen • Gesponsert
Software Testingenieur (m / w / d) - Space & Tech
Gallmond GmbH • Berlin, Deutschland
Im Auftrag unseres Mandanten, einem innovativen Unternehmen der Raumfahrt- und Digitalbranche am Standort Bremen, suchen wir einen erfahrenen Software-Testingenieur (m / w / d) zur Verstärkung des wach...Mehr anzeigen
Zuletzt aktualisiert: vor 28 Tagen
Expertin / Experte IT-Lösungsdesign mit dem Schwerpunkt Innovation Lab (w / m / d)
Bundesanstalt für Immobilienaufgaben • Berlin, Berlin, DE
Die Zentrale sucht für den Geschäftsbereich.Dienstort / Arbeitsort Berlin zum nächstmöglichen Zeitpunkt.IT‑Lösungsdesign mit dem Schwerpunkt Innovation Lab (w / m / d).
Besoldungsgruppe A 12 BBesO / Entg...Mehr anzeigen
Zuletzt aktualisiert: vor 1 Tag • Gesponsert
Software Engineering (m / w / d)
SAE Institute Berlin • Berlin Kreuzberg, Berlin, DE
Du bist zukunftsorientiert und möchtest die digitale Zukunft aktiv mitgestalten, sicherer machen und Usern den Umgang so bequem und verständlich wie möglich gestalten?.
Logisch denken, Lösungen find...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen • Gesponsert
Senior Software-Entwickler (m / w / d)
Riverty • Berlin
Gestalte deine eigene - gemeinsam mit uns bei Riverty.In eine unserer 30 hybriden Arbeitsumgebungen - gestaltet für den Austausch von Ideen, gemeinsames Lernen und die Mitgestaltung unserer Arbeits...Mehr anzeigen
Zuletzt aktualisiert: vor 1 Tag • Gesponsert
Senior Software Test Engineer e-Health (m / w / d)
CompuGroup Medical Deutschland AG • Berlin, DE
Gemeinsam gestalten wir die Zukunft von E-Health.CompuGroup Medical ist eines der führenden E-Health Unternehmen weltweit und verfolgt eine wichtige Mission.
Mitarbeiterinnen und Mitarbeiter geben j...Mehr anzeigen
Zuletzt aktualisiert: vor 2 Tagen • Gesponsert
Software-Entwickler (m / w / d) für kundennahe Anwendungen
DIN Solutions GmbH • Berlin, DE
Die DIN Solutions GmbH steht innerhalb der DIN-Gruppe für eine hohe technische Expertise und ist verantwortlich für die Entwicklung und den Betrieb von Software, Plattformen und Datenbanken.Unsere ...Mehr anzeigen
Zuletzt aktualisiert: vor 2 Tagen • Gesponsert
Software Tester für Qualitätssicherung & Testautomatisierung (w / m / d)
Finmas GmbH • Berlin, Berlin, Deutschland
Quick Apply
Zuletzt aktualisiert: vor 3 Tagen
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 28 Tagen • Gesponsert
Expert •in Berechtigungsmanagement (w / m / div)
Sparda-Bank Berlin eG • Hennigsdorf, Germany
Du arbeitest gerne authentisch auf Augenhhe von Mensch zu Mensch?.Wir, die Sparda-Bank Berlin mit ca.Kolleg •innen, sind als Genossenschaftsbank im und fr den Osten von Deutschland ttig.Privatkund •i...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen • Gesponsert
(Senior) Software Engineer (m / w / d) - C# / .NET & Azure
Hyand Group • Berlin, Berlin, DE
Senior) Software Engineer (m / w / d) - C# / .Standort Braunschweig Ratingen Berlin Hamburg Frankfurt am Main Köln München.
Bei Hyand erwartet dich mehr als nur ein Job mit spannenden Projekten – hier zäh...Mehr anzeigen
Zuletzt aktualisiert: vor 2 Tagen • Gesponsert
Software-Entwickler (m / w / d)
Fichtner IT Consulting GmbH • Berlin, Berlin, DE
Entwicklung von automatisierten IT-Schnittstellen zur Datenkommunikation und -transformation (Webservices, Streaming).Hosting, Betrieb und Monitoring in modernen Cloud-Infrastrukturen (Docker, Kube...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen • Gesponsert
Senior SAP Treasury and Risk Management Experte / Software Engineer (m / w / d)
Deutsche Telekom It GmbH • Berlin, Berlin, Germany
Die Telekom IT ist integraler Bestandteil der Deutschen Telekom.IT-Spezialisten in sieben Ländern vereinfachen, digitalisieren und beschleunigen wir die Prozesse in unserem Großk...Mehr anzeigen
Zuletzt aktualisiert: vor 26 Tagen • Gesponsert
Spezialist (m / w / d) – Validierung Banksteuerung
S Rating und Risikosysteme GmbH • Berlin
Sparkassen Rating und Risikosysteme (SR).Dienstleister für Verfahren des Risikomanagements in der Sparkassen-Finanzgruppe.
Wir unterstützen die Institute mit Standardlösungen in den Bereichen der ...Mehr anzeigen
Zuletzt aktualisiert: vor 7 Tagen • Gesponsert
Senior TypeScript-Developer (m / w / d) Deutsch Level C1
Buchner & Partner GmbH • Berlin, Berlin, Germany
Senior TypeScript-Developer (m / w / d) Deutsch Level C1.Wir brennen darauf, für unsere Kunden innovative Lösungen zu entwickeln!.
Du brennst für Technik? Und du haust mit dei...Mehr anzeigen
Zuletzt aktualisiert: vor 8 Tagen • Gesponsert
Softwaretester / Testanalyst (m / w / d) – Schwerpunkt KI-gestütztes Testfalldesign
AVABIS GmbH • Dortmund, Berlin, Hamburg, Hannover, Köln, Frankfurt am Main, Stuttgart, München, DE
Du suchst neue Herausforderungen und eine langfristige Zusammenarbeit?.Du möchtest Dich fachlich und individuell weiterentwickeln und Deine Tatkraft in ein gutes Team einbringen?.Wenn ja, dann bist...Mehr anzeigen
Zuletzt aktualisiert: vor 2 Tagen • Gesponsert
Software Developer / Verification Expert (m / w / d)
Secunet Security Networks AG • Berlin, Dresden, Germany
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 Infrastruktu...Mehr anzeigen
Zuletzt aktualisiert: vor 9 Tagen • Gesponsert
Fachexperte Hochschulzulassung in einem Software-Startup (m / w / d)
Compounder GmbH • Berlin, Berlin, DE
AdmitCheck ist ein EdTech-Startup aus Köln und Teil der Compounder GmbH.Wir entwickeln eine KI-gestützte SaaS-Lösung, mit der Hochschulen nationale und internationale Bewerbungen automatisiert vorp...Mehr anzeigen
Zuletzt aktualisiert: vor über 30 Tagen