Available to hire
R&D Software engineer with experience in C++, Python and other languages. Familiar with formal specifications, applications and low-level code. Knowledge of object oriented development, functional programming and multi-threaded programming .
Work Experience
Software Engineer at Parity Technologies Ltd
July 1, 2024 - November 1, 2024Software engineer working on smart contract compilers and virtual machines. Skills: C++, Rust, LLVM, Docker, CMake.
Principal Software Engineer at Huawei Technologies Research and Development (UK)
February 1, 2021 - October 1, 2023Software engineer working on the development of compilers and tools for high-performance computing. Extended a compiler and its runtime with a memory-efficient data-model. Developed library and tool to provide code optimizations.
Research Engineer at INRIA
August 1, 2018 - January 1, 2019Research engineer for a group working on a framework for the speculative optimization of programs.
Research Associate at University of Cambridge
November 1, 2017 - December 1, 2017Software engineer for a research group that worked on alternatives to passwords for web-browsers.
Senior Software Engineer at ARM
May 1, 2012 - October 1, 2016Development and support of compilers and tools for ARM and AArch64 architectures. Implemented architecture support, language features, and performance improvements; technical lead for a component. Contributed to open source projects and internal processes.
Freelance Software Developer at Freelance
February 1, 2012 - PresentDevelopment of an analysis tool for Objective-C source code.
Compiler Design Engineer at Imagination Technologies
October 1, 2006 - December 1, 2009Developed an optimizing compiler and other tools for programmable graphics processors; implemented architecture features and OpenCL and GPGPU support; built test and development tools, including a linker and simulation tool.
Research Assistant in Computer Science at University College London
January 1, 1992 - January 1, 1993Engineer for a research group investigating C++ extensions to support parallel and distributed computing; modified compiler and translator to standard C++ with run-time libraries.
Education
BSc(Hons) Computer Science (2.1) at University College London
January 1, 1989 - January 1, 1992PhD Computer Science at University of Warwick
October 1, 1993 - January 1, 1999Qualifications
Industry Experience
Software & Internet, Computers & Electronics
Hire a Developer
We have the best developer experts on Twine. Hire a developer in Edinburgh today.