lhtr

il y a 6 ansdiscuss

TLA+ and Alloy.

il y a 6 ansdiscuss

  Location: Paris, France
  Remote: Yes
  Willing to relocate: No
  Technologies: C++, Go, Java; test automation
  Résumé/CV: Upon request
  Email: [email protected] (temporary email address for privacy reasons)

lhtr

il y a 6 ansdiscuss

  Location: Western Europe
  Remote: Yes
  Willing to relocate: No
  Technologies: C++, Java, Go; Ethereum (incl. Quorum), Solidity; Docker, Kubernetes; SQL, MongoDB
  Résumé/CV: Available upon request (privacy reasons)
  Email: [email protected] (temporary email address for privacy reasons)

---

Hi! :)

I'm a QA currently working in the blockchain industry. I have worked on major blockchain-related projects.

I am highly technical and specialized in creating ad hoc test automation frameworks.

Do not hesitate to send me a quick email for more details (I will send you back my resume and LinkedIn)!

Submissions

Blockchain for Near-Planetary, Interplanetary and Metaplanetary Space Domains [pdf]

Some Formal Methods Humor

comments