Research Fellow in Machine Learning and or Formal Methods