PhD Opportunity in Concurrency Verification
7 days ago
**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...
-
Senior Research Assistant for PhD Studies
7 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...
-
Researcher Position at ANU
7 days ago
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 timeGlobal 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 timeDescriptionSOE 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 timeDescription 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 timeDescription 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 timeWhat 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 timeAtomic 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...
-
Civil Engineering Team Lead
1 day ago
Canberra, ACT, Australia WSP in Australia Full timeAs 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...
-
Senior Engineering Project Manager
1 day ago
Canberra, ACT, Australia WSP in Australia Full timeWe 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...
-
Australia Property and Buildings Expert
1 day ago
Canberra, ACT, Australia WSP in Australia Full timeWe 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...
-
Verification Specialist
7 days ago
Canberra, ACT, Australia Leidos Full timeCompany 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...
-
Infrastructure Development Specialist
1 day ago
Canberra, ACT, Australia WSP in Australia Full timeWSP 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...
-
Invoice Verification Clerk
5 days ago
Canberra, ACT, Australia NXTGIG Full timeNXT 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 timeWhat 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...
-
Project Management Expert
1 day ago
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...
-
Verification and Validation Engineer
2 days ago
Canberra, ACT, Australia KBR Full timeKBR 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...
-
Senior Civil Engineer
1 day ago
Canberra, ACT, Australia WSP in Australia Full timeWhat 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...
-
Career Opportunities at WSP
2 days ago
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,...