1 software-formal-method-phd uni jobs in Australia

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for software-formal-method-phd positions

Research Associate/Senior Research Associate (Formal Methods)

University of New South Wales | Sydney, New South Wales | Australia | about 23 hours ago

(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving

Searches related to software formal method phd

Enter an email to receive alerts for software-formal-method-phd positions