Royal Society Industry Fellowship (with Arm Ltd) energy-optimisation compiler mobile-computing runtime