The University of Gothenburg is looking to hire a postdoc for work on
compilation of cubical type theory:
web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550
Application deadline: June 12.
#TypeTheory #Cubical #HoTT #Agda #PostDoc #Gothenburg
Jesper Agdakx 🔸 /
npub19g…jgnhc
2025-05-23 17:30:02
Author Public Key
npub19g08hs25dvevtvylm49vv369qswlan35uhuz6uqz07s92wdspzus4jgnhcSeen on
wss://relay.nostr.bandPublished at
2025-05-23 17:30:02Event JSON
{
"id": "944ba9ea01272eec8b9b4b4476b6ad3a5c7abaf19b7d9e50ba360d63c69b9a5c",
"pubkey": "2a1e7bc1546b32c5b09fdd4ac64745041dfece34e5f82d70027fa05539b008b9",
"created_at": 1748021402,
"kind": 1,
"tags": [
[
"t",
"agda"
],
[
"t",
"cubical"
],
[
"t",
"gothenburg"
],
[
"t",
"hott"
],
[
"t",
"postdoc"
],
[
"t",
"typetheory"
],
[
"proxy",
"https://agda.club/objects/fc383c8c-de23-4487-b417-b7ccb7cb5670",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "The University of Gothenburg is looking to hire a postdoc for work on\ncompilation of cubical type theory:\n\n web103.reachmee.com/ext/I005/1035/job?site=7\u0026lang=UK\u0026validator=9b89bead79bb7258ad55c8d75228e5b7\u0026job_id=37550\n\nApplication deadline: June 12.\n\n#TypeTheory #Cubical #HoTT #Agda #PostDoc #Gothenburg",
"sig": "a6ac1b10745161d8436fa17e7ff6aa0712b224807aee40551efcea4f5f22306783ad8430858878cccea9d82d7640dc7c5e7bd9ce700941fc447d80ed9b081823"
}