Research Associate in Software Verification
3 weeks ago
About the Role
The 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 Responsibilities
- Refine the front end (parser, type checker, and compilation to lower-level representations)
- Enhance the back end (algorithms for model checking and synthesis using BDDs, SAT solvers, and SMT solvers)
- Develop the user interface (debugging and state space visualization)
- Contribute to verification for the Solidity smart contract language in collaboration with Hashlock Pty Ltd
About You
We are looking for a highly motivated individual with a PhD in a related discipline, and/or relevant work experience in computer science or a numerate discipline. You should have strong skills in functional programming (specifically, Haskell), C and Unix, as well as knowledge of algorithms for software verification and synthesis.
What We Offer
UNSW Australia offers a dynamic and supportive work environment, with opportunities for professional growth and development. You will have the opportunity to work with a team of leading researchers and industry experts, and contribute to cutting-edge projects in software verification.
How to Apply
To apply, please submit your CV, Cover Letter and Responses to the Skills and Experience listed in the position description. We welcome applications from candidates with diverse backgrounds and experiences.
About UNSW Australia
UNSW Australia is a world-leading research university, with a strong commitment to innovation and excellence. We are dedicated to creating a diverse and inclusive community, and strive to provide a work environment that is supportive and fulfilling.
Contact Information
Please note that applications will not be accepted if sent to the contact listed below. We are committed to evolving a culture that embraces equity and supports a diverse and inclusive community.
-
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 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 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...
-
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...
-
Software Verification Research Specialist
5 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the RoleWe are seeking a highly skilled Software Verification Research Specialist to join our team at UNSW Australia.Job SummaryThis is an exciting opportunity for a Postdoctoral Fellow to work on enhancing the MCK codebase, testing and applying the system, and developing use cases for software verification and synthesis using modal logics of knowledge...
-
Software Verification Researcher
4 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the Role We are seeking a highly skilled and motivated Postdoctoral Fellow to join our team at UNSW Australia. As a Research Associate in Software Verification, you will play a key role in enhancing the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of knowledge and time.About the Opportunity In this...
-
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the OpportunityWe are seeking a highly skilled Postdoctoral Fellow to join our team at the School of Computer Science and Engineering (CSE) at UNSW Australia. As a Research Associate in Software Verification, you will play a key role in enhancing the MCK codebase, testing and applying the system, and developing use cases.Job DescriptionThe successful...
-
Sydney, New South Wales, Australia UNSW Australia Full timeEnhance Software Verification CapabilitiesWe are seeking a Research Programmer to join our team at the School of Computer Science and Engineering (CSE) at UNSW Australia.In this role, you will play a crucial part in refining the Model Checker MCK codebase, testing and applying the system, and developing use cases. Your responsibilities will include enhancing...
-
Software Verification Expert
1 week ago
Sydney, New South Wales, Australia UNSW Australia Full timeThe School of Computer Science and Engineering at UNSW Australia is seeking a talented Software Verification Expert to join our team. As a key member of our research group, you will be responsible for enhancing the Model Checker MCK codebase, testing and applying the system, and developing use cases.This role involves programming work to refine the front end...
-
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,...
-
Software Verification Research Scientist
2 weeks ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the PositionUNSW 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 RoleIn this role, you will work on enhancing the MCK codebase, testing and applying the system, and developing use cases. This includes...
-
Sydney, New South Wales, Australia UNSW Australia Full timeThe School of Computer Science and Engineering at UNSW Australia is seeking a skilled Senior Research Scientist in Formal Verification to join their team.About the OpportunityThis role offers a unique chance to contribute to cutting-edge research and development in software verification and synthesis using modal logics of knowledge and time. As a Senior...
-
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the Opportunity">UNSW Australia's School of Computer Science and Engineering is seeking a highly skilled Postdoctoral Fellow to work on software verification and synthesis using modal logics of knowledge and time.">The successful candidate will enhance the Model Checker MCK codebase, test and apply the system, and develop use cases. This includes...
-
Technical Research Associate
3 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeJob Description:A technical research associate position is available at the University of New South Wales (UNSW) Australia, with a focus on providing technical and research assistance to research projects and teams.The role involves attending research meetings and training sessions, taking minutes, responding to routine enquiries, and undertaking...
-
Research Associate
3 weeks ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeJoin a dynamic team of scientists at the Garvan Institute of Medical Research, a world-renowned leader in medical research, and contribute to groundbreaking discoveries in genomics and computational biology.About the OpportunityWe are seeking an exceptional Research Associate to join our team and contribute to the development of innovative research projects....
-
Clinical Research Associate
3 weeks ago
Sydney, New South Wales, Australia BeiGene Full timeJob Description:The Clinical Research Associate (CRA) plays a critical role in ensuring the successful execution of clinical trials within the pharmaceutical or Contract Research Organization (CRO) industry. As a key member of the study team, the CRA is responsible for monitoring and managing clinical trials from initiation to closeout.Key responsibilities...
-
Sydney, New South Wales, Australia Pharmiweb Full timeJob Summary:We are seeking an Associate Outcomes Researcher to join our team at Mapi Research Trust. As an Associate Outcomes Researcher, you will play a key role in conducting mixed-methods research, analyzing health outcomes data, and contributing to the advancement of innovative treatments and therapies through comprehensive outcomes research.Key...
-
Research Programmer Position
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 Research Programmer 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 enhance the MCK codebase, test and apply the system, and develop use cases....
-
Research Associate
4 weeks ago
Sydney, New South Wales, Australia University of South Australia Full timeAbout the RoleThe University of South Australia is seeking a highly skilled Research Associate to contribute to and conduct research inspired by real-world challenges for a number of academic and industry-focused research projects.Key ResponsibilitiesUndertake research under limited supervision to achieve project grant outcomes, including the synthesis and...