Lecturer / Senior Lecturer in Computer Science, Formal Methods and Logic

Kensington, Randwick
$112,679 to $157,015 per annum + 17% superannuation
02 Sep 2022
End of advertisement period
12 Oct 2022
Contract Type
Fixed Term
Full Time


Join an organisation that is shaping the future direction of computing in Australia in a role that conducts independent research and delivers excellent teaching in Theoretical Computer Science.

Job Details

  • Salary Lecturer - Level B, $112,679 to $132,832 per annum + 17% superannuation Senior Lecturer – Level C, $136,859 to $157,015 per annum + 17% superannuation

Full time 5-year Convertible Tenure Track (CTT) Location: Kensington – Sydney, Australia

The Opportunity

Join the School of Computer Science and Engineering (CSE) as a Lecturer/Senior Lecturer. You will be conducting independent research and delivering excellent teaching.

This position is in the area of Theoretical Computer Science, covering all topics one would typically find at some of the main conferences in the field:

  • CAV (International Conference on Computer-Aided Verification),
  • CRYPTO (Annual International Cryptology Conference),
  • CSF (IEEE Computer Security Foundations Symposium),
  • EC (ACM Conference on Economics and Computation),
  • FOCS (IEEE Symposium on Foundations of Computer Science),
  • ICALP (International Colloquium on Automata Languages and Programming),
  • ISIT (IEEE International Symposium on Information Theory),
  • LICS (IEEE Symposium on Logic in Computer Science),
  • PODC (ACM Symposium on Principles of Distributed Computing),
  • SODA (ACM/SIAM Symposium on Discrete Algorithms), and
  • STOC (ACM Symposium on Theory of Computing).

This includes topics such as

  • Algorithms,
  • Automata, Logic, and Games,
  • Automated Deduction and Theorem Proving,
  • Coding Theory,
  • Combinatorial Optimization,
  • Combinatorics in Computer Science,
  • Communication Theory,
  • Computability,
  • Computational Complexity,
  • Computational Geometry,
  • Concurrency and Distributed Computing,
  • Constructive Mathematics,
  • Cryptography,
  • Data Structures,
  • Database Theory, Constraint Satisfaction, and Finite Model Theory,
  • Formal Methods,
  • Foundations, Formal, Logical and Algorithmic Aspects of Bioinformatics, Fairness, Game Theory, Mechanism Design, Network Economics, Networks, Machine Learning, Security and Privacy,
  • Information Theory,
  • Knowledge Representation and Reasoning,
  • Logic in Computer Science,
  • Models of Computation,
  • Models of Concurrent, Distributed, and Mobile Systems,
  • Models of Reactive, Hybrid, and Stochastic Systems,
  • Parallel and External Memory Computing,
  • Parameterized Complexity,
  • Principles and Semantics of Programming Languages,
  • Program Analysis, Verification, and Synthesis,
  • Quantum Computing,
  • Randomness in Computation, and
  • Type Systems and Typed Calculi.

Most of the school’s research in Theoretical Computer Science is done within the research groups on Algorithmic Decision Theory, Algorithms, Formal Methods, and Knowledge Representation and Reasoning.

The Algorithmic Decision Theory group develops computational and analytical tools to support collective and cooperative decision making using a blend of game theory, artificial intelligence, and algorithms. It solves fundamental optimisation problems that consider distributed agents, preferences, priorities, fairness, stability, and the strategic concerns of stakeholders. Its focus is on the intersection of computer science (in particular artificial intelligence, multi-agent systems, and theoretical computer science) and economics (social choice, market design, and game theory).

The Algorithms group designs and analyses algorithms in terms of resource requirements (time, space, randomness) and studies their limitations. It brings together academics from CSE and the School of Mathematics and Statistics, and has expertise in algorithmic game theory, algorithms for intractable problems, combinatorial optimisation, computational number theory, computational social choice, enumeration, exponential-time algorithms, extremal combinatorics, graph algorithms, parameterized complexity, random structures, and signal processing. 

The Formal Methods group works on developing the theoretical foundations for reasoning about computational systems, and enabling computers to perform such reasoning, to support the development of computational systems to the highest levels of assurance concerning their correctness, security and reliability. Specific areas of current focus are foundational models and logics for reasoning about fault-tolerant distributed computing, information flow, privacy, machine learning and smart contracts in blockchain systems. In teaching, we are developing a pedagogy in which students are first motivated to reason informally but rigorously (e.g., using assertions and invariants) about program correctness and program derivation, and then introduced to program verifiers such as Dafny. Advanced teaching areas covered by the group include theory of computing, concurrency theory, and algorithmic verification. It has strong connections with the Trustworthy Systems group, which concentrates on provable correctness for an actual operating system kernel (seL4).

The Knowledge Representation and Reasoning group starts from the assumption that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The assumption that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. The main strengths of the Knowledge Representation and Reasoning group are in cognitive robotics, reasoning about actions and change, artificial intelligence systems with general intelligence, and computer game playing.

The ideal candidate has a strong research track record, brings enthusiasm for conveying both theory and practice to students, increases the breadth of CSE’s research strengths, and has an interest and expertise to collaborate with other academics in our school in both research and teaching.

This is an opportunity to join an organisation that is helping to shape the future direction of computing in Australia. The students and research produced in CSE can impact the world!

The role of Lecturer/Senior Lecturer reports to the Head of School and has no direct reports.

The School

Computer Science and Engineering (CSE) in the Faculty of Engineering at UNSW is one of the largest Schools of its kind in Australia with the greatest impact on society through our academic excellence in teaching, research, commercial and social engagement. The School is the largest in the Faculty of Engineering with over 4,500 students and 60 academic staff which is growing to 70 over the coming year with an operating budget of over $20 million. CSE is undergoing a period of expansion, advertising and recruiting for over 10 new academic staff in 2022.

Our academic staff have research focus in areas including Artificial Intelligence and Robotics for Social Good, Algorithmic Decision Theory, Algorithms, Computer Vision, Computing and Education, Data and Knowledge, Embedded Systems, Formal Methods, Human Centred Computing, Information Security & Privacy, Knowledge Representation and Reasoning, Machine Learning, Networking and Ubiquitous Computing, Programming Languages and Compilers, Robotics, Software and Data Services Engineering, and Trustworthy Systems.

CSE offers undergraduate programs in Software Engineering, Computer Engineering, Computer Science and Bioinformatics, as well as a number of combined degrees with other disciplines. CSE attracts excellent students who have an outstanding record in international competitions. People join CSE for the opportunity to work with top-tier students and to join a community of scholars who support them to achieve their full potential. CSE attracts the brightest students as we offer the most technically challenging computing degrees in Australia. The challenges we present, ensure our students reach their greatest potential and are ready to have a lasting impact on society.

Our school is located in the heart of Sydney, and is Australia’s largest centre for computationally driven business, design and culture. This vibrant nexus brings together a diversity of creative engineering and design forces: where world-leading education allows our thousands of students and researchers to become world-leading and world-building innovators. CSE students take an active role in the creation of a vibrant student experience, with many student societies and are actively involved in teaching and learning opportunities within the school. For further information about the School, please visit http://www.cse.unsw.edu.au


UNSW is currently implementing a ten-year strategy to 2025 and our ambition for the next decade is nothing less than to establish UNSW as Australia’s global university. Following extensive consultation in 2015, UNSW identified three strategic priority areas. Firstly, a drive for academic excellence in research and education. Universities are often classified as ‘research intensive’ or ‘teaching intensive’. UNSW is proud to be an exemplar of both. We are amongst a limited group of universities worldwide capable of delivering research excellence alongside the highest quality education on a large scale. Secondly, a passion for social engagement, which improves lives through advancing equality, diversity, open debate and economic progress. Thirdly, a commitment to achieving global impact through sharing our capability in research and education in the highest quality partnerships with institutions in both developed and emerging societies. We regard the interplay of academic excellence, social engagement and global impact as the hallmarks of a great forward-looking 21st century university.

Skills & Experience

Lecturer (Level B)

  • PhD in Computer Science or relevant discipline.
  • Demonstrated experience in any area related to Computer Science, particularly Theoretical Computer Science, Formal Methods, and Logic in Computer Science.
  • Demonstrated track record in research with outcomes of high quality and high impact with clear evidence of the desire and ability to continually achieve research excellence as well as the capacity for research leadership.
  • Demonstrated ability and willingness to deliver high quality and innovative teaching and student experience to both undergraduate and postgraduate students.
  • A track record of significant involvement with the profession and/or industry.
  • High level communication skills and ability to network effectively and interact with a diverse range of students and staff.
  • Demonstrated ability to work in a team, collaborate across disciplines and build effective relationships.
  • Willingness to undertake any compliance and supervisor training as required. 
  • An understanding of and commitment to UNSW’s aims, objectives and values in action, together with relevant policies and guidelines.
  • Ability and capacity to implement required UNSW health and safety policies and procedures.

Senior Lecturer (Level C)

  • Conduct research of high quality and high international impact including attainment of competitive government and industry research funding and publication of outcomes in high quality research outlets.
  • Play a significant role in research projects including, where appropriate, leadership of a research team.
  • Deliver high quality teaching and student experience utilising sound pedagogical methodologies and innovative technologies and from time to time, deliver teaching across a broad engineering discipline.
  • High quality supervision of honours and postgraduate research projects
  • Actively engage with industry and the community to develop significant productive relationships, attract industry funding and participate in professional activities.
  • Work collaboratively with peers across the Faculty and UNSW in all aspects of academic endeavour and contribute to mentoring of other staff.
  • Involvement in broad administrative functions of the School and/or University, coordination of subjects, attends departmental and/or faculty meetings, involvement in Open Days and recruitment activities and play a major role in planning and/or committee work or other responsibilities, as directed by Head of School.
  • Align with and actively demonstrate the UNSW Values in Action: Our Behaviours and the UNSW Code of Conduct.
  • Ensure hazards and risks are identified and controlled for tasks, projects and activities that pose a health and safety risk within your area of responsibility.

Additional details about the specific responsibilities for this position can be found in the position description.

To Apply: If you are interested in an academic career in a role that conducts independent research and delivers excellent teaching, please click the apply now button and submit your CV, Cover Letter and systematic responses to the Skills and Experience.

Applicants are actively encouraged not to include conference/journal/CORE rankings but should instead focus on the impact of their research outputs in describing the excellence of their research.Clarity concerning individual contributions to group outputs is essential.

Please note applications will not be accepted if sent to the contact listed below.


Eugene Aves – Talent Acquisition Consultant
E: eugene.aves@unsw.edu.au

Applications close: 11:50 pm (Sydney time), on Wednesday 12th October 2022

UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly, in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability, and access to flexible work options for eligible staff.

The University reserves the right not to proceed with any appointment.