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

University of New South Wales School of Computer Science and Engineering


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

Apply now Job no: 510701
Work type: full time
Location: Sydney, NSW
Categories: Senior Lecturer, Lecturer

Job Details

  • SalaryFull time
    • 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
  • 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 Formal Methods and Logic in Computer Science, with preference for algorithmic verification and applications towards areas including security foundations, distributed computing, hybrid systems and autonomous systems.

Formal Methods and Logic are well represented at the School. The Formal Methods Group works on developing the theoretical foundations for reasoning about computational systems, and enabling computers themselves 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. The School's Trustworthy Systems Group concentrates on provable correctness for an actual operating-system kernel (seL4) and the Knowledge Representation Group applies logic in AI.

The ideal candidate will have a track record and an ongoing research program of use-inspired basic research in Formal Methods in which new methods and theories are developed that help to write programs that are provably correct, with applications to the programming challenges of today and the future (e.g., privacy, security, reliability and autonomy). It is desirable that the candidate has made contributions to the theoretical foundations of model checkers, program verifiers (e.g., Dafny) or automatic theorem provers, and has experience in having used them on actual program-development projects. The candidate will have enthusiasm for conveying both theory and practice to students.

Evidence of publications in these venues (or similar) would be desirable:

  • CAV (Computer-Aided Verification)
  • TACAS (Tools and Algorithms for the Construction and Analysis of Systems)
  • LICS (Logic in Computer Science)
  • FM (Formal Methods)
  • ETAPS (European joint Conference on Theory and Practice of Software)
  • FOSSACS (Foundations of Software Science and Computational Structure)
  • TOCL (ACM Transactions on Computational Logic)
  • STVR (Software Testing, Verification and Reliability)
  • FAC (Formal Aspects of Computing)
  • MPC (Mathematics of Program Construction)
  • ICALP (International Conference on Automata, Logic and Programming)
  • QEST (Quantitative Evaluation of Systems)
  • CSF (Computer Security Foundations)
  • PODC (Principles of Distributed Computing)
  • CONCUR (Concurrency Theory)
  • FTSCS Formal Techniques for Safety-Critical Systems
  • ESOP (European Symposium on Programming)
  • POPL (Principles of Programming Languages)

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 with the Faculty of Engineering with over 3,400 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, Biomedical Image Computing, Data and Knowledge, Embedded Systems, Networked Systems and Security, Human Centred Computing, Programming Languages and Compilers, Service Oriented Computing, Theoretical Computer Science 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 in the broad of Formal Methods and Logic in Computer Science, with preference for algorithmic verification and applications towards areas including security foundations, distributed computing, hybrid systems and autonomous systems.
  • 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 equity diversity and inclusion. Applications from women, people of culturally and linguistically diverse backgrounds, those living with disabilities, members of the LGBTIQ+ community; and people of Aboriginal and Torres Strait Islander descent, are encouraged. 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.

Position Description

Advertised: 01 Sep 2022 AUS Eastern Standard Time
Applications close: 12 Oct 2022 AUS Eastern Daylight Time

Apply now

In your application, please refer to Polytechnicpositions.com