Joseph Kerrigan

Software Engineer at Jane Street

New York City Metropolitan Area United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Joseph Kerrigan is a software engineer with a decade of experience building reliable, large-scale systems and compilers for specialized hardware. He currently develops the Neuron Kernel Interface (NKI), a Python DSL that generates high-performance kernels for AWS Trainium accelerators, and earlier built deployment tooling that safeguarded Nitro virtualization across millions of EC2 hosts. His work blends compiler-level performance tuning with practical production reliability—creating internal services that prevented tens of millions in losses and are used by a dozen+ teams. A Jefferson Scholar with dual training in math and CS from UVA (and study at Oxford), he pairs rigorous, theory-informed thinking with hands-on delivery. Outside code, he’s balanced technical roles with student athletics and ensemble music, hinting at disciplined teamwork and creativity in problem solving.
code10 years of coding experience
job4 years of employment as a software developer
bookComputer Science, Computer Science at University of Oxford
bookHigh School Diploma, High School Diploma at Providence Day School
bookBachelor of Arts - BA Mathematics and Computer Science, Bachelor of Arts - BA Mathematics and Computer Science at University of Virginia
github-logo-circle

Github Skills (51)

discord10
python9
django9
terminal-app9
irc8
rust8
docker8
discord-py8
database8
science8
discord-bot8
pycord8
bitcode7
youtube7
pixel7

Programming languages (9)

C++RustTeXJavaScriptGoZigHaskellHTML

Github contributions (5)

github-logo-circle
joek13/joek13.github.io

Dec 2020 - Dec 2025

Personal website for Joe Kerrigan.
Contributions:8 PRs, 89 pushes, 11 branches in 4 years 11 months
joereact
joek13/py-music-bot

Jan 2018 - May 2021

A Discord music bot written in python.
Contributions:2 reviews, 61 commits, 10 PRs in 3 years 4 months
discordpython
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.
Request Free Trial