Linxuan Ma
Software Engineer Intern at Jump Trading
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolLinxuan Ma is a Carnegie Mellon University computer science student and software engineer with nine years of hands-on experience across research and production engineering. They’ve contributed to systems-level projects like Wizard Engine (a multi-tier VM for WebAssembly) and the Aya theorem prover during internships and research roles at CMU and the Chinese Academy of Sciences. Linxuan has production full-stack experience maintaining core features for CMU CS Academy, a platform serving 450,000+ students, and will join Jump Trading as a software engineer intern in Summer 2026. A competitive problem-solver—ranked #22 globally on Codewars—Linxuan blends deep algorithmic skill with practical systems design. Based in Pittsburgh, they pair academic research funding experience (Jane Street) with prolific coding practice and a knack for moving formal-research ideas toward production-ready implementations.
9 years of coding experience
3 years of employment as a software developer
High School Diploma, High School Diploma at YK Pao SchoolBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Carnegie Mellon University
Github Skills (56)
minecraft10
system-programming10
forge10
virtual-machine10
utility-mod9
interpreter9
compiler-design9
mappings9
webassembly9
rust8
compiler8
compiler-optimization8
dependent-types8
proof-assistant8
programming-language8
Programming languages (9)
Github contributions (5)
davidmaamoaix/StopRender
Apr 2019 - Sep 2020
A Minecraft mod that adds a config to disable the tile entity special renderer of some tile entities.
Contributions:6 commits, 1 PR, 5 pushes in 1 year 4 months
minecraftfabricmodentitytile
davidmaamoaix/Voxels
Dec 2021 - Jan 2022
Contributions:96 commits, 93 pushes, 1 branch in 1 month
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.