1 fpga-formal PhD positions at University of Basel

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

University of Basel | Switzerland | about 10 hours ago

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