-
reasoning domains. This work will blend cutting-edge experimentation - spanning RL, few-shot learning, meta-learning, etc. - with formal analysis to push the boundaries of what modern AI systems can reliably
-
at the Renewable Energy Systems group at the University of Geneva (Prof. Evelina Trutnevyte), pending formal approval. The ideal starting date is October 2025, or upon mutual agreement. We live a culture of
-
at the University of Geneva (Prof. Martin Patel), pending formal approval. The ideal starting date is October 2025, or upon mutual agreement. We live a culture of inclusion and respect. We welcome all people who
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions