Senior Software Verification Specialist

4 days ago

Sydney, New South Wales, Australia UNSW Australia Full time

Opportunity for Postdoctoral Research Associate

">

The School of Computer Science and Engineering at UNSW Australia is seeking highly qualified candidates for a postdoctoral research associate position in software verification. The successful candidate will have the opportunity to work on enhancing the MCK codebase, testing and applying the system, and developing use cases.

About the Role

">
  • ">
  • This role involves working on programming projects 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.">
  • 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.">
    • ">
    • This position offers a competitive salary package, including $110,059 - $117,718 per annum + 17% superannuation.">
    • The full-time position is fixed-term for 9 months.">
    • Located in Kensington, Sydney, Australia.">
    • Australian work rights are required.">
      • ">
      • About UNSW Australia">

UNSW Australia is a world-renowned institution known for its cutting-edge research and academic excellence. We offer a unique and dynamic environment that fosters innovation and creativity.

">

We value diversity and inclusion and welcome applications from candidates who share our commitment to these values.

">
  • ">
  • Required Skills and Qualifications">
    • ">
    • PhD in a related discipline or relevant work experience in computer science or a numerate discipline.">
    • Strong skills in functional programming (specifically, Haskell) and C and Unix.">
    • Experience with user interface development using windowing toolkits.">
    • Knowledge of logic and discrete mathematics.">
    • Experience with 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 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.">
      • ">
      • How to Apply">

Please click the apply now button and submit your CV, Cover Letter, and Responses to the Skills and Experience listed within the position description.

">Contact">

Eugene Aves – Talent Acquisition Consultant.

">
  • ">
  • Salary Package">

Competitive salary package, including $110,059 - $117,718 per annum + 17% superannuation, as well as a range of other benefits.

">
  • ">
  • Benefits">

Full-time position, fixed-term for 9 months.

">

Located in Kensington, Sydney, Australia.

">

Australian work rights are required.

">

This role reports to Prof Ron Van der Meyden and has no direct reports.

">

Opportunities for professional development and growth.

">
  • ">
  • Additional Information">

For more information about this position, please refer to the position description.

">

Applicants must already have Australian work rights.

">

Applicants should systematically address the Skills and Experience listed within the position description in their application.

">

Applications will not be accepted via email or any other means outside of the online application portal.

">
  • ">
  • About UNSW">

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

">

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

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

  • Senior Verification Specialist

    4 weeks ago

    Sydney, New South Wales, Australia ResMed Full time

    The Verification and Validation (V&V) team at ResMed plays a crucial role in ensuring the quality and reliability of our products.As a Senior Verification Specialist, you will be responsible for verifying and validating the end-to-end system and design of our products prior to release.Key responsibilities include:Designing and automating effective test...

  • 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

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

  • Software Verification Research Scientist

    3 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 Project Verification Specialist

    6 days ago

    Sydney, New South Wales, Australia Alstom Full time

    About AlstomAlstom is a global leader in the rail industry, providing innovative solutions for sustainable mobility. Our team of over 80,000 professionals work together to connect cities and reduce carbon emissions worldwide.Job OverviewWe are seeking a Senior Project Verification Specialist to join our Sydney-based team. This role will involve working on...

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

  • Software Verification Researcher

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

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

  • Highly Skilled Software Verification Expert Wanted

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

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

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

  • Senior Software Developer

    4 weeks ago

    Sydney, New South Wales, Australia Dew Software Full time

    About the Role:We are seeking a skilled Senior Software Developer to join our team at {company}.As a key member of our development team, you will be responsible for designing, developing, and testing software applications using a variety of programming languages and technologies.Develop and implement software solutions to meet business...

  • Computer Verification Expert

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

  • Senior Verification and Validation Engineer

    2 weeks ago

    Sydney, New South Wales, Australia Alstom Full time

    About AlstomWe are a global leader in the transportation industry, providing innovative solutions for high-speed trains, metros, and other rail systems. Our diverse portfolio of products and services supports our customers' needs for greener and smarter mobility.Job DescriptionThe Senior Project V&V Engineer will work on delivering ETCS / ERTMS level 2...

  • Senior Technical Support Specialist

    4 days ago

    Sydney, New South Wales, Australia Aptitude Software Full time

    Aptitude Software is seeking a skilled Senior Technical Support Specialist to join our team. With over 20 years of experience in serving the offices of finance, we have established ourselves as a trusted partner for delivering financial control and insights.About the RoleThis is an exciting opportunity to work with a dynamic team and make a real impact. As a...

  • Postdoctoral Research Scientist in Software Verification

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

  • Senior Verification and Validation Expert

    3 days ago

    Sydney, New South Wales, Australia Alstom Full time

    Job DescriptionAbout AlstomAt Alstom, we strive to create greener and smarter mobility solutions. Our diverse portfolio caters to various transport networks, from high-speed trains to digital mobility systems.Role OverviewWe are seeking a skilled Senior Project Verification and Validation Engineer with ETCS/ERTMS level 2 delivery experience to join our...

  • Software Development Engineer for Verification and Synthesis

    4 days ago

    Sydney, New South Wales, Australia UNSW Australia Full time

    About the Opportunity">We are seeking a highly skilled Software Development Engineer to join our team at UNSW Australia. As a Research Programmer, you will play a key role in enhancing the MCK codebase, testing and applying the system, and developing use cases.">Key Responsibilities">">Refine the front end (parser, type checker, and compilation) of the MCK...

  • Senior Verification and Validation Expert

    2 weeks ago

    Sydney, New South Wales, Australia Alstom Full time

    Company OverviewWe are Alstom, a global leader in the rail transport industry. Our diverse portfolio includes high-speed trains, metros, monorails, trams, turnkey systems, services, infrastructure, signalling, and digital mobility solutions.SalaryAs a Senior Project Verification & Validation Engineer with ETCS / ERTMS level 2 delivery experience, you can...