University of Adelaide

What you'll study

This honours-level programme builds on core computer science foundations — algorithms, data structures, software engineering and systems — and then moves into advanced topics specific to programming languages. In early years you study compulsory and elective computing units to establish a broad base; the honours component emphasises specialised coursework and an independent research project or thesis.

• Core topics: algorithms and complexity, data structures, operating systems, software engineering, discrete mathematics and computer architecture.
• Programming languages specialism: programming language theory and semantics, type systems, language design and implementation, compiler construction, interpreters, domain-specific languages, functional and concurrent programming.
• Formal methods and verification: program specification, model checking, automated theorem proving and static analysis techniques.
• Tools and practice: hands-on units on building compilers and language runtimes, language tooling (linters, refactoring tools), performance tuning and runtime systems.
• Honours research project: a substantial individual project supervised by academic staff, combining literature review, technical implementation or formal development, and a written thesis with an oral presentation.

Entry requirements

Entry to the Bachelor of Computer Science (Honours) typically requires completion of secondary school qualifications recognised by the University of Adelaide with a strong emphasis on mathematics and analytical subjects. Admissions are competitive and selection is based on academic achievement; applicants with relevant diploma or foundation studies may also be considered.

For students who enter a standard bachelor degree and later progress to honours, selection into the honours year normally depends on meeting a specified grade-point average or equivalent performance in second- and third-year computer science units. International applicants must meet the Universitys equivalent academic and English language requirements.

Career prospects

Graduates with an honours specialisation in programming languages have a wide range of career options. The combination of theoretical knowledge and practical implementation skills is valued in both industry and research settings.

• Software developer or senior software engineer focusing on language tooling, runtime systems or compilers.
• Compiler engineer, systems programmer or performance engineer working on virtual machines and optimising toolchains.
• Developer of domain-specific languages, embedded scripting engines or developer tools.
• Roles in program analysis, security (static analysis and verification) and formal methods.
• Academic and research careers, including progression to PhD study in programming languages, software engineering or formal methods.
• Technical roles in industries such as finance, defence, embedded systems, or organisations developing large-scale software platforms where correctness and performance are critical.

Why study at University of Adelaide

The University of Adelaides School of Computer Science offers a research-active environment with staff working in programming languages, formal methods and software systems. Students benefit from small-group supervision in the honours year, access to advanced computing facilities and opportunities to collaborate on projects with research groups.

The School maintains links with local and national industry partners and research organisations, providing pathways for internships, industry projects and employment. Studying in Adelaide also offers access to a concentrated tech and startup community, enabling practical experience alongside academic study.