Daedalean AG

You will decompose system requirements into software specifications, design architectures, write maintainable code, and create test cases for verification. Your work involves developing safety-critical AI for aviation, focusing on real-time decision-making systems. You'll support tool qualification and perform analyses to ensure software meets functional and robustness constraints.