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
David Monniaux /
npub1ap…ntkls
2023-07-12 19:11:26
Author Public Key
npub1ap0ndvx3lncrv9aq4xyedn7lunegc3x3y3r4gw7xqmf8x0tp5t9qtntklsPublished at
2023-07-12 19:11:26Event JSON
{
"id": "933dfc6fafe94f84e2707344d43561b7e8e12e486f995bb599863df824171e7b",
"pubkey": "e85f36b0d1fcf03617a0a98996cfdfe4f28c44d12447543bc606d2733d61a2ca",
"created_at": 1689189086,
"kind": 1,
"tags": [
[
"mostr",
"https://social.sciences.re/users/MonniauxD/statuses/110702695950360543"
]
],
"content": "I've lost faith in what I'm doing.\n\nIs 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)\n\nStrong math skills, and also experience in managing a group (including admin/finance).\n\nYou may find some stuff I've worked on here\n\nhttps://www.absint.com/astree/index.htm\n\nhttps://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/Chamois-CompCert",
"sig": "edcaea83e95298b642babc166e69b63205878c700f226429e42688368b4a0655d1ab652f3a56033afd1511c78a29c3295385f71d1c6132f03eedf50dc51c8eb0"
}