-
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
-
checks to reduce wastage and prevent shortages. Conducting regular stocktakes and liaising with suppliers, as required, to address any discrepancies. Tracking team performance, providing regular feedback
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions