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

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

    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 by world-class facilities

  • 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

    for the Tobacco Free Program at Yardhura Walani: The National Centre for Aboriginal and Torres Strait Islander Wellbeing Research. The Person The Tobacco Free Program requires an Aboriginal or Torres

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago

    of student-centred enquiry support to current and past ANU students, Alumni, staff and the wider ANU community. We also support activities related to orientation, course and program management, timetabling

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago

    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 by world-class facilities

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

    an outstanding researcher to join the ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems (MACSYS) as a Fellow (Academic Level C) in the Quantitative and Computational Biology Group

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 6 hours ago

    . The IT Service Desk is responsible for system and software support and management, and currently supports over 2,500 computing devices. The Service Desk Officer is responsible for providing client-focused

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

    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

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