José A. Alonso on Nostr: #MULCIA: Microsoft internship on verification / crypto with Lean. ...
#MULCIA: Microsoft internship on verification / crypto with Lean. https://tinyurl.com/28unuv8a #Jobs #CompSci #LeanProver
José A. Alonso /
npub1pma…v8pw
2024-11-14 12:58:09
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-14 12:58:09Event JSON
{
"id": "120b04ff06329e1fc737d51f3e1ce45444ffa83772157ee32481939fa2057c5f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731589089,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"compsci"
],
[
"t",
"jobs"
],
[
"t",
"MULCIA"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113481422596442555",
"activitypub"
]
],
"content": "#MULCIA: Microsoft internship on verification / crypto with Lean. https://tinyurl.com/28unuv8a #Jobs #CompSci #LeanProver",
"sig": "b69d34035768c4ffce179fb7c84b6d7cff8b5df340429c5f5c68d8e85d612fcee2b1ec3a528fa60bbcf39aa0a7da67ebe35838fb7239c3750cd2f01ba2b3029a"
}