Job
- Level
- Experienced
- Location
- Berlin, Dresden
- Working Model
- Hybrid, Onsite
- Job Field
- IT, Software, Security
- Employment Type
- Full Time
- Contract Type
- Permanent employment
Job Summary
In this role, you will develop safety-critical components using Ada/SPARK 2014, applying formal methods, and integrate them into complex systems while supporting testing and bug analysis.
Job Technologies
Your role in the team
- You are responsible for the development of component-based systems, particularly safety-critical components.
- This involves primarily using Ada/SPARK 2014 and applying formal methods to verify critical properties of trusted components.
- You will be responsible for integrating into the overall product consisting of hardware and software components and will support testing, bug analysis, and troubleshooting, as well as the creation of documentation.
This text has been machine translated. Show original
Our expectations of you
Education
- You hold a successfully completed university degree in the field of computer science, a comparable qualification, or relevant professional experience.
Qualifications
- A doctorate in relevant topics is desirable but not required.
- Very good German and good English skills, both written and spoken.
Experience
- Knowledge or experience in software development, ideally in the field of security-critical systems.
- Extensive knowledge or experience in one or more subject areas: proficient programming languages (Ada/SPARK, Rust, FRAMA-C, ...), formal methods (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...), operating system development, especially microkernels, separation kernels, Linux, IT security, applied cryptography.
This text has been machine translated. Show original
What we offer
- Genuine team spirit: collaborating in teams that drive change — no matter how complex and extensive the projects are.
- Societal relevance: We are working on solutions that have game-changing qualities - in all areas of IT security.
- Individual development: Career progression is not a one-size-fits-all recipe for us. We grow together and support you with what you need to move forward.
- The person at the center: Our strength lies in our diversity. We respect each other as we are. Additionally, we are committed to work-life balance. We have been certified in this area since 2025.
- Flexible working: 12 locations in Germany, shared desk model, trust-based working hours, and flexible part-time options. There's a suitable model for everyone.
- Sun, beach or mountains: working abroad in the EU? No problem - you can work remotely within the EU for up to 20 days per year.
- Great benefits on top: Enjoy bike leasing, corporate fitness program, discounted job ticket, secudog, and much more.
This text has been machine translated. Show original
Benefits
Work-Life-Integration
Topics You Will Work On
Job Locations
About Your Employer
Secunet
secunet ist einer der führenden deutschen Anbieter für anspruchsvolle IT-Sicherheit. Im engen Dialog mit seinen Kunden - Unternehmen, Behörden und internationalen Organisationen - entwickelt secunet leistungsfähige Produkte und fortschrittliche IT-Sicherheitslösungen. Damit sichert secunet nicht nur IT-Infrastrukturen für seine Kunden, sondern erzielt intelligente Prozessoptimierungen und schafft nachhaltige Mehrwerte.
Description
- Company Size
- 50-249 Employees
- Company Type
- Established Company
- Working Model
- Full Remote, Hybrid, Onsite
- Industry
- Internet, IT, Telecommunication
Employer reviews
by devworkplaces.com
Total
(1 Review)Career Growth
3.6Culture
3.7Engineering
2.5Workingconditions
4.4
Software developer
- Location
- Berlin, Dresden
- Working Model
- Hybrid, Onsite
- Diversity
- Open for all genders
