Postdoctoral researcher needed to advance trustworthy generative AI with neural-symbolic methods, verifying models and safe responses for service robotics in a European Horizon Europe project. Lead research, supervise students; teaching possible. Until 2028. English required; strong publications.