Juan Conejero
Formal Verification Engineer
Valencia, Valencian Community, Spain
Summary
👤
Senior🎓
Top SchoolJuan Conejero is a Formal Verification Engineer with 11 years of experience applying mathematical logic and functional programming to build provably correct software. Grounded in a Master's in Pure and Applied Logic and a Mathematics degree, he has developed and machine-verified systems with Coq for regulatory compliance and blockchain security use cases. At Runtime Verification he applies formal methods to audit virtual machines and smart contracts, bringing research-grade proofs into practical security workflows. His profile blends deep theoretical rigor with hands-on implementation of efficient verified software, and he specializes in turning abstract specifications into auditable, production-ready code.
11 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at University of ValenciaMaster's degree, Pure and Applied Logic, Master's degree, Pure and Applied Logic at Universitat de Barcelona
English, Spanish, Catalan
Github Skills (14)
class-library10
javascript9
psd6
astronomy5
image-optimization5
camera5
sun5
linux4
frame4
openexr4
scale3
macos3
photography3
multiplatform2
Programming languages (4)
Github contributions (5)
PixInsight/PCL
Nov 2014 - Jul 2020
PixInsight Class Library
Contributions:354 commits, 38 PRs, 301 pushes in 5 years 9 months
class-library
PixInsight/XISF-specification
Dec 2014 - Jul 2020
Contributions:28 commits, 23 pushes, 2 comments in 5 years 7 months
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.