Verification

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.

Support assembly, integration and verification work for ESO astronomical facilities. The technical appointment contributes to the preparation and testing of observatory systems.

…and the role of human judgment and verification. It also examines diversity in machine-generated ideas, benchmark and harness overfitting, persistent agent errors, continual learning, world models, and where information theory helps explain AI. Hosted by Ravid Shwartz Ziv and Allen Roush; the full conversation is available on the publisher's YouTube channe