Salary: 60.000 - 90.000 € per year Requirements: 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 Systeme. Wünschenswert sind Kenntnisse in: - sicheren Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.) - formalen 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. Responsibilities: Die Entwicklung komponentenbasierter Systeme, insbesondere sicherheitskritischer 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. Technologies: Ada Cloud Hardware Linux Mobile Rust Spark C++ More: Wir sind Deutschlands führendes Cybersecurity-Unternehmen, spezialisiert auf Bereiche mit besonderen Anforderungen an die Sicherheit, wie z.B. Cloud, IIoT, E-Government und E-Health. Wir bieten Dir die Möglichkeit, Teil eines Teams zu werden, das echte Veränderungen vorantreibt – egal wie kompliziert und umfangreich die Projekte sind. Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben und unterstützen Dich bei deiner individuellen Weiterentwicklung. Bei uns stehen der Mensch und die Vereinbarkeit von Beruf, Familie und Privatleben im Fokus. Das flexible Arbeiten wird durch unsere zwölf Standorte in Deutschland sowie mobile Office-Möglichkeiten unterstützt. Zudem kannst Du pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten. Freue Dich auf attraktive Benefits wie Bike-Leasing, ein Firmenfitness-Programm, vergünstigte Jobtickets und vieles mehr. Wenn Du Interesse an einer Mitarbeit an der Spitze der technologischen Entwicklung in einem vertrauensvollen und fairen Umfeld hast, sollten wir uns kennenlernen. last updated 4 week of 2026