Accepting applications Autumn 2026 for students starting Spring 2027 or later on neural network verification topics
More info to come soon!