Software Verification Researcher Position at UNSW Australia
2 days ago
About the Opportunity
We 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 Description
The successful candidate will have a PhD in a related discipline and/or relevant work experience in computer science or a numerate discipline. You will have strong skills in functional programming (specifically, Haskell), C and Unix, as well as experience with user interface development using windowing toolkits.
You will be responsible for refining 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). Additionally, you will work on verification for the Solidity smart contract language in collaboration with Hashlock Pty Ltd, an Australian blockchain security audit firm.
Required Skills and Qualifications
- 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
- Proven commitment to proactively keeping up to date with discipline knowledge and developments
Benefits
This position offers a salary of $110,059 - $117,718 per annum, plus 17% superannuation. You will also have the opportunity to develop your scholarly research and professional activities by supporting the dissemination of research outcomes through appropriate channels and outlets. Additionally, you will assist with the supervision of students and engage with fellow researchers both at UNSW and other institutions.
About UNSW
UNSW is a leading research-intensive university committed to evolving a culture that embraces equity and supports a diverse and inclusive community. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities.
-
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...
-
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,...
-
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...
-
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...
-
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 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...
-
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...
-
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...
-
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 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...
-
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...
-
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,...
-
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 Virologist
4 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the RoleWe are seeking a highly skilled Research Virologist to join our team at UNSW Australia. As a Post-Doctoral Fellow, you will play a crucial role in advancing the integration of HIV and Hepatitis C (HCV) data into public health and clinical applications.The ideal candidate will have a strong background in molecular virology research, experience...
-
Sydney, New South Wales, Australia UNSW Australia Full timePostdoctoral Fellow OpportunityA full-time fixed-term position is available in the School of Marketing at the University of New South Wales (UNSW) Australia. The successful candidate will be involved in collaborative and self-directed research in quantitative marketing, focusing on generating novel and rigorous insights on the effectiveness of marketing...
-
Sydney, New South Wales, Australia UNSW Australia Full timeJob Title: Research Project AdministratorAbout the Role:The University of New South Wales (UNSW) is seeking a highly organized and experienced Research Project Administrator to join our team. As a key member of our research support staff, you will be responsible for providing administrative support to our research teams.Key Responsibilities:Coordinate...
-
Leading X-ray Research Expert
18 hours ago
Sydney, New South Wales, Australia UNSW Australia Full timeCompany Overview:UNSW Australia is a renowned institution dedicated to delivering world-class education and research. Our commitment to excellence has earned us the reputation as Australia's number one university for impact.Salary:We offer a competitive salary range of AUD 140,000 - AUD 200,000 per annum, commensurate with experience and qualifications.Job...
-
Clinical Research Associate
1 week ago
Sydney, New South Wales, Australia UNSW Australia Full timeUNSW Australia is seeking a highly skilled Clinical Research Associate to join our research team in the School of Psychology. As a Clinical Research Associate, you will play a crucial role in supporting the research team by conducting systematic reviews of literature and collaborating on meta-analyses of original data of psychological treatments.About the...
