Job Opportunities in Australia
September 17, 2024
University of New South Wales
Sydney
FULL TIME
Research Associate in Software Verification
Job no: 527574
Work type: full time
Location: Sydney, NSW
Categories: Post Doctoral Research Associate
Work type: full time
Location: Sydney, NSW
Categories: Post Doctoral Research Associate
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.
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
To Apply:
Please click the 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.
Position Description
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
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 Ph D 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.
To Apply:
Please click the 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.
Advertised: 17 Sep 2024 AUS Eastern Standard Time
Applications close: 06 Oct 2024 AUS Eastern Daylight Time
Latest Job Opportunities
October 27, 2024
Edith Cowan University
Lecturer Nursing – Paediatric specialisation
Joondalup
FULL TIME
View Details
October 27, 2024
ALDI Stores
Duty Store Manager - Port Adelaide
Port Adelaide
PART TIME
View Details
October 27, 2024
Woolworths
Bakery Team Member - Woolworths Golden Grove (The Stables)
Golden Grove
PART TIME
View DetailsSimilar Jobs
September 9, 2024
Tasmanian Government
Project/Research Nurse - Northern Cancer Service
Launceston
PART TIME
View Details
September 9, 2024
University of New South Wales
Casual Professional - Research Assistant
Sydney
OTHER
View Details
August 31, 2024
Central Australian Aboriginal Congress
Research Assistant
Alice Springs
OTHER
View Details
September 17, 2024
Australian National University
HDR Convenor/Braithwaite Research Fellow
Canberra
FULL TIME
View Details
September 13, 2024
Australian National University
Deputy Manager, Research Services
Canberra
FULL TIME
View Details
September 12, 2024
Australian Government
APS 5 - Research Officer - Sensitive Issues Management Cell
Bungendore
View DetailsNew Jobs from This Company
October 25, 2024
University of New South Wales
Research Officer, Data Quality (Centre for Molecular Oncology)
Sydney
FULL TIME
View Details
October 25, 2024
University of New South Wales
Business Administrator - Industry & Innovation
Sydney
FULL TIME
View Details
October 25, 2024
University of New South Wales
Cyber Security Risk Advisor
Sydney
FULL TIME
View Details
October 25, 2024
University of New South Wales
Research Officer (Indigenous Identified)
Sydney
FULL TIME
View Details