Senior Research Assistant for PhD Studies

6 days ago


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 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 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 Scottish Dementia Research Consortium Full time

    Your ResponsibilitiesWe are seeking an Early Career Researcher to join our team at the University of the West of Scotland and Alzheimer Scotland's Centre for Policy and Practice. As a PhD student, you will work under the supervision of experienced researchers to explore meaningful activities and interactions in care home environments.


  • Canberra, ACT, Australia Scottish Dementia Research Consortium Full time

    You may have read over the past few weeks we have been sharing blogs from Early Career Researchers on how COVID has been impacting their research and career prospects.Today's blog is by Angela Gregory, PhD Student at the University of the West of Scotland and Alzheimer Scotland's Centre for Policy and Practice.A PhD COVID-19 First-aid KitI joined the...


  • 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 Association for Cryptologic Research Full time

    This position is funded by the ARC Discovery Grant over three years starting from Jan. 2025. The RA/SRA position is situated within the School of Systems and Computing, University of New South Wales, Canberra. As a member of a research team, the Postdoctoral Fellow will undertake research as directed by the Team Leader. The position will involve research...


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


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


  • Canberra, ACT, Australia Euraxess Full time

    Position OverviewThe ANU College of Law is a world-leading institution, providing unique undergraduate, postgraduate, and research degrees. This role offers an exceptional opportunity to contribute to research and academic excellence.As a Study Coordinator Research Officer, you will be part of the DHEWS team, working closely with Prof Nicolas Cherbuin and...


  • 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 International Association for Cryptologic Research Full time

    This role is situated within the School of Systems and Computing, University of New South Wales, Canberra. As a member of a research team, you will undertake research as directed by the Team Leader. The position involves research activity in multidisciplinary settings requiring skills in cryptography, machine learning, and biometrics.Key...


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

    About the RoleThis exciting opportunity is part of our dynamic research team focused on developing a comprehensive view of the interconnections between industries and the environment within both the Australian and global economies.Key ResponsibilitiesApply specialist technical skills in economics and environmentally extended input-output analysis to inform...


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

    Key ResponsibilitiesThis Research Coordinator position is an excellent opportunity to join our team at the ANU College of Law. As a key member of our research team, you will be responsible for coordinating and supporting several epidemiological and clinical studies.Your Key Responsibilities:Manage data collection, scheduling of appointments, and...


  • Canberra, ACT, Australia FindAPhD Full time

    Job DescriptionWe are seeking a highly motivated PhD researcher to contribute to the development of novel nanolayer materials for high-efficiency solar cells. The successful candidate will employ atomic layer deposition (ALD) techniques to fabricate dielectric and transparent conductive materials, including oxides, nitrides, and sulphides. They will...


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

    Job OverviewCircular economy faces significant challenges due to a lack of localized and regional insights. This role seeks to address this research gap 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...


  • Canberra, ACT, Australia International Association for Cryptologic Research Full time

    The University of New South Wales, Canberra, offers an exciting opportunity for a senior researcher in machine learning and biometrics. The successful candidate will be part of a research team undertaking research activities in multidisciplinary settings.Key ResponsibilitiesConduct research activity in multidisciplinary settings requiring skills in machine...


  • Canberra, ACT, Australia International Association for Cryptologic Research Full time

    The position is funded by the ARC Discovery Grant over three years starting from January 2025. This opportunity is situated within the School of Systems and Computing, University of New South Wales, Canberra.About the RoleUndertake research as directed by the Team LeaderConduct research activity in multidisciplinary settings requiring skills in cryptography,...


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

    Classification: ANU Officer 5/6 (Research)Salary package:$83,351 - $97,929 per annum plus 17% superannuationTerms: Part time (up to 21 hours, 0.6 FTE), Fixed term (up to 2 years) The Research Officer is part of the DHEWS team and reports to Prof Nicolas Cherbuin, at the National Centre for Epidemiology and Population Health. The Research Assistant will work...


  • Canberra, ACT, Australia Euraxess Full time

    Organisation/Company: AUSTRALIAN NATIONAL UNIVERSITY (ANU)Research Field: LiteratureResearcher Profile: Recognised Researcher (R2), First Stage Researcher (R1)Country: AustraliaApplication Deadline: 23 Mar 2025 - 00:00 (UTC)Type of Contract: OtherJob Status: Part-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU...


  • Canberra, ACT, Australia AFG Inc Full time

    Are you looking for a flexible way to earn money? Do you enjoy sharing your opinions on products and services? Join AFG Inc's market research program and earn up to $1550/week by participating in focus groups, clinical trials, and other research studies.About Our ProgramWe partner with businesses to gather consumer feedback and help them make informed...