Josh Remaley
Engineer at Wavlake
Champaign, Illinois, United States
Summary
👤
Senior🎓
Top SchoolJosh Remaley is an engineer with 12 years of experience who blends a mechanical engineering foundation with modern full-stack software skills, currently focused on Bitcoin-related projects from his base in Champaign, Illinois. He ships production web applications and services using TypeScript/JavaScript, React/Angular, Node.js, GraphQL, and AWS, and is comfortable owning CI/CD, observability, and containerized deployments. Josh has moved from building and commissioning complex HVAC systems to contributing security-focused code for high-profile blockchain tooling, including improvements to the Mythril EVM security analyzer. That background gives him a practical systems mindset—he thinks about real-world reliability, energy and performance trade-offs, and maintainability. A passionate Bitcoiner, he gravitates toward work that advances open networks and security, while mentoring cross-functional teams to deliver robust, auditable systems.
12 years of coding experience
12 years of employment as a software developer
Computer Software Engineering, Computer Software Engineering at Fullstack AcademyBachelor of Science (BS) Mechanical Engineering, Bachelor of Science (BS) Mechanical Engineering at University of Illinois Urbana-Champaign
English, Spanish, Polish
Github Skills (12)
program-analysis10
smart-contracts10
security-testing10
solidity10
security-scan10
jinja210
ethereum10
python10
security10
blockchain9
testing9
cicd8
Programming languages (26)
Github contributions (5)
ConsenSysDiligence/mythril
Apr 2018 - Jun 2018
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Role in this project:
Security Engineer
Security EngineerContributions:25 commits, 14 PRs, 33 comments in 2 months
Contributions summary:Josh primarily focused on improving the Mythril security analysis tool by modifying core components and fixing vulnerabilities. They implemented features for call graph visualization, including graph generation and templating. The user also addressed several bugs related to test failures and incorrect formatting in reports, ensuring the tool's functionality and accuracy. Furthermore, they updated dependencies and CI/CD configurations, ensuring the project's maintainability and build process.
bytecodeethereumevmsecuritysmart-contracts
joshuata/settlers-340
Jan 2015 - Feb 2017
Contributions:43 PRs, 179 pushes, 44 branches in 2 years 1 month
javaclient-serversettlers
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.