You're viewing this site as a domestic an international student

You're a domestic student if you are:

  • a citizen of Australia or New Zealand,
  • an Australian permanent resident, or
  • a holder of an Australian permanent humanitarian visa.

You're an international student if you are:

  • intending to study on a student visa,
  • not a citizen of Australia or New Zealand,
  • not an Australian permanent resident, or
  • a temporary resident (visa status) of Australia.
You're viewing this site as a domestic an international student
Change
Computer equipment.

Major

Programming Theory

Bachelor of Computer Science / Master of Cyber Security
Overview Study details

Programming theory is the backbone of software development, exploring the design and analysis of languages and tools that ensure efficient, secure and reliable software across critical domains.

Programming theory is a core area of computer science that provides the foundation for software development. It focuses on the design and analysis of programming languages and the principles behind creating reliable, efficient and secure programs.

Students explore the science and craft of programming through topics such as compilers, program analysis, verification techniques and diverse programming paradigms. These skills are essential for building software that meets rigorous standards in critical industries like finance, healthcare and aerospace.

Join a growing industry

  • Australia’s tech workforce is projected to grow to 1.2 million jobs by 2030, making it one of the country’s fastest-growing and highest-paid industries. (Tech Council of Australia, May 2023)
  • Queensland tech workforce expanding from 140,000 to 180,000 by 2030. (Tech Council of Australia, 2025)
  • The tech sector already contributes $167 billion to GDP and is projected to reach $250 billion by 2026, with tech jobs forming a major part of this growth. (Tech Council of Australia, Nov 2025)

Highlights

1 in Queensland for computer science and information systems

QS World University Rankings 2025

Career possibilities

Our programs prepare you for your first job and beyond. Here are some of the careers you could be on your way to:

  • Software engineer
  • Developer programmer
  • Software architect
  • Research scientist
  • Analyst programmer
  • Cyber security analyst

Average annual salary range

Systems Analyst

$95K–$115K

seek.com.au

How you'll learn

Your learning experiences are designed to best suit the learning outcomes of the courses you choose.

  • Lectures
  • Tutorials
  • Seminars
  • Workshops

What you'll study

At UQ, subjects are called 'courses'. Here's a sample of the courses you could study:

  • Principles of Program Analysis
  • Functional and Logic Programming
  • Set Theory & Mathematical Logic
  • Web & Mobile Programming or Software Innovation

See courses and program structure

Keep up to date

Sign up to get information about applying and studying at UQ.

Select your country and then enter your mobile phone number.

We will use your information to keep you informed about UQ programs, news, events and scholarships. By submitting this form, you consent to the terms of UQ's Marketing consent and privacy notice.

Questions?
We're here to help.
Contact us