99 formal-verification-computer-science positions at Australian National University

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 6 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 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

    , course and program management, timetabling, fees, scholarships, examinations, graduations and current student communications. The Division of Student Administration and Academic Services (DSAAS) is within

  • Australian National University | Canberra, Australian Capital Territory | Australia | 12 days ago

    within the ANU College of Science and Medicine conduct research and deliver a research-led education program that encompasses the breadth of the sciences, supported by extensive international networks and

  • Australian National University | Canberra, Australian Capital Territory | Australia | 11 days 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 | 11 days 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 | 23 days 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 | 12 days ago

    computational and data-intensive services. As one of two national-level supercomputing facilities, NCI has a well-respected reputation for its services, expertise and innovation. With funding from

  • Australian National University | Canberra, Australian Capital Territory | Australia | 3 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

  • Australian National University | Canberra, Australian Capital Territory | Australia | 14 days ago

    employment opportunities, contact our Indigenous Employment Consultant on indigenous.employment@anu.edu.au ANU is a large, diverse employer. We are a recipient of the bronze award through the Science in

Enter an email to receive alerts for formal-verification-computer-science positions