Director of Systems Infrastructure Research (SIR), Edinburgh at Neul - Cambridge, ENG, UK
Senior Software Engineer (Research Associate) on Theorem Proving
HiSilicon provides ASICs and SoC solutions for communication networks and digital media sectors.