Postdoctoral Researcher in Verification and Validation
The University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust seeks a postdoctoral researcher to contribute to projects involving AI-enabled space-borne perception systems.
The successful candidate will lead the development of a verification and validation framework for AI-augmented perception systems and collaborate closely with team members at SpaceR and Redwire Space.
* Investigate existing techniques for verifying and validating space systems, software, and algorithms.
* Develop novel methods for characterizing and quantifying input-output bounds in AI-augmented perception systems.
* Develop automatic/procedural generation of relevant operational conditions.
The ideal candidate should have expertise in machine learning, formal methods, or safety engineering, with experience in robotics, computer science, or related fields.
The university offers a multilingual and international environment, with modern facilities and close ties to the business world and labour market.
This is an exciting opportunity for a talented researcher to make a significant contribution to the field of AI-enabled space-borne perception systems.