PhD Position in Formal Methods and Machine Learning