The Opportunity

The School of Computer Science and Engineering (CSE) at UNSW is seeking a Research Programmer 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 enhance the MCK codebase, test and apply the system, and develop use cases. Responsibilities include refining the front end (parser, type checker, and compilation), the back end (model checking and synthesis algorithms 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 programming language, in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm.

• Salary, Broadbanded Level 5/6: $ 85,717 to $107,054 per annum + 17% superannuation
• Full time
• Fixed term – 9 months
• Location: Kensington – Sydney, Australia
• Hybrid working options

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

• An honours degree in computer science, or equivalent experience
• Excellent systems development skills
• Knowledge and experience with functional programming (Haskell), UNIX, C,
• Experience with parser and compiler development
• Experience with the use and development of tools applying logic in computer science
• Knowledge of programming language theory, type theory and static analysis.
• Experience with windowing toolkits and web development
• (Highly Desirable) Knowledge of algorithms for software verification
• (Highly Desirable) Knowledge and experience with smart contract programming in Solidity.
• (Highly Desirable) Knowledge of common software vulnerabilities in Solidity code, and attack methodologies.
• Proven commitment to proactively keeping up to date with discipline knowledge and developments.
• A high degree of mathematical aptitude
• 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. This is available via JOBS@UNSW.

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.

Applicants must have working rights in Australia and be able to be on site in Kensington regularly.

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 6^th 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.