71 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs in Australia
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
the Centre for IoT and Telecommunications (CIoTT) in the School of Electrical and Computer Engineering. CIoTT is internationally recognised for excellence in wireless communications and signal processing and
-
underpinning a new national screening program for type 1 diabetes in children Academic Level A from Base from $89,831p. a (Pro Rata) and Level B Base Salary from $127,436 p.a. (pro‑rata) + 17% superannuation
-
21 Mar 2026 Job Information Organisation/Company UNIVERSITY OF SYDNEY Research Field Engineering Engineering Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Application
-
environments. Laser Bond is a leader in advanced surface engineering technologies, transforming industrial performance through innovative laser cladding solutions. ACM CRC is committed to strengthening
-
3 Mar 2026 Job Information Organisation/Company UNIVERSITY OF SYDNEY Research Field Computer science Economics Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3
-
Decision Infrastructure for Critical Sociotechnical Systems who has: a PhD awarded or near completion in a relevant discipline such as systems science, engineering, project studies, computer science
-
Postdoctoral Research Associate in Neuromorphic encoding for biological neurocomputation who has: a PhD (or near completion) in physics, engineering or a closely related field strong knowledge and skills in
-
Full time, fixed term appointment for 12 months, with the possibility of extension Exciting opportunity to join the School of Medical Sciences as a Postdoctoral Research Associate investigating
-
related discipline): Computer Science, Artificial Intelligence, or Machine Learning Economics or Econometrics (particularly applied micro, behavioural, or decision-focused modelling) Applied Mathematics
-
health interventions, particularly vaccines. It will involve applying a range of health economic, mathematical and statistical techniques, including economic evaluation and computational methods. The roles