Research Software Engineer
Resume:
Joseph Denman
RESEARCH SOFTWARE ENGINEER
SUMMARY
Results driven research engineer who has co-architected decentralized computing platforms which have raised
$31 million in venture capital, who is passionate about and has successfully implemented said architectures, and who has an up-to-date understanding of their capabilities. Highly motivated developer who knows how to solve ambiguous problems with best practices in software engineering and mathematics. EXPERIENCE
RESEARCH SOFTWARE ENGINEER
RChain Cooperative Remote Aug 2016 - Jan 2020
• Saved company from bankruptcy by completing a software component that unlocked $2 million in VC funding
• Applied principles of programming language theory to design and implement a compiler and interpreter for Rholang resulting in the first concurrent smart contracting language
• Led a research effort to implement an algorithmically generated modal logic that allowed users to statically reason about contract capabilities
• Developed a proof-of-stake consensus protocol (CBC Casper) which optimized transaction throughput by targeting a block structure that supported block merging (i.e. a block graph)
• Developed a decentralized digital currency application, novel in the blockchain space due to its ability to perform transfers concurrently
• Built external partnerships with diverse stakeholders, resulting in more innovative thinking and decision making
• Leveraged presentation skills to share research, analysis and results with team and executive level leaders EDUCATION
BACHELORS OF SCIENCE IN COMPUTER SCIENCE
The University of North Carolina at Chapel Hill Chapel Hill, NC Aug 2017 - Aug 2020 Notable Coursework: Machine Learning, Quantum Computing, Compilers
• Completed my program (cum laude) in three years while working full-time as a software engineer/functional mathematician in a competitive and well-structured development/research team PRESENTATIONS
Payment Semantics for Rholang
Boulder RCon 3, April 2018
SKILLS
Public Blockchains
Consensus Protocols
Distributed Systems
Applied Cryptography
Interpreters
Compilers
Static Analysis
High-performance Computing
Distributed Collaboration
Open-source Contribution
*****************@*****.***
Mobile
https://www.linkedin.com/in/
josephdenman/
Contact this candidate