The Opportunity
The School of Computer Science and Engineering (CSE) at UNSW is seeking multiple Postdoctoral Fellows to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time. In this role you will will work on enhancing the MCK codebase, testing and applying the system, and developing use cases. This includes programming work to refine the front end (parser, type checker, and compilation to lower-level representations), the back end (algorithms for model checking and synthesis using BDDs, SAT solvers, and SMT solvers), and the user interface (debugging and state space visualization). The project also involves verification for the Solidity smart contract language, in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm. The role will be part of a team led by Prof. van der Meyden and including additional Postdoctoral and/or research programmer staff. Additionally, three Honours students will participate in the project, focusing on developing use cases in computer security, smart contract verification, and autonomous systems.
This position will give you the opportunity to develop your scholarly research and professional activities by supporting the dissemination of research outcomes through appropriate channels and outlets. You will also have the opportunity to assist with the supervision of students, and have active engagement with fellow researchers both at UNSW and other institutions.
This role reports to Prof Ron Van der Meyden and has no direct reports.
- Salary, Level A – AUD $110,059 to $117,718 per annum + 17% superannuation
- Full time
- Fixed-term contract – 9 months
- Location: Kensington – Sydney, Australia
- Applicants must already have Australian work rights
About UNSW
UNSW isn’t like other places you’ve worked. Yes, we’re a large organisation with a diverse and talented community; a community doing extraordinary things. But what makes us different isn’t only what we do, it’s how we do it. Together, we are driven to be thoughtful, practical, and purposeful in all we do. If you want a career where you can thrive, be challenged and do meaningful work, you’re in the right place.
The School of Computer Science and Engineering is one of the largest and most prestigious schools of computing in Australia. It offers undergraduate programmes in Software Engineering, Computer Engineering, Computer Science, and Bioinformatics, as well as a number of combined degrees with other disciplines. Our research and teaching staff are world leading and world building as they advance knowledge and learning. For more information on our school go to the following link - https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering
Skills and Experience
- A PhD in a related discipline, and/or relevant work experience in computer science or a numerate discipline
- Knowledge and strong skills in functional programming (specifically, Haskell), C and Unix.
- Experience with user interface development using windowing toolkits.
- Knowledge of logic and discrete mathematics.
- Experience with the use of tools applying logic in computer science.
- Knowledge of algorithms for software verification and synthesis.
- Knowledge and experience with smart contract programming in Solidity..
- Knowledge of common software vulnerabilities in Solidity code, and attack methodologies.
- Knowledge of programming language theory, type theory and static analysis.
- Proven commitment to proactively keeping up to date with discipline knowledge and developments.
- Demonstrated ability to undertake high quality academic research and conduct independent research with limited supervision.
- Demonstrated ability to work in a team, collaborate across disciplines and build effective relationships.
- Evidence of highly developed interpersonal skills.
- Demonstrated ability to communicate and interact with a diverse range of stakeholders and students.
- Demonstrated track record of publications and conference presentations relative to opportunity.
- An understanding of and commitment to UNSW’s aims, objectives and values in action, together with relevant policies and guidelines.
- Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training.
Additional details about the specific responsibilities for this position can be found in the position description.
To Apply:
Please click the apply now button and submit your CV, Cover Letter and Responses to the Skills and Experience. You should systematically address the Skills and Experience listed within the position description in your application.
Please note applications will not be accepted if sent to the contact listed below.
Contact:
Eugene Aves – Talent Acquisition Consultant
E: eugene.aves@unsw.edu.au
Applications close: 11:55 pm (Sydney time) on Sunday 6th October 2024
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.
