-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in
-
. Please note that applications received via email will not be accepted. Other Information Pre-employment checks may include: verification of the right to work in Australia and qualification checks. This may