PhD Opportunity in Concurrency Verification

7 days ago


Canberra, ACT, Australia European Association for Programming Languages and Systems (EAPLS) Full time

**About the Job**

We are seeking a highly motivated and talented individual to join our research team as a PhD student. This is an exciting opportunity to explore the area of concurrency verification, with a focus on rely/guarantee reasoning and separation logic.

The successful candidate will have the opportunity to work on a flexible topic of their choice, negotiated with the research supervisor based on their interests and background. Possible topics may include:

  • Verification of non-blocking algorithms
  • Exploring relationships between different verification approaches
  • Improving counterexample understanding in model checking
  • Temporal logic, bisimulation, and hyperproperties

**Key Responsibilities**

Develop expertise in concurrency verification using rely/guarantee reasoning and separation logic

Conduct original research under the supervision of the principal investigator

Publish research findings in top-tier conferences and journals

Collaborate with other researchers in the field

**What We Offer**

A fully funded PhD scholarship covering tuition fees and living expenses

Opportunities for professional development and networking

Access to state-of-the-art research facilities and equipment

**How to Apply**

To be considered for this opportunity, please submit your application package, including a cover letter, CV, and academic transcripts, via email to the specified contact address.



  • Canberra, ACT, Australia European Association for Programming Languages and Systems (EAPLS) Full time

    **Position Description**We are seeking a skilled researcher to join our team at the Australian National University (ANU) as a Senior Research Assistant for PhD studies. This position involves working closely with the research supervisor to explore the area of concurrency verification.The ideal candidate will have a strong background in computer science and...


  • Canberra, ACT, Australia European Association for Programming Languages and Systems (EAPLS) Full time

    **Research Assistantship Opportunity**We are seeking a highly skilled researcher to join our team at the European Association for Programming Languages and Systems (EAPLS) as a Postdoctoral Fellow in Verification Science. This position involves working closely with the research supervisor to explore the area of concurrency verification.The ideal candidate...


  • Canberra, ACT, Australia European Association for Programming Languages and Systems (EAPLS) Full time

    **Job Overview**We are seeking a skilled researcher to join our team at the Australian National University (ANU) as a Senior Research Assistant for PhD studies. This position involves working closely with the research supervisor to explore the area of concurrency verification.The ideal candidate will have a strong background in computer science and...


  • Canberra, ACT, Australia The Flying Locksmiths South Bend Full time

    Global South PhD Scholarship: The Australian National University (ANU) is offering a PhD position for a Global South applicant as part of the ARC Future Fellowship project on Humanitarian Emergencies & Forced Displacement. This scholarship provides an exciting opportunity to conduct cutting-edge research focusing on displacement contexts and humanitarian...

  • SOE Verification

    6 days ago


    Canberra, ACT, Australia Leidos Full time

    DescriptionSOE Verification & Validation (V&V) – Test LeadOur team feel Leidos is a great place to work. Learn more about our culture and benefits by visiting us here https://www.leidos.com/company/global/australia/careersDo Work That MattersLeidos Australia delivers IT and airborne solutions that protect and advance the Australian way of life. Our 2000...

  • SOE Verification

    3 weeks ago


    Canberra, ACT, Australia Leidos Full time

    Description SOE Verification & Validation (V&V) – Test Lead Our team feel Leidos is a great place to work. Learn more about our culture and benefits by visiting us here Do Work That Matters Leidos Australia delivers IT and airborne solutions that protect and advance the Australian way of life.  Our 2000 local experts, backed by our global...

  • SOE Verification

    3 weeks ago


    Canberra, ACT, Australia Leidos Full time

    Description SOE Verification & Validation (V&V) – Test LeadOur team feel Leidos is a great place to work. Learn more about our culture and benefits by visiting us here https://www.leidos.com/company/global/australia/careersDo Work That MattersLeidos Australia delivers IT and airborne solutions that protect and advance the Australian way of life.  Our...


  • Canberra, ACT, Australia The Flying Locksmiths South Bend Full time

    What We OfferWe offer a unique opportunity to contribute to cutting-edge research in the field of humanitarian emergencies and forced displacement. As a PhD scholar, you will have the chance to:Work on a prestigious ARC Future Fellowship project, focused on Humanitarian Emergencies & Forced Displacement.Conduct research in a dynamic and collaborative...


  • Canberra, ACT, Australia FindAPhD Full time

    Atomic Layer Deposition of Novel Nanolayer Materials for Solar CellsDr Lachlan Black, Prof D MacdonaldApplications accepted all year roundFunded PhD Project (Students Worldwide)Solar photovoltaics (PV) has emerged as THE breakthrough technology which will underpin the coming clean energy transition and allow us to address the epochal challenge of climate...


  • Canberra, ACT, Australia WSP in Australia Full time

    As a Senior Civil Engineer at WSP in Australia, you will be part of a team that delivers innovative and sustainable solutions to create accessible, resilient and liveable communities. We are passionate about tackling the complex and sophisticated challenges of the built environment and making a positive impact on society.The successful candidate will have...


  • Canberra, ACT, Australia WSP in Australia Full time

    We are looking for a skilled Senior Civil Engineer to join our Canberra office as part of our Property and Buildings team. As a leader in the Australian market, we deliver innovative and sustainable solutions to create accessible, resilient and liveable communities.The successful candidate will have solid industry experience on Australian civil engineering...


  • Canberra, ACT, Australia WSP in Australia Full time

    We are seeking an experienced Senior Civil Engineer to join our Canberra office as part of our Property and Buildings team. As a key member of our team, you will play a crucial role in delivering innovative and sustainable solutions to create accessible, resilient and liveable communities.The successful candidate will have solid industry experience on...


  • Canberra, ACT, Australia Leidos Full time

    Company Overview: Leidos Australia is a leading provider of IT and airborne solutions that protect and advance the Australian way of life. Our team of 2000 local experts, backed by our global experience and network of partners, are working to solve the world's toughest challenges in government, intelligence, defence, aviation, border protection and health...


  • Canberra, ACT, Australia WSP in Australia Full time

    WSP in Australia is a world-leading management and technical consultancy operating across all sectors. We are passionate about tackling the complex and sophisticated challenges of the built environment and delivering innovative and sustainable solutions to create accessible, resilient and liveable communities.Our Property and Buildings team is a leading...


  • Canberra, ACT, Australia NXTGIG Full time

    NXT GIG is a fast-paced IT services company that requires a highly motivated and organized Accounts Payable Specialist to join our finance team.About the Opportunity:This role involves managing the company's outgoing payments, verifying invoices, and maintaining accurate records of all accounts payable activities. The ideal candidate will possess strong...

  • Senior Civil Engineer

    2 weeks ago


    Canberra, ACT, Australia WSP In Australia Full time

    What if you could do the kind of work the world needs? At WSP, you can access our global scale, contribute to landmark projects and connect with the brightest minds in your field to do the best work of your life.You can embrace your curiosity in a culture that celebrates new ideas and diverse perspectives.You can experience a world of opportunity and the...


  • Canberra, ACT, Australia Kirra Services Full time

    **Job Overview:**Kirra Services is a leading Supply Nation Certified ICT Service Provider, specialising in Hardware and Software procurement for Government, Corporate and Education sectors.We are currently seeking an experienced Senior Project Manager to join our team. The successful candidate will be responsible for delivering concurrent projects to tight...


  • Canberra, ACT, Australia KBR Full time

    KBR is a global company that delivers science, technology, and engineering solutions to governments and companies around the world. Our team of innovators, thinkers, creators, explorers, volunteers, and dreamers share one goal - to improve the world.We are proud to have delivered some of Australia's largest and most complex projects for 65 years, employing...


  • Canberra, ACT, Australia WSP in Australia Full time

    What if you could do the kind of work the world needs?At WSP, you can access our global scale, contribute to landmark projects and connect with the brightest minds in your field to do the best work of your life. You can embrace your curiosity in a culture that celebrates new ideas and diverse perspectives. You can experience a world of opportunity and the...


  • Canberra, ACT, Australia WSP in Australia Full time

    **Company Overview**At WSP, we empower our employees to foresee future trends, deliver with passion, and shape the world through mentorship and innovative development programs.We are a global team of over 69,000 talented individuals who share your passion for making a positive impact. Our collective includes engineers, scientists, project managers,...