130 proof-checking-postdoc-computer-science-logic PhD positions at RMIT University in Australia
Sort by
Refine Your Search
-
textiles. The Program includes: Admission to a university PhD program. Supervision by the participating university, CSIRO, and an industry partner. A four year scholarship package totalling approximately
-
(one) To be eligible for this scholarship, you must: Have a first-class Honours degree (or equivalent) in a relevant discipline (e.g., information science, sociology, digital humanities, computer science
-
Scholarships are open to domestic or international students. The successful applicant must have already applied for, or have already commenced a PhD research program at RMIT and accept Data61 scholarship
-
(or equivalent) in a relevant discipline (e.g., information science, sociology, digital humanities, computer science, information systems, media studies). Have strong social research (quantitative/qualitative
-
In the PhD program, you will be involved in working with a multi-disciplinary team. You will be conducting experiments and developing phenomenological models to understand the graphite formation
-
for this scholarship you must: Have a first-class Honours degree in Computer Science or equivalent Have strong computational, programming, algorithms, and data analysis skills Provide evidence of adequate oral and
-
Research degree; or a Master by Coursework degree with a significant research component graded as high distinction or equivalent; or an Honours degree achieving first class honours in Computer Science
-
models Working closely with industry partners through internship program RMIT School of Engineering Scholarship is available for an aspiring chemical engineering graduate (BTech/Masters) to conduct
-
PhD Scholarship in Integrated Photonics for Telecommunication, Biosensing and Precision Measurements
for highly motivated and passionate PhD students to become part of our team. You will work with centre members from diverse research backgrounds in the disciplines of engineering, physics, chemistry and
-
large language models (LLMs). Candidates should have an interest or experience in culturally inclusive AI safety, multilingual NLP, AI ethics, or computational social sciences, and must hold a relevant