Software Developer

Vor 2 Tagen

Berlin, Berlin, Deutschland secunet Security Networks AG Vollzeit 50.000 € - 80.000 € pro Jahr
Software Developer (m/w/d) & Verification

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 Systemen
  • 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:

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

    Vor 6 Tagen

    Berlin, Berlin, Deutschland PSI Software SE Vollzeit 80.000 € - 120.000 € pro Jahr

    Der PSI-Konzern entwickelt Softwareprodukte zur Optimierung des Energie- und Materialflusses bei Versorgern und Industrie. Als unabhängiger Softwarehersteller mit über 2.300 Beschäftigten ist PSI seit 1969 Technologieführer für Prozesssteuerungssysteme, die durch die Kombination von KI-Methoden mit industriell bewährten Optimierungsverfahren für eine...

  • Software Developer

    Vor 7 Tagen

    Berlin, Berlin, Deutschland Fuku Vollzeit 25.000 € - 55.000 € pro Jahr

    Fuku is searching for a skilled and innovative Software Developer to join our growing technology team. In this role, you will be responsible for designing, coding, and implementing software applications that meet the needs of our users and support our business goals. You will work in a collaborative environment, partnering with product managers, designers,...

  • Software Developer

    vor 4 Stunden

    Berlin, Berlin, Deutschland Smart Steel Technologies Vollzeit 80.000 € - 120.000 € pro Jahr

    YOUR TASKSDevelop and optimize features using advanced C++ concepts such as move semantics, perfect forwarding, and compile-time polymorphism.Utilize modern C++ features for designing and implementing reusable code, with an emphasis on range views, lazy evaluation, and compile-time calculations.Design and implement interface-uniform classes using static...

  • Software Developer

    Vor 6 Tagen

    Berlin, Berlin, Deutschland JetBrains Vollzeit 60.000 € - 120.000 € pro Jahr

    At JetBrains, code is our passion. Ever since we started, back in 2000, we have been striving to make the strongest, most effective developer tools on earth. By automating routine checks and corrections, our tools speed up production, freeing developers to grow, discover, and create.CodeCanvas provides easily accessible and interactive development...

  • Software Developer

    Vor 6 Tagen

    Berlin, Berlin, Deutschland Fujitsu Vollzeit 40.000 € - 60.000 € pro Jahr

    DescriptionTransform your world with us  Fujitsu ist ein globaler Partner für die Digitale Transformation und hat sich zum Ziel gesetzt, die Welt nachhaltiger zu gestalten und mit Innovationen das Vertrauen in die Gesellschaft zu fördern. Mit rund Mitarbeitern unterstützt Fujitsu seine Kunden in über 100 Ländern, einige der größten Herausforderungen...

  • Senior Software Developer

    Vor 6 Tagen

    Berlin, Berlin, Deutschland Propellerhead Vollzeit 80.000 € - 120.000 € pro Jahr

    Work with our innovative team based in Auckland, New Zealand We are seeking talented individuals excited about the opportunity to learn, expand their skillset and support our company in its evolution to a Rust code base.We welcome applications from individuals located internationally seeking remote engagements, or those looking to relocate to Auckland, New...

  • Senior Software Developer

    Vor 6 Tagen

    Berlin, Berlin, Deutschland Propellerhead Vollzeit 80.000 € - 120.000 € pro Jahr

    Work alongside our innovative team based in Auckland, New Zealand We are seeking talented individuals excited about the opportunity to learn, expand their skillset and support our company in its evolution to a Rust code base.We welcome applications from both individuals located internationally seeking remote engagements, or those looking to relocate to...

  • Software Developer Intern

    Vor 6 Tagen

    Berlin, Berlin, Deutschland Dayforce Vollzeit 60.000 € - 120.000 € pro Jahr

    Dayforce, a global leader in Human Capital Management (HCM) with headquarters in Toronto, Ontario, and Minneapolis, Minnesota, operates across North America, EMEA, and APJ regions. Our Cloud HCM platform, recognized for its unified database and continuous calculation engine, enhances efficiency, productivity, and compliance for global workforces. We are...

  • Senior Software Developer C#

    Vor 6 Tagen

    Berlin, Berlin, Deutschland Atlas Copco Vollzeit 80.000 € - 120.000 € pro Jahr

    Would you like to be part of a team that develops cutting-edge software solutions for sustainable and flexible production systems used by leading automotive and general industry customers?At Atlas Copco, we're shaping the future of smart manufacturing. If you're passionate about modern software architecture, thrive in agile environments, and want to make a...

  • Software Developer

    Vor 6 Tagen

    Berlin, Berlin, Deutschland m2TALENTS Vollzeit 60.000 € - 80.000 € pro Jahr

    Are you passionate about building robust APIs and scalable backend systems? Join a forward-thinking, remote-first company at the forefront of cloud-hosted applications and modern API development. Were looking for an experienced API Developer to help design, optimise, and maintain backend systems that power cutting-edge solutions.About the Role:As an API...