David Monniaux on Nostr: Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact ...
Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.
Published at
2024-11-15 22:38:11Event JSON
{
"id": "c5ce2f91ce309b9efa125c579d97f70da6c32b057b0e3d46a3b6ebf27df031a4",
"pubkey": "e85f36b0d1fcf03617a0a98996cfdfe4f28c44d12447543bc606d2733d61a2ca",
"created_at": 1731710291,
"kind": 1,
"tags": [
[
"proxy",
"https://social.sciences.re/users/MonniauxD/statuses/113489365675937689",
"activitypub"
]
],
"content": "Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.",
"sig": "3ff03c0988a17282bb0ff9da75a22f4aab015b1a9508e87a46add8fec4850f76ae785cc75a3291f5010d2f462e9924dfd42d52c47e23a4e5623c67a8f66c2d8a"
}
