-
model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions in Uk