31 formal-verification-computer-science Fellowship positions at Australian National University
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 6 hours ago
for the design of therapeutic RNA candidates. The successful candidate will be based in the Centre for Computational Biomedical Sciences and will contribute to the delivery of the NTRP's mission to grow
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
Position overview This fixed-term position will be based at the School of Art and Design, working in close collaboration with the School of Engineering, the Fenner School of Environment and Society, and the
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
Analysis of Online Economies – Led by Prof Lexing Xie and Dr Yun Kuen Cheung, this research explores digital markets and social platforms using ML, game theory, and computational economics. We welcome
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
with staff 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
-
Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago
large, diverse employer. 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
-
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
-
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
-
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
-
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