Secunet

With us, you work on the further development of a highly secure virtualization platform based on the Muen separation kernel and actively shape a system architecture that meets the highest requirements for isolation, integrity, and performance. You are...

Operation and maintenance of our test, demo, and evaluation infrastructure - from individual hosts to complete network topology. Set up, maintain, and develop virtualization (ideally with Proxmox). Administer, assemble, and maintain hardware - from rack...

You develop test plans and test scenarios for our software products and conduct release and acceptance tests. You analyze the risks of new features together with the development team and derive appropriate test strategies and test cases from this. You...

You are driving the transformation to a microservices architecture forward - from analyzing existing structures to the clean delineation of new, independent services. You refactor existing services – you identify where accumulated code hinders...

You are responsible for low-level software development for our SINA network and encryption systems as well as various peripheral devices. This includes programming microcontrollers, electrical and functional commissioning, as well as integration into...

Administration and optimization of the Windows-based IT infrastructure: You are responsible for configuring, maintaining, and monitoring Windows servers and workstations. Management of Active Directory and Domain Controllers: You ensure seamless...

Design and further development of secure IT architectures (cloud, network, cryptography) in the public sector. Technical project management & tailoring of standards (BSI Grundschutz, ISO 27001, IEC 61508). Stakeholder and interface management (clients,...

Quality assurance in an agile Scrum team Planning, execution, and documentation of manual and automated tests Development of test specifications based on user stories Conducting end-to-end testing for a remote administration server in the SINA...

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 take over...

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...