Matt Lewis
Software Engineer at Jump Trading Group
Bristol, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatt Lewis is a software engineer and computer scientist with 13 years of experience designing, building and shipping large, complex systems across academia, startups and major firms. With a PhD from Oxford and early engineering experience at Google, he specialises in distributed systems, software verification and security while equally comfortable doing quant-style engineering as seen in his current role at Jump Trading. Matt has held senior and founding-CTO roles at energy and R&D-focused startups and enterprises, bringing both research depth and production rigor to systems serving millions. He is known for finding simple solutions to complex problems and for bridging research projects and rock-solid production code.
12 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of OxfordBA Computer Science, BA Computer Science at University of Cambridge
Github Skills (13)
synthesis9
rpc8
serialization8
protobuf8
protocol-buffers7
protoc5
tla5
verification4
interchange3
security3
marshalling3
data-interchange2
unpack1
Programming languages (4)
Github contributions (5)
blexim/faults
Jan 2014 - Mar 2014
Contributions:106 commits in 1 month
blexim/plopoints
Sep 2013 - Nov 2013
Contributions:28 commits in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.