Research Associate in Software Verification

1 day ago

Sydney, New South Wales, Australia UNSW Australia Full time
Job Opportunity

The School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.

About the Role

You will work on refining 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.

Key Responsibilities
  • Enhance the MCK codebase, testing and applying the system
  • Develop use cases in computer security, smart contract verification, and autonomous systems
  • Collaborate with Prof. van der Meyden and additional Postdoctoral and/or research programmer staff
  • Supervise Honours students and engage with fellow researchers at UNSW and other institutions
Requirements
  • 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
What We Offer
  • 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 Australia

UNSW Australia is a world-leading research university, committed to evolving a culture that embraces equity and supports a diverse and inclusive community. 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.

  • Research Associate in Software Verification

    3 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and...

  • Research Associate in Software Verification

    3 days ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the OpportunityThe School of Computer Science and Engineering at the University of New South Wales is seeking a highly skilled Research Associate to contribute to the development of the Model Checker MCK, a tool for software verification and synthesis. As a key member of the team, you will work on enhancing the MCK codebase, testing and applying the...

  • Research Associate in Software Verification Specialist

    2 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a key member of our research group, you will play a critical role in advancing the field of software verification and synthesis using modal logics of knowledge and time.Key...

  • Research Associate in Software Verification

    3 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.About the RoleThis is a fixed-term contract position for 9 months, working full-time in Sydney,...

  • Research Associate in Software Verification Specialist

    1 week ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.Key ResponsibilitiesEnhance the MCK codebase, testing and applying the system, and developing...

  • Research Associate in Software Verification and Synthesis

    1 week ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the OpportunityThe School of Computer Science and Engineering at the University of New South Wales is seeking a highly skilled Postdoctoral Fellow to join our team and contribute to the development of the Model Checker MCK, a tool for software verification and synthesis. As a key member of our team, you will work on enhancing the MCK codebase, testing...

  • Research Scientist

    1 week ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Research Programmer PositionUNSW Australia is seeking a highly skilled Research Programmer to join our team in the School of Computer Science and Engineering. As a Research Programmer, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.Key...

  • Research Scientist

    6 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Research Programmer PositionUNSW Australia is seeking a highly skilled Research Programmer to join our team in the School of Computer Science and Engineering. As a Research Programmer, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.Key...

  • Research Programmer Position

    5 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Programmer to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.ResponsibilitiesEnhance the MCK codebase, test, and apply the systemDevelop use cases for software...

  • Senior Proof Engineer

    2 weeks ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the RoleWe are seeking a highly skilled Senior Proof Engineer to lead our team in the School of Computer Science and Engineering at the University of New South Wales. As a member of our Trustworthy Digital Group, you will play a key role in performing world-leading work on software systems whose trustworthiness can be mathematically proved.Key...

  • Research Scientist

    3 days ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the OpportunityThe University of New South Wales is seeking a highly skilled Research Programmer to join our team in the School of Computer Science and Engineering. As a Research Programmer, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and...

  • GPU Verification Specialist

    6 days ago

    Sydney, New South Wales, Australia Advanced Micro Devices Full time

    About the RoleWe're seeking a talented GPU Verification Engineer to join our team at Advanced Micro Devices. As a key member of our verification team, you'll play a crucial role in ensuring the quality and reliability of our cutting-edge GPU designs.Key ResponsibilitiesCollaborate with architects, modelling engineers, and designers to develop design...

  • Research Scientist

    3 days ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the OpportunityThe University of New South Wales is seeking a highly skilled Research Programmer to join our team in the School of Computer Science and Engineering. As a Research Programmer, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and...

  • GPU Formal Verification Engineer

    2 weeks ago

    Sydney, New South Wales, Australia Advanced Micro Devices, Inc Full time

    Transforming Lives with AMD TechnologyWe are committed to building innovative products that accelerate next-generation computing experiences, driving progress in the data center, artificial intelligence, PCs, gaming, and embedded industries. Our mission is to push the boundaries of innovation, solving the world's most pressing challenges through execution...

  • Engineering Verification Manager

    2 weeks ago

    Sydney, New South Wales, Australia Raytheon Australia Full time

    About the Role We are seeking a highly skilled and experienced Engineering Verification Manager to join our team at Raytheon Australia. As a key member of our engineering team, you will be responsible for leading and developing a team of experienced engineering professionals to ensure the quality and standards of work achieved in the delivery of verification...

  • Senior Clinical Research Associate

    2 weeks ago

    Sydney, New South Wales, Australia Southern Star Research Full time

    About the RoleWe are seeking a highly skilled and experienced Senior Clinical Research Associate to join our team at Southern Star Research. As a key member of our clinical research team, you will be responsible for conducting site qualification, interim monitoring, and study closeout visits, as well as managing all aspects of the clinical monitoring...

  • Engineering Verification Manager

    2 weeks ago

    Sydney, New South Wales, Australia Raytheon Australia Full time

    About the RoleWe are seeking an experienced Engineering Verification Manager to join our team at Raytheon Australia. As a key member of our engineering team, you will be responsible for leading and developing a team of experienced engineering professionals to ensure the quality and standards of work achieved in the delivery of verification and validation...

  • Research Scientist

    5 days ago

    Sydney, New South Wales, Australia University of New South Wales Full time

    About the OpportunityThe University of New South Wales is seeking a highly skilled Research Programmer to join our team in the School of Computer Science and Engineering. As a Research Programmer, you will play a key role in enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and...

  • Engineering Verification Manager

    3 days ago

    Sydney, New South Wales, Australia Raytheon Australia Full time

    Job Title: Engineering Verification ManagerWe are seeking an experienced Engineering Verification Manager to join our team at Collins Aerospace, a business of RTX. As a key member of our engineering team, you will be responsible for leading and developing a team of experienced engineering professionals to ensure the quality and standards of work achieved in...

  • GPU Formal Verification Specialist

    1 week ago

    Sydney, New South Wales, Australia Advanced Micro Devices Full time

    About the RoleWe're seeking a skilled GPU Formal Verification Engineer to join our team at AMD. As a key member of our design verification team, you'll play a critical role in ensuring the quality and reliability of our GPU products.Key ResponsibilitiesCollaborate with architects, modeling engineers, and designers to develop design specificationsDevelop test...