Dear all, Functori, a young and dynamic company based in Paris, is hiring talented engineers/PhDs to expand its team. Please find more details in the announcement (in French): https://functori.com/annonce-recrutement.pdf We are also looking for interns in the fields of programming languages, formal methods, and blockchains (details available on request). Feel free to share with anyone who may be interested. Best regards. ------------------------------------------------------------------------ Mohamed Iguernlala COO & co-founder at Functori. Senior R&D Engineer. Blockchains, Formal Verification, OCaml dev LinkedIn ------------------------------------------------------------------------ Functori SAS. Tailor made solutions built with fun. Blockchains, Tailored Dev, OCaml & DSLs, Research & Dev, Formal Reasoning Website Email LinkedIn Twitter Gitlab Github ------------------------------------------------------------------------