The Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods […]
CDE Almería - Centro de Documentación Europea - Universidad de Almería
Centro de Documentación Europea de la Universidad de Almería