Location: Montreal, Canada Remote: Yes Willing to relocate: No Technologies: TLA+, Alloy, CVC5/Z3 modeling, Haskell, Erlang, Perl. AWS, GCP, Azure, OCI, Terraform.

25 years of experience developing and managing large scale systems and systems that cannot fail.