PhD Position F/M Trustable Machine Learning : Analysis and Verification of Soft Automata
Closes
Three-year salaried doctoral appointment studying the expressivity, robustness and verification of neural models of automata. The project connects systems theory, statistics, optimization and formal methods, examining recurrent networks, attention mechanisms and state-space models. Work includes theoretical analysis, experimental algorithms and scientific publication. The advertised gross monthly salary is €2,300. The advert lists an October 2026 target start alongside a November application deadline; applicants should confirm start-date flexibility.