secunet Security Networks AG | Germany | 01xxx, 10xxx, 14xxx, 13xxx, 12xxx Berlin, Dresden | Permanent position | Part time - flexible / Full time / Home office | Published since: 04.01.2026 on stepstone.de
Software Developer / Verification Expert (m/f/d)
secunet is Germany's leading cybersecurity company. In an increasingly networked world, the company, with the combination of products and advice, ensures robust, digital infrastructures and the highest possible protection for data, applications and digital identities. secunet is specialized in areas where there are special requirements for security – such as Cloud, IIoT, E-Government and E-Health. With secunet's security solutions, companies can maintain the highest security standards in digital projects and thus drive their digital transformation. For our development area in the Defence & Space Division, we are looking for your smart head for one of our locations in Berlin or Dresden at the closest possible time. .
* After clicking the Read more button, the original advert will open on our partner's website, where you can see the details of this vacancy and contact information. If you need a translation of this text, after returning to our website it will be prepared and you can read it by clicking the Show full translation button.
Your tasks • Your profile • What we offer
the development of component-based systems, in particular safety-critical components; the primary use of Ada / SPARK 2014 the application of formal methods to detect critical properties of trusted components integration into the overall product consisting of hardware and software components support in testing, error analysis and error elimination as well as the creation of documentation
a successfully completed university degree in the field of computer science or a comparable degree or training with corresponding professional experience Knowledge or experience in software development, ideally in the field of security-relevant systems knowledge in: safe programming languages (Ada / SPARK, Rust, FRAMA-C etc.) formal methods (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.) Operating Systems, Microkernels, Separation Kernel, Linux IT security, applied cryptography, information security Intel-x86 Architecture and Virtualization
very good knowledge of German and good English in word and writing complete your profile
Real team spirit: teamwork in teams that drive changes – no matter how complicated and extensive projects are Social relevance: We work on solutions that have Gamechanger qualities – in all areas of IT security Individual development: Career is not a standard recipe for us. We develop together and support you with what you need for you to continue The focus is on the human being: the strength lies in our diversity. We respect each other as we are. We are also at the heart of the reconciliation of work, family and private life. Here we have been certified since 2025 Flexible work: Twelve locations in Germany, Mobile Office, Shared-Desk model, Trust work time and flexible part-time models. Here is the right model for everyone Sun, beach or mountains: Work in the EU outland? No problem – You can work remotely within the EU for up to 20 days per year Beautiful Benefits Top: Enjoy bike leasing, corporate fitness program, discounted job ticket, secudog and much more If you would like to work at the forefront of technological development in a climate characterised by trust and fairness, we should get to know each other. .
Location
 | secunet Security Networks AG | |
| Neue Brücke 3, 70173 Berlin, Dresden | ||
| Germany |
The text of this ad was translated from German into English using an automatic translation system and may contain semantic and lexical errors. Therefore, it should be used for introductory purposes only. For more detailed information, see the original text of the ad at the link below.
For more information read the original ad