Kshitij Sharma
TDOE at Jane Street
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolKshitij Sharma is a software engineer and Computer Science & Artificial Intelligence undergraduate based in London with eight years of practical experience spanning tutoring, research, and high-performance robotics projects. Comfortable in Haskell and Python, he has researched static analysis for concurrency bugs in the Linux kernel and led software development for an autonomous Hyperloop pod as Head of Software at HYPED. He blends hands-on embedded systems work—configuring SPI, I2C, CAN and GPIO on BeagleBoneBlack—with team leadership and project management across cross-disciplinary hardware and software teams. Kshitij has also supported large introductory computing courses at the University of Edinburgh, mentoring cohorts and assessing coursework, which sharpened his communication and teaching skills. Now at Jane Street, he brings a rare mix of functional-programming fluency, systems-level debugging experience, and robotics-to-research curiosity. He is particularly interested in applying formal and static-analysis techniques to practical reliability problems in robotics and security.
8 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS Computer Science & Artificial Intelligence, Bachelor of Science - BS Computer Science & Artificial Intelligence at The University of EdinburghSwiss-European Mobility Programme (SEMP) Computer Science, Swiss-European Mobility Programme (SEMP) Computer Science at ETH Zürich
English, Hindi
Github Skills (39)
hyperloop10
discord-js9
discord9
discord-rpc9
discord-bot9
latex9
scanning8
java7
hosts7
codeql7
python7
bootstrap-sass7
embedded6
jekyll6
vscode6
Programming languages (10)
Github contributions (5)
kshxtij/hyped-2023
Oct 2022 - Feb 2023
Pod-side code for the University of Edinburgh Hyperloop Team 2022/23
Contributions:9 PRs, 39 pushes, 2 branches in 4 months
hyperloopuniversity-of-edinburghjavaedinburghpod
kshxtij/RayTracer
Nov 2021 - Dec 2021
Contributions:10 commits, 6 pushes, 1 branch in 22 days
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.