Evan Cofsky, Proofs freelance programmerView Profile
Evan Cofsky5.0
Freelance Proofs developer in Chicago, United States

I Took the Long Way Round

I've been developing software for everything from 8-bit CPUs to multi-node high performance supercomputers, and worked in nearly every industry there is. Much of my code even from 20 years ago is still running reliably, and all of my life-critical code is still around because it's difficult to verify those applications. I've even written full custom emulators to avoid recertification costs, including system idiosyncrasies many customers had used over the 25+ year span of the product we were replacing. At every job, and on every contract, I treat it as an opportunity not only to help people see new methods, but especially to understand and learn how other people feel, think, and view what they do, and then find ways to connect with them so we all feel comfortable enough to work at our best...
Greg Rosenblatt, Proofs software engineerView Profile
Greg Rosenblatt
Freelance Proofs developer in Baldwin, United States

Experienced Software Engineer - Effective Teacher

My goal is for you to not only solve your immediate problems, but also learn underlying principles you'll be able to apply to solving new problems. I can help you prepare for your next interview. I've interviewed many candidates at a Silicon Valley company whose tech interviews are well-known for emphasizing coding, algorithms and design problems. I'm also knowledgeable in somewhat-esoteric areas, not limited to relational and logic programming, functional programming, automated theorem proving, and programming language theory in general.

Need to Hire a SeniorProofsDeveloper?

Get Started

Are You aProofs Developer?

Get paid while making an impact. Become a Codementor for the next wave of makers.

Apply Now
View the latestfreelance Proofs jobs