> Markdown version of [/jobs/ext/402852-software-developer-verification-expert](https://www.wearedevelopers.com/jobs/ext/402852-software-developer-verification-expert). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Software Developer & Verification Expert

- **Company:** Secunet
- **Location:** Dresden, Germany
- **Salary:** €70,000.0
- **Contract:** Permanent contract
- **Skills:** Cyber Security, Linux, Software Engineering, Apache Spark, Information Technology
- **Published:** June 18, 2026
- **Apply:** https://jobs.secunet.com/Software-Developer-Verification-Expert-mwd-de-j3176.html

## About the Role

* ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbarer Abschluss oder entsprechende Berufserfahrung
 * eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
 * Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
 * umfangreiche Kenntnisse oder Erfahrungen in einem oder mehren Themengebieten:
 + sichere Programmiersprachen (Ada/SPARK, Rust, FRAMA-C, ...)
 + formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
 + Betriebssystementwicklung insbesondere Mikrokerne, Separation Kernel, Linux
 + IT-Sicherheit
 + angewandte Kryptographie
 * sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift

## Description

* Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten.
 * Hierbei mit der primären Verwendung von Ada/SPARK 2014 und der Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten.
 * Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitung, ebenso die Erstellung von Dokumentationen.


## Related Videos

- [Thinking Differently - How to Make Money from Cyber Attacks & Cheats](https://www.wearedevelopers.com/videos/745-thinking-differently-how-to-make-money-from-cyber-attacks-cheats)
- [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data)
- [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker)
- [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers)
- [Cyber Security: Small, and Large!](https://www.wearedevelopers.com/videos/259-cyber-security-small-and-large)
- [Let's Get Aggregated: Custom UDAFs in Spark  ](https://www.wearedevelopers.com/videos/1649-let-s-get-aggregated-custom-udafs-in-spark)

## Related Articles

- [System change: restart as developer?](https://www.wearedevelopers.com/magazine/39-system-change-restart-as-developer)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Best Coding Boot Camps in Germany](https://www.wearedevelopers.com/magazine/237-best-coding-boot-camps-in-germany)
- [Starter Kit For Job Applications For Developers](https://www.wearedevelopers.com/magazine/7-starter-kit-for-job-applications-for-developers)
- [Finding IT & Technology English-speaking Jobs in Germany ](https://www.wearedevelopers.com/magazine/446-finding-it-technology-english-speaking-jobs-in-germany)
- [What Jobs Can You Get with a Software Engineering Degree?](https://www.wearedevelopers.com/magazine/398-what-jobs-can-you-get-with-a-software-engineering-degree)