29 proof-checking-postdoc-computerscience Fellowship positions at Australian National University in Australia
Sort by
Refine Your Search
-
of threatened parrot species. The role will include ecological and wildlife surveys, and the candidate must be capable and willing to undertake intensive tree-climbing surveys for endangered birds. The Postdoc
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
or Coq is essential to this position. Programming experience in Rust is preferred. Background in concurrency verification and proofs is preferred. About the College The ANU by 2025 Strategic Plan calls
-
outlining your research experience, objectives, and perceived fit to one of the positions, OR a statement addressing the selection criteria. Please make it clear on your application what level you are
-
for the position. Please note: The successful candidate will be required to undergo a background check during the recruitment process. An offer of employment is conditional on satisfactory results.
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
. The references should be uploaded by the referee to MathJobs.org . The successful candidate may be required to undergo a background check during the recruitment process. An offer of employment is conditional
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
note: The successful candidate will be required to undergo a background check during the recruitment process. An offer of employment is conditional on satisfactory results.
-
aspects of the selection criteria. If shortlisted, candidates will be asked to complete a: Prepare a five-minute virtual presentation (submitted as a video) addressing their fit with the role and motivation
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
not be considered for the position. Please note: The successful candidate must have rights to live and work in this country and (delete if not required) will be required to undergo a background check
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
criteria may not be considered for the position. Please note: The successful candidate must have rights to live and work in this country and will be required to undergo a background check during the
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 20 hours ago
. The references should be uploaded by the referee to MathJobs.org . The successful candidate may be required to undergo a background check during the recruitment process. An offer of employment is conditional