Research Associate in Software Verification

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 highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will work on enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.

Key Responsibilities
  • Enhance the MCK codebase, testing and applying the system
  • Develop use cases for software verification and synthesis
  • Collaborate with Prof. van der Meyden and other team members on research projects
  • Supervise Honours students on software verification and synthesis projects
Requirements
  • PhD in a related discipline or relevant work experience in computer science or a numerate discipline
  • 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
What We Offer
  • Salary, Level A – AUD $110,059 to $117,718 per annum + 17% superannuation
  • Full time position
  • Fixed-term contract – 9 months
  • Location: Kensington – Sydney, Australia
About UNSW Australia

UNSW Australia is a world-leading research university, committed to making a positive impact on society. We offer a dynamic and inclusive work environment, with opportunities for professional development and growth.

  • Research Associate in Software Verification

    1 month 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 work on enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.Key...

  • Research Associate in Software Verification

    2 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

    1 month 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

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

  • Research Associate in Software Verification Position

    2 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

    3 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

    3 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 Fellow in Software Verification at UNSW Australia

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

  • Postdoctoral Research Scientist in Software Verification

    5 days 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,...

  • Software Verification Research Scientist

    2 days 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...

  • Research Associate

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

  • Engineering Verification Manager

    4 weeks 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 Verification Specialist

    2 months 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...

  • Clinical Research Associate

    7 days ago

    Sydney, New South Wales, Australia BeiGene Full time

    Job Description:The Clinical Research Associate (CRA) plays a critical role in ensuring the successful execution of clinical trials within the pharmaceutical or Contract Research Organization (CRO) industry. As a key member of the study team, the CRA is responsible for monitoring and managing clinical trials from initiation to closeout.Key responsibilities...

  • Senior Clinical Research Associate

    4 weeks ago

    Sydney, New South Wales, Australia GenesisCare Full time

    Senior Clinical Research AssociateGenesisCare is seeking a highly skilled and experienced Senior Clinical Research Associate to join our CRO division. As a Senior CRA, you will play a critical role in the management of clinical trials, ensuring that projects are conducted in accordance with applicable SOPs, regulations, and ICH guidelines.Key...

  • Senior Clinical Research Associate

    4 weeks ago

    Sydney, New South Wales, Australia GenesisCare Full time

    Senior Clinical Research AssociateGenesisCare is seeking a highly skilled and experienced Senior Clinical Research Associate to join our CRO division. As a Senior CRA, you will play a critical role in the management of clinical trials, ensuring that projects are conducted in accordance with applicable SOPs, regulations, and ICH guidelines.Key...

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

  • Clinical Research Associate Senior

    4 weeks ago

    Sydney, New South Wales, Australia Pharmiweb Full time

    Job Title: Senior Clinical Research AssociateWe are seeking an experienced Senior Clinical Research Associate to join our team in Italy. As a Senior Clinical Research Associate, you will be responsible for the preparation, initiation, monitoring, and closure of assigned sites in clinical studies, ensuring compliance with sponsor's procedural documents,...

  • Engineering Verification Manager

    2 months 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...

  • Senior Clinical Research Associate

    3 weeks ago

    Sydney, New South Wales, Australia GenesisCare Full time

    Senior Clinical Research AssociateGenesisCare is seeking a highly skilled and experienced Senior Clinical Research Associate to join our CRO division. As a Senior CRA, you will play a critical role in the management of clinical trials, ensuring that projects are conducted in accordance with applicable SOPs, regulations, and ICH guidelines.Key...