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
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