Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

We have 6 Computer Science PhD Projects, Programmes & Scholarships for European Students (exc UK) in Canberra

Discipline

Discipline

Computer Science

Location

Location

Canberra  Australia

Institution

Institution

All Institutions

PhD Type

PhD Type

All PhD Types

Funding

Funding

I am a European student


Computer Science PhD Projects, Programmes & Scholarships for European Students (exc UK) in Canberra

We have 6 Computer Science PhD Projects, Programmes & Scholarships for European Students (exc UK) in Canberra

More details

Embodied AI and machine learning for photovoltaics (fully funded)

PhD Program. Embodied AI and machine learning for photovoltaics. Institution. Australian National University (QS ranking 2024. No. Read more
 Supervisors: Prof KC Catchpole, Prof KW Weber, Dr H Shen, Dr H Zhan
 Year round applications  PhD Research Project  Funded PhD Project (Students Worldwide)
More details

Lightweight Formal Methods for Programming

We are looking for PhD students to join me working on topics related to programming languages and formal methods. This is a fully-funded scholarship for a PhD degree at the Australian National University, including a living stipend. Read more
 Supervisor: Dr L O'Connor
 Year round applications  PhD Research Project  Funded PhD Project (Students Worldwide)
More details

Semantic Foundations for Software Engineering

We are looking for PhD students to join me working on topics related to programming languages and formal methods. This is a fully-funded scholarship for a PhD degree at the Australian National University, including a living stipend. Read more
 Supervisor: Dr L O'Connor
 Year round applications  PhD Research Project  Funded PhD Project (Students Worldwide)
More details
Last chance to apply

Concurrency Verification (Formal Methods) - Students with a background in logic wanted

Applications are invited for a funded PhD project on using formal methods for the verification of concurrent programs. Concurrent programs are notoriously challenging to verify. Read more
 Supervisor: Dr N.P. Yatapanage
 27 March 2025  PhD Research Project  Funded PhD Project (Students Worldwide)
More details

Programming Language Design and Implementation for IDEs

Programming languages typically have a particular syntax and semantics, chosen by their designers, and both are often variations on those of existing similar languages. Read more
 Supervisor: Dr F Muehlboeck
 Year round applications  PhD Research Project  Awaiting Funding Decision/Possible External Funding
More details

Making Efficient Sound Gradual Typing Fit for Industry Adoption

The goal of this project is to solve remaining problems in the design and implementation of gradually-typed programming languages that prevent sound and well-behaved gradual typing from being included in new major industrial programming languages. Read more
 Supervisor: Dr F Muehlboeck
 Year round applications  PhD Research Project  Funded PhD Project (Students Worldwide)
  • 1

Filtering Results