SEEKING FREELANCER | REMOTE
Looking for a freelancer who has experience building client-facing services with SMT solvers. Particularly in the area of program verification. If you've done SMT in a browser even better.
Email: REDACTED_EMAIL