PhD Position F/M Trustable Machine Learning : Analysis and Verification of Soft Automata

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.

Master’s in computer science or equivalent, strong mathematics and theoretical computer science, software independence and interest in formal methods. English is required. Restricted-area authorization may apply.