Postdoctoral Fellowship in Verification Science

6 days ago


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 experience with rely/guarantee reasoning and separation logic. The successful applicant will contribute to the development of new verification techniques and collaborate with other researchers in the field.

**Key Responsibilities**

Work under the supervision of the principal investigator to develop new verification techniques

Contribute to the design and implementation of experiments and case studies

Collaborate with other researchers to publish research findings

**What We Offer**

A competitive salary and benefits package

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 Euraxess Full time

    Role SummaryThis postdoctoral fellowship provides an exciting opportunity to work with a world-class research team on a project focused on extreme rainfall in compound events. As a research scientist, you will contribute to developing innovative methodologies, collaborating with stakeholders, and advancing knowledge of Australia's future climate.Key...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    Postdoctoral Fellowship in Regional Circular EconomyConduct research into the implementation of effective sustainability practicesCollaborate with Australia's leading scientists and government & industry partnersJoin CSIRO – Australia's Premier Science Agency – and grow your research careerCSIRO Early Research Career (CERC) Postdoctoral Fellowships...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    About the PositionThis CERC Fellowship is an exciting opportunity for a researcher to contribute to the development of comprehensive material flow analyses and policy frameworks tailored to the diverse needs of local and state governments.The successful candidate will gather quantitative material flow data to craft circular economy solutions, reduce virgin...


  • 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 Bright Horizons Family Solutions Full time

    **About the Role**We are seeking a highly skilled and motivated Postdoctoral Fellow to join our research team. The successful candidate will have a Ph.D. in a relevant field and a strong background in Climate Science. You will be responsible for conducting research to investigate small scale atmospheric and oceanic processes and their role in setting the...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    Job DescriptionThe International Society for Industrial Ecology is seeking a highly motivated Postdoctoral Researcher to join our team. The successful candidate will contribute to the development of comprehensive material flow analyses and policy frameworks tailored to the diverse needs of local and state governments, ensuring the implementation of effective...


  • Canberra, ACT, Australia MPOWIR Mentoring Physical Oceanography Women to Increase Retention Full time

    Postdoctoral research positions – UNSW-ANU-GFDL ARC Discovery Project There are currently 2 x postdoctoral research appointments under a joint UNSW-ANU-GFDL ARC Discovery Projectaiming to understand the processes driving warm water intrusions onto the Antarctic continental shelf. One position will be located at the University of New South Wales in Sydney,...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    At the International Society for Industrial Ecology, we are seeking a highly skilled Postdoctoral Research Fellow to contribute to our mission of promoting sustainable practices in regional economies.About the RoleThis CERC Fellowship is designed to address the research gap in localized and regional insights for Australia's push towards a circular economy....


  • Canberra, ACT, Australia Bright Horizons Family Solutions Full time

    **Job Description**The Research School of Earth Sciences (RSES) at the Australian National University (ANU) is seeking a highly motivated and talented Postdoctoral Fellow to join our team. As a key member of our research community, you will be working in the new ARC Centre of Excellence for Weather of the 21st Century.Your primary responsibilities will...

  • Postdoctoral Fellow

    9 hours ago


    Canberra, ACT, Australia Bright Horizons Family Solutions Full time

    Classification: Academic Level ASalary package: $85,010 - $106,702 per annum plus 17% superannuationTerms: Full-time, Continuing (contingent funded)This position is continuing (contingent funded). The funding that supports this project has an expected end date of 31 December 2028.Position OverviewThis is a key role for early career research academic to work...

  • Fellowship in Genomics

    21 hours ago


    Canberra, ACT, Australia Bright Horizons Family Solutions Full time

    Opportunity OverviewWe are looking for a talented researcher to join our team as a Postdoctoral Fellow in biodiversity and biosecurity genomics. As a key member of our team, you will contribute to cutting-edge research, working on applied genomics projects that span from genome assembly to comparative genomics, long-read amplicon diagnostics, and...


  • Canberra, ACT, Australia Unist Full time

    Organisation/Company: AUSTRALIAN NATIONAL UNIVERSITY (ANU)Research Field: Environmental science, GeosciencesResearcher Profile: First Stage Researcher (R1)Country: AustraliaApplication Deadline: 10 Apr 2025 - 00:00 (UTC)Type of Contract: PermanentJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU...


  • Canberra, ACT, Australia Euraxess Full time

    Organisation/Company: AUSTRALIAN NATIONAL UNIVERSITY (ANU)Research Field: Environmental science, GeosciencesResearcher Profile: First Stage Researcher (R1)Country: AustraliaApplication Deadline: 10 Apr 2025 - 00:00 (UTC)Type of Contract: PermanentJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    We are seeking an expert in industrial ecology and policy development to join our team at the International Society for Industrial Ecology. As a Postdoctoral Research Fellow, you will contribute to our mission of promoting sustainable practices in regional economies.About the RoleThis CERC Fellowship aims to address the research gap in localized and regional...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    We are seeking a Circular Economy Expert to join our team at the International Society for Industrial Ecology. As a Postdoctoral Research Fellow, you will contribute to our mission of promoting sustainable practices in regional economies.About the ProjectThe goal of this CERC Fellowship is to develop comprehensive material flow analyses and policy frameworks...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    We are seeking an experienced Sustainability Specialist to join our team at the International Society for Industrial Ecology. As a Postdoctoral Research Fellow, you will play a critical role in advancing our understanding of regional circular economies and developing innovative solutions to promote sustainable practices.About the ProjectThe goal of this CERC...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    Materials Research PositionThis CERC Fellowship aims to address the research gap in circular economy by developing comprehensive material flow analyses and policy frameworks tailored to the diverse needs of local and state governments.The successful candidate will gather quantitative material flow data to craft circular economy solutions, reduce virgin...


  • Canberra, ACT, Australia International Society for Industrial Ecology Full time

    Sustainability Research OpportunitiesThis CERC Fellowship offers a unique opportunity for a researcher to develop comprehensive material flow analyses and policy frameworks tailored to the diverse needs of local and state governments.The successful candidate will gather quantitative material flow data to craft circular economy solutions, reduce virgin...


  • 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 Bright Horizons Family Solutions Full time

    Classification: Academic Level A / BSalary package: $85,010 - $131,227 per annum plus 17% superannuationTerm: Full Time, Continuing (Contingent Funded)This position is continuing (contingent funded). The funding that supports this project has an expected end date of 31 December 2027.Position OverviewThe key role is to perform original cutting-edge research...