67 software-formal-method-phd positions at The University of Western Australia in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
, publish high-impact manuscripts, and present findings at conferences. Work with your UWA mentor, prepare competitive fellowship applications, engage with collaborators, and co-supervise Honours and PhD
-
-class education and research programs to approximately 600 undergraduate and postgraduate coursework students and is responsible for the supervision of about 100 PhD students. The School is research
-
proven academic excellence, such as a PhD or first class Honours (or equivalent) Completion of an undergraduate degree (with Honours) within the past eight years (2017 or after), or Masters degree within
-
recruitment agencies will not be accepted outside of formal channels. This position is only open to applicants with relevant rights to work in Australia. About the University The University of Western Australia
-
agencies will not be accepted outside of formal channels. Closing date: 11:55 PM AWST on Monday 15 September 2025. This position is only open to applicants with relevant rights to work in Australia. About
-
Letter should demonstrate how you meet the selection criteria. Please note: Unsolicited applications from recruitment agencies will not be accepted outside of formal channels. Closing date: 11:55 PM AWST
-
selection criteria. Please note: Unsolicited applications from recruitment agencies will not be accepted outside of formal channels. Closing date: 11:55 PM AWST on 21st September 2025. This position is only
-
recruitment agencies will not be accepted outside of formal channels. Closing date: 11:55 PM AWST on 19th September 2025. This position is only open to applicants with relevant rights to work in Australia
-
engineers, and contribute to knowledge building while pioneering state-of-the-art methods in multi-object tracking, trajectory reconstruction, and error reduction. About you Tertiary degree in
-
models, multi-object tracking, and post-processing methods to improve traffic video analytics in complex environments. Drive benchmarking, evaluation, and deployment optimisation of AI models, ensuring