Noah Evans
Principal Member Of Technical Staff at Draper
Lexington, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolNoah Evans is a Principal Member of Technical Staff with 15+ years designing and verifying high-assurance systems, specializing in *nix kernel work, formal hardware verification, and protocol design. He has led multimillion-dollar DARPA and NNSA programs delivering scalable RISC-V and seL4-based solutions that emphasize “correct by construction” using tools such as Yosys, Koika, and Coq. Comfortable moving between deep research and operational delivery, Noah has a track record of shrinking verification costs while improving productivity and assurance. His background spans industrial research at Bell Labs and national-lab program leadership, blending systems and networking expertise with formal-methods rigor. Based in Lexington, MA, he combines academic training in NLP and computer science with practical systems engineering, a mix that surfaces in both protocol innovation and tooling for verifiable hardware-software stacks.
15 years of coding experience
17 years of employment as a software developer
BA Computer Science and Philosophy, BA Computer Science and Philosophy at Case Western Reserve UniversityStudy Abroad International Studies, Study Abroad International Studies at Waseda UniversityMasters Natural Language Processing, Masters Natural Language Processing at Nara Institute of Science and TechnologyUndergraduate Studies Computer Science and Philosophy, Undergraduate Studies Computer Science and Philosophy at Knox CollegeHigh School Secondary Education, High School Secondary Education at Concord Academy
Japanese
Stackoverflow
35reputation
591reached
0answers
4questions
Github Skills (100)
vim10
spacemacs10
co-simulation10
cluster-computing10
openmpi10
melpa10
bluespec10
emacs-lsp10
emacs10
elisp10
electrical-engineering10
bsc10
fortran10
mpi10
hpc10
Programming languages (13)
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.