Senior Research Scientist in Formal Verification
2 days ago
The 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 Opportunity
This 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 Research Scientist, you will work on enhancing the Model Checker MCK codebase, testing and applying the system, and developing use cases.
Key responsibilities include:
- Programming work to refine the front end (parser, type checker, and compilation to lower-level representations), the back end (algorithms for model checking and synthesis using BDDs, SAT solvers, and SMT solvers), and the user interface (debugging and state space visualization)
- Verification for the Solidity smart contract language, in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm
- Developing use cases in computer security, smart contract verification, and autonomous systems
About the Role
This position reports to Prof. Ron Van der Meyden and has no direct reports.
Key requirements include:
- A PhD in a related discipline, and/or relevant work experience in computer science or a numerate discipline
- Knowledge and strong skills in functional programming (specifically, Haskell), C and Unix
- Experience with user interface development using windowing toolkits
- Knowledge of logic and discrete mathematics
- Experience with the use of tools applying logic in computer science
- Knowledge of algorithms for software verification and synthesis
- Knowledge and experience with smart contract programming in Solidity
- Knowledge of common software vulnerabilities in Solidity code, and attack methodologies
- Knowledge of programming language theory, type theory and static analysis
About UNSW
UNSW Australia is one of the largest and most prestigious schools of computing in Australia. We offer undergraduate programmes in Software Engineering, Computer Engineering, Computer Science, and Bioinformatics, as well as a number of combined degrees with other disciplines.
Our research and teaching staff are world leading and world building as they advance knowledge and learning.
We value diversity, equity, and inclusion, and we encourage applications from people of diverse backgrounds and experiences.
We provide a competitive salary package, including a base salary of approximately AUD $113,000 per annum, plus 17% superannuation.
The successful candidate will be based in Kensington, Sydney, Australia, and must already have Australian work rights.
-
Senior Research Scientist
4 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
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 research projects, collaborating with senior scientists, and contributing to the development of new medical therapies.Key ResponsibilitiesConduct...
-
Research and Development Scientist
4 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...
-
Research Scientist
3 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...
-
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...
-
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...
-
Computational Scientist – AI Researcher
2 days ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the OpportunityWe are seeking a highly skilled Computational Scientist – AI Researcher to join our team at the Garvan Institute of Medical Research.This is a 2-year contract with the possibility of extension. As a key member of our research team, you will work closely with scientists from various disciplines to develop and apply artificial...
-
Senior Clinical Research Scientist
1 month ago
Sydney, New South Wales, Australia Pharmiweb Full timeJob Title: Senior Clinical Scientist/Medical MonitorAs a Senior Clinical Scientist/Medical Monitor at ICON, you will be part of a dynamic team that is shaping the future of clinical research. We are seeking an experienced professional to lead specific aspects of clinical/scientific execution of clinical protocol(s).Key Responsibilities:Lead Clinical...
-
Sydney, New South Wales, Australia University of New South Wales Full timePostdoctoral Research Fellow/Implementation ScientistJoin the University of New South Wales as a Postdoctoral Research Fellow/Implementation Scientist and contribute to the development of innovative asthma programs. This fixed-term position will work closely with our expert groups to bring the evidence base up to date, coordinate the co-design of...
-
Software Verification Research Scientist
5 days 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...
-
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...
-
Genomics Research Scientist
2 days ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the Role:Garvan Institute of Medical Research is seeking a highly skilled Genomics Research Scientist to join our Translational Genomics Program. The successful candidate will work with Dr Drew Neavin to explore the impact of biological variation on molecular phenotypes in single cells.The role involves developing, running, and maintaining single-cell...
-
Research Associate in Software Verification
2 months 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
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...
-
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 Scientist
18 hours ago
Sydney, New South Wales, Australia Garvan Institute of Medical Research Full timeAbout the RoleAre you a highly skilled and motivated Research Assistant looking for a new challenge? We are seeking an experienced Research Assistant to join our team at the Garvan Institute of Medical Research in Sydney. As a Research Assistant, you will play a key role in conducting experiments within your research platform, working collaboratively with...
-
Senior Clinical Research Scientist
3 weeks ago
Sydney, New South Wales, Australia KE Select Full timeAbout the RoleWe are seeking a highly skilled Clinical Research Scientist to join our team at KE Select. As a Clinical Research Scientist, you will be responsible for designing, setting up, conducting, analyzing, and writing up clinical studies related to our organization's products and specific research areas in infection control.Key ResponsibilitiesReview...
-
Radiopharmaceutical Research Scientist
2 weeks 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...
-
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,...
