and services. Join us as a PhD student in “Formal Model and Proofs and Theory of Languages” Your mission This research... will examine the intersection of formal proofs and automata theory to develop efficient methods for verifying software properties...