24 proof-checking-postdoc-computer-science-logic Fellowship positions at Australian National University in Australia
Sort by
Refine Your Search
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago
, School of Cybernetics, and School of Engineering, supported by the Professional Services Group. School of Computing - The School of Computing has a strong foundation in computing and information sciences
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
and diverse community of more than three thousand students, staff, and visitors. Our College is comprised of the School of Computing, School of Cybernetics, School of Engineering, Fenner School
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 14 hours ago
working across numerous professions (see the full list of available roles here . We are a recipient of the bronze award through the Science in Australia Gender Equity (SAGE) program and a platinum member of
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 14 hours ago
independent research in molecular biology and biophysics, focusing on computational simulations to examine protein structure and function. This includes using advanced sampling methods and free
-
Prof Christian Barry, RSSS Director on the Rio Tinto for Future Materials Contribute to a worldwide project Part-time position Position overview The Research School of Social Sciences invites
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
with concrete real-world applications Engagement with Defence Science and Technology Opportunity to hone supervision skills. Position Overview The Robotics group at the ANU School of Computing is opening
-
sciences at ANU. We are a transformative centre for research in artificial intelligence, computer vision and machine learning, computer systems and software, and theoretical foundations of computing. We span
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 2 months ago
only internationally accredited field epidemiology training program. Work with the MAE team to integrate diversity, equity and inclusion into all aspects of the MAE Program, including the curriculum
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 14 hours ago
the field of social sciences, including economics, market modelling and public policy analysis. For further information please contact Dr Jorrit Gosens, E: jorrit.gosens@anu.edu.au . ANU values diversity and
-
of Computing has a strong foundation in computing and information sciences at ANU. We are a transformative centre for research in artificial intelligence and machine learning, computer systems and software, and