31 proof-checking-postdoc-computer-science-logic Fellowship positions at Australian National University
Sort by
Refine Your Search
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 hours 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
-
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
-
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 21 hours ago
research and deliver a research-led education program that encompasses the breadth of the sciences, supported by extensive international networks and by world-class facilities. To find out more about the
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 hours ago
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 the Australian Network on Disability. We welcome
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 hours ago
are a recipient of the bronze award through the Science in Australia Gender Equity (SAGE) program and a platinum member of the Australian Network on Disability. We welcome applications from people of all
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 hours ago
award through the Science in Australia Gender Equity (SAGE) program and a platinum member of the Australian Network on Disability. We welcome applications from people of all backgrounds and identities and
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 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 1 month ago
at conferences. Key to this role is a proven ability to conceptualize and lead innovative research in materials science and its applications. A strong background in theoretical computation and seawater splitting
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 21 hours ago
community, check out our Twitter and Instagram . We have a reputation for international leadership and innovation, focused on developing new methods, whether experimental, analytical or computational. Our