1 formal-verification PhD positions at University of Basel in Switzerland

PhD position in the field of Reasoning in Machine Learning (Prof. I. Bogunovic and A. Lucchi)

University of Basel | Switzerland | 16 days ago

experimentation – spanning RL, few-shot learning, meta-learning, etc. – with formal analysis to push the boundaries of what modern AI systems can reliably reason about. Position available starting around July 2026