Software Verification Research Scientist
2 days ago
About the Position
UNSW 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 Role
In this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing use cases. This includes programming work to refine the front end, the back end, and the user interface.
Key Responsibilities
- Enhance the MCK codebase, testing and applying the system.
- Develop use cases for software verification and synthesis.
- Work on the front end, back end, and user interface of the MCK.
About UNSW Australia
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.
What We Offer
- A competitive salary package.
- A dynamic and inclusive work environment.
- Ongoing training and professional development opportunities.
How to Apply
Applications should be submitted through the UNSW Australia website.
-
Research Associate in Software Verification
4 weeks ago
Sydney, New South Wales, Australia UNSW Australia Full timeJob OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will work on enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.Key...
-
Research Associate in Software Verification
1 month ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time. In this role, you will work on enhancing the MCK codebase, testing and applying the system, and...
-
Research Associate in Software Verification
1 month ago
Sydney, New South Wales, Australia UNSW Australia Full timeJob OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will work on enhancing the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.Key...
-
Research Associate in Software Verification
2 weeks ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the RoleThe School of Computer Science and Engineering at UNSW Australia is seeking a highly skilled Research Associate in Software Verification to join our team. As a Research Associate, you will play a key role in enhancing the MCK codebase, testing and applying the system, and developing use cases.Key ResponsibilitiesRefine the front end (parser,...
-
Research Associate in Software Verification
3 weeks ago
Sydney, New South Wales, Australia UNSW Australia Full timeJob OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.In this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing use...
-
Sydney, New South Wales, Australia UNSW Australia Full timeOverviewThe 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,...
-
Sydney, New South Wales, Australia UNSW Australia Full timeJob OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.In this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing...
-
Sydney, New South Wales, Australia UNSW Australia Full timeJob OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.In this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing...
-
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the OpportunityThe School of Computer Science and Engineering at UNSW Australia is seeking a Postdoctoral Fellow to work on the Model Checker MCK, a tool developed at CSE for software verification and synthesis using modal logics of knowledge and time.In this role, you will work on enhancing the MCK codebase, testing and applying the system, and...
-
Research and Development Scientist
2 days ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the OpportunityThe Garvan Institute of Medical Research is seeking an experienced R&D Scientist to join its team. As a key member of the research team, you will contribute to the design, validation, and implementation of new molecular assays and workflows in Next Generation Sequencing, Cellular Genomics, and Spatial Technologies. Your expertise will...
-
Sydney, New South Wales, Australia UNSW Australia Full timeThe 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...
-
Senior Research Scientist
3 weeks ago
Sydney, New South Wales, Australia Victor Chang Cardiac Research Institute - VCCRI Full timeAbout the RoleWe are seeking an exceptional scientist or clinician-scientist to lead a research program in cardiometabolic research at the Victor Chang Cardiac Research Institute (VCCRI). The successful candidate will have a strong national and international scientific reputation, with a track record of achieving a substantive body of research that is making...
-
Research Scientist
3 weeks ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the RoleWe are seeking a highly motivated and experienced Research Officer to join our team at the Garvan Institute of Medical Research. The successful candidate will be responsible for conducting independent research projects, collaborating with senior scientists, and contributing to the development of new medical therapies.Key ResponsibilitiesConduct...
-
Research Scientist
2 weeks ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeThe Garvan Genomics Platform is a cutting-edge facility that provides accredited Cellular Genomics, Spatial and NGS services to medical researchers. We are seeking an experienced R&D Scientist to work on the identification, development and validation of new protocols and service offerings.About the RoleThe successful candidate will work independently and...
-
Research Scientist
4 weeks ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the RoleWe are seeking a highly motivated and experienced Research Officer to join our team at the Garvan Institute of Medical Research. The successful candidate will be responsible for conducting independent experiments within their research platform, collaborating with senior scientists, and contributing to the development of next-generation medical...
-
Research Scientist
2 months ago
Sydney, New South Wales, Australia The Garvan Institute of Medical Research Full timeAbout the OpportunityWe are seeking an exceptional and motivated scientist to join our dynamic team at the Garvan Institute of Medical Research. As a Snow Postdoctoral Researcher, you will be part of a unique network and have the opportunity to lead significant projects and develop new skills in a supportive environment with a strong emphasis on scientific...
-
AI Research Scientist
3 weeks ago
Sydney, New South Wales, Australia The Drive Group Full timeJob Title: AI Research ScientistAbout the Role:We are seeking an AI Research Scientist to join our team at The Drive Group. As an AI Research Scientist, you will be responsible for researching and developing foundational Generative AI models with the latest technology and tools in the AI space.Key Responsibilities:Transform and train Data Science products...
-
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeThe Garvan Genomics Platform aims to support medical researchers in achieving their goals by providing accredited Cellular Genomics, Spatial and NGS services.Job Overview:The R&D Scientist will work on developing and validating new protocols and service offerings within the laboratories, ensuring compliance with NATA regulations and ISO17025...
-
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeThe Garvan Institute of Medical Research is seeking a highly skilled Computational Scientist to join our team in the Computational Biology group. As a key member of our team, you will collaborate with researchers to develop and apply AI and Machine Learning methods for complex biological data analysis.About the OpportunityWe are looking for a talented...
-
Radiopharmaceutical Research Scientist
1 week ago
Sydney, New South Wales, Australia Talent Focus Full timeAbout the RoleWe're seeking a dedicated and innovative Radiopharmaceutical Research Scientist to join our client's team. The successful candidate will play a crucial role in the research, development, and provision of radiopharmaceuticals, contributing to advancements in nuclear medicine treatments and biological investigations. This position offers an...
