2 proof-checking-postdoc-"https:" positions in Denmark

Sort by

listed

Refine Your Search

Employer
- Technical University of Denmark 1
- University of Southern Denmark 1

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-"https:" positions

Postdoc in Symmetry-Enhanced Quantum Cryptography - DTU Physics / DTU Compute Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | about 1 month ago

verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous

Enter an email to receive alerts for proof-checking-postdoc-"https:" positions