616 formal-verification-computer-science positions at Monash University

  • Monash University | Melbourne, Victoria | Australia | 1 day ago

    Advisory System, or data from other implantable or wearable devices. This involves consideration of both feature-based machine learning or data science approaches and neural mass parameter estimation

  • Monash University | Melbourne, Victoria | Australia | 1 day ago

    quantum computing technology. This project investigates the design, analysis and efficient implementation of alternative `quantum-resistant' public-key cryptosystems and protocols, focusing

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

    domestic students enrolling in the Biomedical Science Honours program BBiomedSc(Hons) at the Monash Biomedicine Discovery Institute. The scholarship is intended to encourage students to pursue Honours as a

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

    Senior Security Coordinator Job No.: 681133 Location: Clayton campus Employment Type: Full-time Duration: Continuing appointment Remuneration: $120,138 - $132,610 pa HEW Level 08 (plus 17% employer superannuation) Amplify your impact at a world top 50 University Join our inclusive, collaborative...

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

    independently and as part of an interdisciplinary and cross-cultural team, possess excellent organisational and communication skills, and work collegially with other staff. Advanced computer skills, including

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

    Australia’s largest and most international university Critical role in fulfilling ambition and advancing priorities Drive excellence and achieve lasting impact About the organisation With a footprint that extends across Australia, Malaysia, Indonesia, Italy, China and India, and comprising more...

  • Monash University | Melbourne, Victoria | Australia | 1 day ago

    Horizons 62(1) • November 2018. Heidegger, Martin. The Question Concerning Technology and Other Essays. Harper and Row, New York, 1977. Ihde, Don. “Philosophy of technology.” In Philosophical problems today

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

    Provost and Senior Vice-President Job No.: 683525 Location: Clayton campus Employment Type: Full-time, Fixed-term appointment Remuneration: A competitive remuneration package will apply Australia’s largest and most international university Critical role in fulfilling ambition and advancing...

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

    As humans we have the ability, and even the necessity of distinguishing between orders that are ethical, safe and necessary and orders that may be harmful or unethical. Theoretically this ability should exist in robots. To coin Assimov’s second law “A robot must obey orders given by human beings...

  • Monash University | Melbourne, Victoria | Australia | 1 day ago

    benchmarked against standard manual approaches. In addition to a topped-up PhD scholarship under the AI for Mental Health Next Gen program, Crank intends to hire the full-time PhD student in a part-time role

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