Research Associate in Software Verification Position

4 weeks 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 Postdoctoral Fellow 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 work on enhancing the MCK codebase, testing and applying the system, and developing use cases. This includes programming work to refine the front end, the back end, and the user interface.

The project also involves verification for the Solidity smart contract language, in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm.

You 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.

Key Responsibilities

  • Enhance the MCK codebase and develop use cases
  • Work on the front end, back end, and user interface
  • Collaborate with Hashlock Pty Ltd on smart contract verification
  • Participate in a team led by Prof. van der Meyden
  • Supervise Honours students on use case development

Requirements

  • PhD in a related discipline or relevant work experience
  • Knowledge and strong skills in functional programming, C, and Unix
  • Experience with user interface development and logic and discrete mathematics
  • Knowledge of algorithms for software verification and synthesis
  • Knowledge and experience with smart contract programming in Solidity

About UNSW Australia

UNSW Australia is a leading research university with a diverse and talented community. We are committed to evolving a culture that embraces equity and supports a diverse and inclusive community.

  • Research Associate in Software Verification

    3 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the RoleThe 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 MCK codebase, testing and applying the system, and developing use cases.Key ResponsibilitiesRefine the front end (parser,...

  • Research Associate in Software Verification Position

    4 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow 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 work on enhancing the MCK codebase, testing and applying the system, and developing...

  • Research Associate in Software Verification Position

    4 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 Postdoctoral Fellow 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 work on enhancing the MCK codebase, testing and applying the system, and...

  • Research Associate in Software Verification

    4 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.In this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing use...

  • Software Verification Researcher

    4 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the Role We are seeking a highly skilled and motivated Postdoctoral Fellow to join our team at UNSW Australia. As a Research Associate in Software Verification, you will play a key role in enhancing the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.About the Opportunity In this...

  • Software Verification Researcher Position at UNSW Australia

    2 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the OpportunityWe are seeking a highly skilled Postdoctoral Fellow to join our team at the School of Computer Science and Engineering (CSE) at UNSW Australia. As a Research Associate in Software Verification, you will play a key role in enhancing the MCK codebase, testing and applying the system, and developing use cases.Job DescriptionThe successful...

  • Research Fellow in Software Verification at UNSW Australia

    3 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    The School of Computer Science and Engineering at UNSW Australia invites applications for a Postdoctoral Research Associate in Software Verification to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.This role involves enhancing the MCK codebase, testing and applying the...

  • Software Verification Research Specialist

    5 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the RoleWe are seeking a highly skilled Software Verification Research Specialist to join our team at UNSW Australia.Job SummaryThis is an exciting opportunity for a Postdoctoral Fellow to work on enhancing the MCK codebase, testing and applying the system, and developing use cases for software verification and synthesis using modal logics of knowledge...

  • Postdoctoral Research Scientist in Software Verification

    2 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    OverviewThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Postdoctoral Research Associate to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.Duties and ResponsibilitiesThe successful candidate will work on enhancing the MCK codebase,...

  • Research Software Developer Opportunity in Verification and Synthesis

    1 week ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Enhance Software Verification CapabilitiesWe are seeking a Research Programmer to join our team at the School of Computer Science and Engineering (CSE) at UNSW Australia.In this role, you will play a crucial part in refining the Model Checker MCK codebase, testing and applying the system, and developing use cases. Your responsibilities will include enhancing...

  • Software Verification Expert

    1 week ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    The School of Computer Science and Engineering at UNSW Australia is seeking a talented Software Verification Expert to join our team. As a key member of our research group, you will be responsible for enhancing the Model Checker MCK codebase, testing and applying the system, and developing use cases.This role involves programming work to refine the front end...

  • Software Verification Research Scientist

    2 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the PositionUNSW Australia is seeking a highly skilled Postdoctoral Fellow to work on the Model Checker MCK, a tool developed at UNSW for software verification and synthesis using modal logics of knowledge and time.The RoleIn this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing use cases. This includes...

  • Senior Research Scientist in Formal Verification

    1 week ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    The School of Computer Science and Engineering at UNSW Australia is seeking a skilled Senior Research Scientist in Formal Verification to join their team.About the OpportunityThis role offers a unique chance to contribute to cutting-edge research and development in software verification and synthesis using modal logics of knowledge and time. As a Senior...

  • Highly Skilled Software Verification Expert Wanted

    2 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the Opportunity">UNSW Australia's School of Computer Science and Engineering is seeking a highly skilled Postdoctoral Fellow to work on software verification and synthesis using modal logics of knowledge and time.">The successful candidate will enhance the Model Checker MCK codebase, test and apply the system, and develop use cases. This includes...

  • Technical Research Associate

    3 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job Description:A technical research associate position is available at the University of New South Wales (UNSW) Australia, with a focus on providing technical and research assistance to research projects and teams.The role involves attending research meetings and training sessions, taking minutes, responding to routine enquiries, and undertaking...

  • Research Associate

    3 weeks ago

    Sydney, New South Wales, Australia Garvan Institute of Medical Research Full time

    Join a dynamic team of scientists at the Garvan Institute of Medical Research, a world-renowned leader in medical research, and contribute to groundbreaking discoveries in genomics and computational biology.About the OpportunityWe are seeking an exceptional Research Associate to join our team and contribute to the development of innovative research projects....

  • Research Programmer Position

    4 weeks ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Job OpportunityThe School of Computer Science and Engineering at UNSW Australia 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....

  • Research Associate Position

    4 weeks 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 Associate / Senior Research Associate to join our team in the School of Mechanical and Manufacturing Engineering. As a Research Associate, you will be conducting research both independently and as part of a team, focusing on characterising and improving the cryogenic...

  • Research Associate Position

    4 weeks 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 Associate / Senior Research Associate to join our team in the School of Mechanical and Manufacturing Engineering. As a key member of our research group, you will be responsible for conducting research on characterising and improving the cryogenic performance of carbon...

  • Research Associate Position

    4 weeks ago

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

    About the RoleThe University of New South Wales is seeking a highly skilled Research Associate to contribute to the research effort of the ARC Centre for Next-Gen Architectural Manufacturing (Arch_Manu). As a Research Associate, you will be responsible for conducting research and providing research support to Arch_Manu research teams to create scholarly...