638 proof-checking-postdoc-computer-science-logic positions at Monash University

  • Monash University | Melbourne, Victoria | Australia | 2 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 | 2 days 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

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

    experienced hardship to enrol in an undergraduate degree in Medicine, Nursing and Health Sciences at Monash University. Total scholarship value Up to $8 000 Number offered One See details Caitlin James

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

    scholarship value Up to $30,000 Number offered Three See details Chau Yee Gan Pharmacy and Pharmaceutical Science International Merit Scholarship I am truly honoured to receive this scholarship, which greatly

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

    Insects are vital components of natural and agricultural ecosystems that interact with plants in complex ways. Computer simulations can help us understand these interactions to improve crop

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

    representations complicate transparency and compliance checks with data protection and privacy legislation (e.g., GDPR) whether performed by humans or computer systems. Second, both privacy-preserving distributed

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

    principles must the task choice be based for this to work?  These questions are central to explaining the organisation of natural societies, from insects to humans, and to engineering self-organised systems

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

    This PhD project aims to mitigate the data scarcity of new NLP and Multimodal applications by developing novel active learning algorithms. In this project, the student will leverage large foundation models, such as ChatGPT and GPT4, incorporating the cutting-edge techniques in the other areas,...

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

    ) McCormack J. (2017) Niche Constructing Drawing Robots . In: Correia J., Ciesielski V., Liapis A. (eds) Computational Intelligence in Music, Sound, Art and Design. EvoMUSART 2017. Boden, M. Creativity and Art

  • Monash University | Australia | about 3 hours ago

    analytical imaging methods, then working with collaborators to apply these methods to biomedical research, diagnostic imaging and beyond. Research projects vary from purely theoretical, to computational

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions