Postdoctoral role focused on neuro-symbolic AI and temporal learning to model interacting timed systems. Develop latent Timed Automata representations, encoders, clustering, and prototype extraction to describe individual and group behaviors from multimodal data, with animal welfare applications.