9 model-checking positions at Australian National University

Filters Search
  • Australian National University | Canberra, Australian Capital Territory | Australia | 3 days ago

    : Bayesian Machine Learning – Led by Dr Thang Bui, this project focuses on sequential decision-making and bridging deep learning theory and practice. Applicants with expertise in probabilistic modelling

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

    at the Australian National University. The Fellow will lead independent, high-impact research in advanced machine learning and hybrid modelling for genomics and cellular processes, contributing directly to the

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

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago

    acid extractions from model and non-model organisms. The role will be responsible for service provision information for facility billing, assist with reporting activities and facility outreach activates

  • Australian National University | Canberra, Australian Capital Territory | Australia | 2 months ago

    modelling of rare-earth ions along with experience operating liquid helium cryogenic systems with superconducting magnets is highly desirable. Highly developed organisational skills and effective self

  • Australian National University | Canberra, Australian Capital Territory | Australia | 2 months ago

    cell biology, molecular biology, immunology, CRISPR-Cas9 technology and working with pre-clinical cancer models. You will have a proven track record of research achievement and the ability to articulate

  • Australian National University | Canberra, Australian Capital Territory | Australia | about 1 month ago

    , threatened species, and means of considering cultural values of wetlands; Contributing to GIS based and marxan modelling of conservation options; Meeting with governmental decision makers to assist them

  • Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

    and Analytics, and the Software Innovation Institute. The Intelligent Systems activity cluster within the School focuses on the computational modelling and design of intelligent agents in complex real

  • Australian National University | Canberra, Australian Capital Territory | Australia | 3 months ago

    quantum nanophotonics with optical metasurfaces. The project work will involve both experimental investigations and theoretical modelling, with a view to obtain and publish original and innovative results

Searches related to model checking

Enter an email to receive alerts for model-checking positions