12 model-checking positions at Australian National University in Australia

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

    for earthquake and tsunami early warning. The role will be in the Geophysics Area of the Research School of Earth Sciences (RSES), and will undertake the numerical modelling of elasto-gravity signals generated by

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

    . The Intelligent Systems activity cluster within the School focuses on the computational modelling and design of intelligent agents in complex real-world contexts. The research integrates areas of artificial

Searches related to model checking

Enter an email to receive alerts for model-checking positions