…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.
Formal methods
2 results
Upcoming first, then newest
Formal Methods for Safe and Interpretable Reinforcement Learning
Calin Belta · University of Maryland — Electrical and Computer Engineering and Computer Science
…offer adaptable decision-making methods, but their interpretability and guarantees of safe, correct behavior remain limited. This talk brings formal methods together with control theory and learning: expressive specification languages capture objectives and safety requirements, while verification, synthesis and proofs establish desired behavior. Examples from autonomous driving and robotic manipulation
Tue, Oct 27, 2026 · 18:00 UTC