What is Nostr?
David Monniaux /
npub1ap0…tkls
2023-07-12 19:11:26

David Monniaux on Nostr: I've lost faith in what I'm doing. Is anybody looking for a asm/C/C++/OCaml/Coq ...

I've lost faith in what I'm doing.

Is anybody looking for a asm/C/C++/OCaml/Coq developer with experience in compilers, static analyzers, decision procedures and so on? (I'm willing to learn other fields)

Strong math skills, and also experience in managing a group (including admin/finance).

You may find some stuff I've worked on here

https://www.absint.com/astree/index.htm

https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/Chamois-CompCert
Author Public Key
npub1ap0ndvx3lncrv9aq4xyedn7lunegc3x3y3r4gw7xqmf8x0tp5t9qtntkls