Sabine Schmaltz, Formal verification software engineerView Profile
Sabine Schmaltz
Freelance Formal verification developer in Mainz, Germany

Loves to figure things out and help you get things done. Currently a SAHM.

Master Thesis on Formal Verification of a Big Integer Library written in C-like language.

Need to Hire a SeniorFormal verificationDeveloper?

Get Started

Are You aFormal verification Developer?

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

Apply Now