623 formal-verification-computer-science positions at Monash University in Australia

  • Monash University | Melbourne, Victoria | Australia | 10 days ago

    applicants): one in the Humanities and Social Sciences (HASS) disciplines. one in the Science, Technology, Engineering and Mathematics (STEM) disciplines. Selection criteria Monash scholarships are highly

  • Monash University | Melbourne, Victoria | Australia | 3 months ago

    capability. Collaborate & Develop: Work with the other key teams in the Enterprise Engineering group to develop standard and bespoke solutions to meet unique business objectives. Lead Major Change: Manage the

  • Monash University | Melbourne, Victoria | Australia | about 23 hours ago

    cardiovascular biology Contribute to publications, conferences, and seminar papers showcasing your findings Use advanced laboratory and technical equipment to design and perform experiments Develop and refine new

  • Monash University | Melbourne, Victoria | Australia | 5 days ago

    for Earth" grant by Microsoft, one of only 6 projects in Australia to receive this recognition. The new project will build original frameworks for future applications of Machine Learning and Computer Vision

  • Monash University | Melbourne, Victoria | Australia | 14 days ago

    Research Fellow – Psychiatry – HER Centre Australia Job No.: 682992 Location: The Alfred campus Employment Type: Full Time Duration: 12 month fixed-term appointment Remuneration: $83,280 - $113,025 p.a. Level A plus 17% employer superannuation or $118,973 - $141,283 p.a. Level B plus 17%...

  • Monash University | Melbourne, Victoria | Australia | 5 days ago

    The world is dynamic, in constant flux. However, machine learning typically learns static models from historical data. As the world changes, these models decline in performance, sometimes catastrophically so. This PhD will develop technologies for addressing this serious problem, building upon...

  • Monash University | Melbourne, Victoria | Australia | 5 days ago

    This project heavily focuses on maps (e.g. GoogleMaps or Open Street Map). We will explore various properties of road networks, including the granularity of road networks, routes and trajectories on road networks, and query processing on road networks. A number of inter-disciplinary...

  • Monash University | Melbourne, Victoria | Australia | about 1 month ago

    delivery of clinical research that directly impacts real-world care. This role is ideally suited to an early career researcher or health sciences graduate with experience in clinical data collection and

  • Monash University | Melbourne, Victoria | Australia | 3 months ago

    , with an operational footprint globally, the Maintenance Technology Institute (MTI) is a commercially orientated, professional research and engineering organisation that has been providing professional

  • Monash University | Melbourne, Victoria | Australia | 23 minutes ago

    With success stories ranging from speech recognition to self-driving cars, machine learning (ML) has been one of the most impactful areas of computer science. ML’s versatility stems from the wealth

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