-
mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which is both mathematically rigorous, and
-
communications and sensing. Skills Essential: C1 Excellent programming, algorithm development and scripting skills C2 Research creativity and strong cross-discipline collaborative ability as appropriate C3
-
, path finding and routing algorithms, sense of direction, human computer interaction, cognitive navigation, intelligent mobility, and artificial intelligence. Sensor fusion and Signals of Opportunity We
-
years full-time; 2-3 years part-time; MPhil: 2-3 years full-time; 3-4 years part-time; Apply now Overview Overview Research sections Formal Analysis, Theory and Algorithms (FATA) Glasgow Interactive