Software Verification Research Specialist
5 days ago
About the Role
We are seeking a highly skilled Software Verification Research Specialist to join our team at UNSW Australia.
Job Summary
This 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 and time.
Main Responsibilities
- Enhance the MCK codebase, develop new algorithms, and improve existing ones for model checking and synthesis.
- Collaborate with Hashlock Pty Ltd to verify Solidity smart contracts and develop use cases in computer security, smart contract verification, and autonomous systems.
- Work closely with Prof. van der Meyden and other team members to achieve project goals.
- Supervise Honours students and assist with their research projects.
Requirements
To be successful in this role, you will need:
- A PhD in Computer Science or a related field.
- Strong skills in functional programming (Haskell), C, and Unix.
- Experience with user interface development using windowing toolkits.
- Knowledge of logic and discrete mathematics.
- Experience with tools applying logic in computer science.
- Knowledge of algorithms for software verification and synthesis.
- Knowledge and experience with smart contract programming in Solidity.
About Us
UNSW Australia is a world-leading research university committed to creating a better future for society by focusing on high-impact interdisciplinary research and education that addresses real-world problems.
Salary and Benefits
The salary range for this position is $110,059 - $117,718 per annum, plus 17% superannuation.
UNSW Australia offers a range of benefits, including flexible working arrangements, professional development opportunities, and a supportive work environment.
-
Research Associate in Software Verification
3 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
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 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 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 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...
-
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 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 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...
-
Identification and Verification Specialist
4 weeks ago
Sydney, New South Wales, Australia Commonwealth Bank of Australia Full timeAt Commonwealth Bank of Australia, we're committed to delivering exceptional customer experiences through innovative technology and operations. As an Identification and Verification Specialist, you'll play a critical role in ensuring the accuracy and efficiency of our customer onboarding processes.The Identification and Verification team is responsible for...
-
Senior Verification Specialist
3 weeks ago
Sydney, New South Wales, Australia ResMed Full timeThe Verification and Validation (V&V) team at ResMed plays a crucial role in ensuring the quality and reliability of our products.As a Senior Verification Specialist, you will be responsible for verifying and validating the end-to-end system and design of our products prior to release.Key responsibilities include:Designing and automating effective test...
-
Sydney, New South Wales, Australia NSW Government Full timeAbout the RoleWe are seeking a highly skilled Software Engineer/Research and Capability Specialist to join our Advanced Capability Unit, State Crime Command. The successful candidate will contribute to the technical research, development, implementation, maintenance, and support of the NSWPF Digital Intelligence Support Capability.Key ResponsibilitiesConduct...
-
Research Officer
3 weeks ago
Sydney, New South Wales, Australia University of New South Wales Full timeKey ResponsibilitiesThis role is responsible for providing support to research projects, including data cleaning, data analysis, and fieldwork coordination. The successful candidate will be expected to work independently and as part of a team to ensure the smooth delivery of research projects.Key TasksConduct data cleaning and data analysis to ensure...
-
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 and Development Scientist
2 weeks 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...
