clavoie · HackerTrans

11 days agodiscuss

Location: Montreal

Remote: Yes

Willing to relocate: No

Technologies: AWS, GCP, TLA+, Linux, Python, Go, Haskell

CV: Available upon request

Email: clavoie _at_ sandreckoning _dot_ com

Focus: high-stakes engineering where failure is not an option. Core work: rescuing stalled or non-functional AI/ML projects; sourcing and vetting qualified engineers, drawing on years of hiring the best talent and over a thousand interviews; and applying formal methods to build systems whose correctness is provable rather than hoped for.

clavoie

2 years agodiscuss

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.

clavoie

3 years agodiscuss

  Location: Montreal, Canada
  Remote: yes (for the last 13 years)
  Willing to relocate: No
  Technologies: TLA+, Terraform, SQL, Haskell, Python, Java (and many, many others)
  CV: https://www.linkedin.com/in/christianlavoie/
  Email: please contact through linkedin.

comments