Blog Page

Skip to main content
Visit timeshighereducation.com
Jobseekers:
Summary: 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 Formal Methods and Logic in Computer Science.
Job Details
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:
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
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)
Senior Lecturer (Level C)
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.
Contact:
Eugene Aves – Talent Acquisition Consultant
E: [email protected]
Applications close: 11:50 pm (Sydney time), on Wednesday 10^th 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.
back to top
© 2015 – 2022 THE World Universities Insights Limited. Powered by Madgex Job Board Software

source