Jay Mccarthy
Lead Cryptographer at PrimeVault
Provo, Utah, United States
Summary
🤩
Rockstar🎓
Top SchoolJay Mccarthy is a Lead Cryptographer and co-founder with 21 years of experience building secure, verifiable systems at the intersection of programming language theory, formal verification, and blockchain. Currently leading cryptography at PrimeVault and serving as CTO of Reach Platform, he architects safety-first developer tooling for smart contracts and contributed to Reach’s CI/CD, Algorand and Solidity integrations. A long-time core contributor to the Racket language and member of its leadership committee, he specializes in continuation-based systems, package and web-server infrastructure, and high-performance runtimes. His academic background includes a PhD and faculty roles where he taught verification and programming-language courses, bringing rigorous research methods to production engineering. Based in Provo, UT, he combines deep theoretical knowledge with practical DevOps and back-end experience—an unusual blend that makes him equally comfortable proving correctness and shipping automated deployment pipelines. Outside work he frames technology as a means to human flourishing, driving community- and family-focused impact.
21 years of coding experience
20 years of employment as a software developer
UMass LowellScM, Computer Science, ScM, Computer Science at Brown UniversityGroton Dunstable Regional High School
Github Skills (25)
docker10
racket10
dockers10
cicd10
http-protocol10
webserver10
devops10
web-application9
solidity9
blockchain9
automation-testing9
automation9
algorand9
webapp9
automations9
Programming languages (21)
Github contributions (5)
reach-sh/reach-lang
Sep 2019 - Jan 2023
Reach: The Safest and Smartest DApp Programming Language
Role in this project:
DevOps Engineer & Back-end Developer
DevOps Engineer & Back-end DeveloperContributions:2098 reviews, 3302 commits, 748 PRs in 3 years 5 months
Contributions summary:Jay appears to be primarily focused on improving the continuous integration and continuous delivery (CI/CD) pipeline and contributing to the back-end functionality of the Reach project. Their commits include changes to build scripts and Docker configurations, indicating a strong focus on automation and deployment. Additionally, they made changes to the Algorand and Solidity-based smart contract code.
reachdappethereumdslblockchain
racket/racket
Jun 2005 - Aug 2020
The Racket repository
Role in this project:Back-end Developer
Back-end DeveloperContributions:2185 commits, 20 PRs, 60 pushes in 15 years 4 months
Contributions summary:Jay appears to be a back-end developer contributing to the Racket repository. They are making code changes related to fixing typos and adding functionality for the Web server, focusing on areas such as handling HTTP requests and generating responses. Their contributions include improvements to the URL mapping and response handling, and adding features like a simplified template system.
code-golfschemepolyglotlanguage-designprogramming-languages
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.