Research Expert in Advanced Verification Technologies

6 days ago

Sydney, New South Wales, Australia UNSW Australia Full time
About the Role
We are seeking a highly skilled Postdoctoral Research Associate to join our team at UNSW Australia, focusing on software verification and synthesis using modal logics of knowledge and time. The successful candidate will work closely with Prof. van der Meyden and contribute to enhancing the Model Checker MCK codebase, testing and applying the system, and developing use cases. This role offers an exciting opportunity to develop your scholarly research and professional activities by supporting the dissemination of research outcomes through appropriate channels and outlets.

Key Responsibilities
The key responsibilities of this role include:
1. Enhancing the MCK codebase, testing and applying the system, and developing use cases for software verification and synthesis.
2. 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).
3. Collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm, for verification of the Solidity smart contract language.
4. Supervising students and engaging with fellow researchers at UNSW and other institutions.
5. Contributing to the School's research activities, including publications and conference presentations.

About Us
UNSW Australia is one of the largest and most prestigious schools of computing in Australia. Our School of Computer Science and Engineering offers undergraduate programmes in Software Engineering, Computer Engineering, Computer Science, and Bioinformatics, as well as 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 about our school, please visit our website.

Requirements
To be considered for this role, you should have a PhD in a related discipline, or relevant work experience in computer science or a numerate discipline. You should also possess strong skills in functional programming (specifically, Haskell), C, and Unix. Additionally, you should have experience with user interface development using windowing toolkits, knowledge of logic and discrete mathematics, and experience with tools applying logic in computer science. A proven commitment to proactively keeping up-to-date with discipline knowledge and developments is also essential. We offer a competitive salary package, including AUD $110,059 to $117,718 per annum + 17% superannuation.

  • Advanced Navigation Technology Content Writer

    3 weeks ago

    Sydney, New South Wales, Australia Advanced Navigation Full time

    Role Overview:Advanced Navigation is seeking a talented Content Developer to create engaging and informative content about its cutting-edge deep tech solutions. As a member of our marketing team, you will collaborate with subject matter experts to develop compelling articles, blog posts, and marketing materials that showcase our innovative technologies.Key...

  • Research Associate in Software Verification

    4 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,...

  • Software Verification Expert

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

  • Senior Research Scientist in Formal Verification

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

  • Computer Verification Expert

    19 hours ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    The School of Computer Science and Engineering (CSE) at UNSW Australia is seeking a highly skilled Postdoctoral Fellow to contribute to the development of the Model Checker MCK, a tool for software verification and synthesis. As a Research Associate in Software Verification, you will play a key role in enhancing the MCK codebase, testing and applying the...

  • Advanced Navigation Technology Content Specialist

    5 days ago

    Sydney, New South Wales, Australia Advanced Navigation Full time

    At Advanced Navigation, we are pioneers in AI robotics and navigation technologies, pushing the boundaries of innovation across land, air, sea, and space. We are seeking a highly skilled Technology Content Specialist to join our team and help us communicate our groundbreaking deep technologies to the world.The ideal candidate will have a passion for writing...

  • Software Verification Research Specialist

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

  • Research Fellow in Software Verification at UNSW Australia

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

  • Visionary Production Director for Advanced Navigation

    2 weeks ago

    Sydney, New South Wales, Australia Advanced Navigation Full time

    At Advanced Navigation, we are shaping the future of autonomy with cutting-edge AI robotics and navigation technologies. As a leading innovator in various applications, our mission is to drive progress through research and discovery.About UsWe design and manufacture complex navigation electronics for defense and commercial purposes. Our production team...

  • Software Verification Researcher

    1 week 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 Expert

    5 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    Software Verification Expert Role at UNSW AustraliaWe are seeking a highly skilled Software Verification Expert to join our team at the University of New South Wales. This is an exciting opportunity for a researcher to contribute to cutting-edge software verification projects using modal logics of knowledge and time.About the RoleThis fixed-term position...

  • Education Technology Expert

    19 hours ago

    Sydney, New South Wales, Australia Pyramid Global Technologies Full time

    Job SummaryWe are seeking an experienced Education Technology Expert to join our team at Pyramid Global Technologies.About the RoleThe successful candidate will have a strong background in Higher Education Institutions, with experience in Student experience, Learning, Teaching, Digital Teaching, and Student administration. Additionally, they will have worked...

  • Research Software Developer Opportunity in Verification and Synthesis

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

  • Research Associate in Software Verification Position

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

  • Data Research Expert

    1 week ago

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

    Job Summary:The University of New South Wales is seeking a highly skilled Data Research Expert to provide expert technical and research support to multidisciplinary research teams.This role involves developing and testing frameworks to ensure trustworthy data sharing and use, particularly in the context of products derived from data, including those created...

  • Content Developer for Deep Technologies

    3 weeks ago

    Sydney, New South Wales, Australia Advanced Navigation Full time

    Role OverviewAdvanced Navigation is seeking a skilled Content Developer to create engaging and informative content related to our deep technologies. This role involves collaborating with subject matter experts to develop SEO-optimized content that communicates complex technical concepts to both technical and non-technical audiences.Key Responsibilities:Lead...

  • Technology Research Lead

    4 weeks ago

    Sydney, New South Wales, Australia Balance Recruitment Full time

    Job DescriptionBalance Recruitment is seeking a highly skilled and experienced Technology Research Lead to join our team in Sydney.The Technology Research Lead will be responsible for providing expert technical advice and guidance to our clients across various industries.This role will involve conducting independent research, experimenting with new...

  • Technical Test Lead

    2 days ago

    Sydney, New South Wales, Australia Pyramid Global Technologies Full time

    **Job Overview**We are seeking a highly skilled Technical Test Lead to join our team at Pyramid Global Technologies in Sydney and Melbourne. As a key member of our project team, you will be responsible for leading the system verification process, ensuring that our solutions meet the highest standards of quality.**Salary:** $120,000 - $150,000 per annum,...

  • Software Verification Researcher Position at UNSW Australia

    1 week 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...

  • Technology Professional

    4 weeks ago

    Sydney, New South Wales, Australia Balance Recruitment Full time

    Key ResponsibilitiesManage and support projects to explore in detail aspects of the systems, platforms, and standards.Liaise with the higher education sector, think-tanks, industry, and independent analysts to inform horizon scanning, to understand the latest trends, and to use this knowledge to advise operations.Act as a technology evangelist, providing a...