Computer Verification Expert
2 days ago
The School of Computer Science and Engineering (CSE) at UNSW Australia is seeking a highly skilled Postdoctoral Fellow to contribute to the development of the Model Checker MCK, a tool for software verification and synthesis. 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.
About the RoleAs a key member of the research team, you will work closely with Prof. van der Meyden and other researchers to advance knowledge in software verification and synthesis. Your expertise in functional programming, C, and Unix will be essential in refining the front-end, back-end, and user interface of the MCK tool.
You will also have the opportunity to collaborate with Hashlock Pty Ltd, an Australian blockchain security audit firm, on verification for the Solidity smart contract language. Additionally, you will supervise Honours students working on developing use cases in computer security, smart contract verification, and autonomous systems.
About the OpportunityThis role offers a unique chance to develop your scholarly research and professional activities by supporting the dissemination of research outcomes through various channels and outlets. You will also have the opportunity to assist with the supervision of students and engage with fellow researchers both at UNSW and other institutions.
Requirements- A PhD in a related discipline or relevant work experience in computer science or a numerate discipline
- 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 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
UNSW Australia is a world-leading university that values diversity, equity, and inclusion. We offer a dynamic and supportive work environment that fosters collaboration and innovation. Our School of Computer Science and Engineering is one of the largest and most prestigious schools of computing in Australia.
What We Offer- A salary ranging from AUD $110,059 to $117,718 per annum + 17% superannuation
- A full-time fixed-term contract for 9 months
- An opportunity to develop your scholarly research and professional activities
- A chance to contribute to cutting-edge research in software verification and synthesis
- A dynamic and supportive work environment
To apply, please submit your CV, Cover Letter, and Responses to the Skills and Experience listed within the position description. Please note that applications will not be accepted if sent via email or phone call.
-
Software Verification Expert
2 weeks 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...
-
Software Verification Expert
6 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeSoftware Verification Expert Role at UNSW AustraliaWe are seeking a highly skilled Software Verification Expert to join our team at the University of New South Wales. This is an exciting opportunity for a researcher to contribute to cutting-edge software verification projects using modal logics of knowledge and time.About the RoleThis fixed-term position...
-
Sydney, New South Wales, Australia Alstom Full timeAt Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the industry.The Senior Project Verification and Validation Expert will be working in our Sydney office...
-
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the Role We are seeking a highly skilled Postdoctoral Research Associate to join our team at UNSW Australia, focusing on software verification and synthesis using modal logics of knowledge and time. The successful candidate will work closely with Prof. van der Meyden and contribute to enhancing the Model Checker MCK codebase, testing and applying the...
-
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...
-
Senior Verification and Validation Expert
2 days ago
Sydney, New South Wales, Australia Alstom Full timeJob DescriptionAbout AlstomAt Alstom, we strive to create greener and smarter mobility solutions. Our diverse portfolio caters to various transport networks, from high-speed trains to digital mobility systems.Role OverviewWe are seeking a skilled Senior Project Verification and Validation Engineer with ETCS/ERTMS level 2 delivery experience to join our...
-
Senior Verification and Validation Expert
2 weeks ago
Sydney, New South Wales, Australia Alstom Full timeCompany OverviewWe are Alstom, a global leader in the rail transport industry. Our diverse portfolio includes high-speed trains, metros, monorails, trams, turnkey systems, services, infrastructure, signalling, and digital mobility solutions.SalaryAs a Senior Project Verification & Validation Engineer with ETCS / ERTMS level 2 delivery experience, you can...
-
Software Verification Research Specialist
2 weeks 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...
-
Senior Research Scientist in Formal Verification
3 weeks ago
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...
-
Senior Verification and Validation Engineer
2 weeks ago
Sydney, New South Wales, Australia Alstom Full timeAt Alstom, we strive to provide innovative transport solutions that enhance the lives of millions of people worldwide. With a diverse portfolio that encompasses high-speed trains, metros, monorails, trams, turnkey systems, services, infrastructure, signalling, and digital mobility, our mission is to connect cities and reduce carbon emissions.The...
-
Software Verification Researcher
2 weeks 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...
-
Quantum Computing Expert
3 weeks ago
Sydney, New South Wales, Australia UNSW Australia Full timeAbout the RoleThe UNSW Australia is seeking a highly skilled Quantum Computing Expert to join their team. As a key member of the Algorithms and Applications team, you will play a crucial role in developing and implementing quantum algorithms for analogue and digital quantum computers.Job DescriptionYou will work closely with the hardware, software, 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...
-
Computer Science Expert
1 day ago
Sydney, New South Wales, Australia FindTutors Full timeWe are seeking an exceptional Computer Science expert to join FindTutors' team of educators in the UK. This is a unique opportunity to support students at every stage of their academic journey.Key ResponsibilitiesAs an Online Computer Science Tutor, you will have the chance to assist students with various skill levels, from beginners to advanced learners, in...
-
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...
-
Senior Software Verification Specialist
4 days ago
Sydney, New South Wales, Australia UNSW Australia Full timeOpportunity for Postdoctoral Research Associate">The School of Computer Science and Engineering at UNSW Australia is seeking highly qualified candidates for a postdoctoral research associate position in software verification. The successful candidate will have the opportunity to work on enhancing the MCK codebase, testing and applying the system, and...
-
Sydney, New South Wales, Australia Alstom Full timeSenior Project Verification & Validation EngineerAt Alstom, we're passionate about creating innovative transportation solutions that make a difference in people's lives. Our team is dedicated to delivering high-quality projects that meet the highest standards of safety, reliability, and efficiency.The Senior Project Verification & Validation Engineer will...
-
Cloud Computing Transformation Expert
4 days ago
Sydney, New South Wales, Australia Microsoft Full timeUnlock the Power of Cloud Computing with MicrosoftWe are seeking a highly skilled Cloud Computing Transformation Expert to join our team at Microsoft. This exciting role will involve working closely with customers to design and implement cloud-based solutions that drive business growth, improve efficiency, and reduce costs.About the RoleThis is an excellent...
-
Cloud Computing Operations Expert
1 week ago
Sydney, New South Wales, Australia Amazon Full timeAbout the RoleWe are seeking a highly skilled Cloud Computing Operations Expert to join our Region Services team at Amazon. As a member of this team, you will play a critical role in ensuring the smooth operation of our cloud computing infrastructure and delivering exceptional customer experiences.In this position, you will work closely with cross-functional...
-
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...
