Software Development Engineer for Verification and Synthesis

Enhance 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...

The 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...

About 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 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...

About 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...

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...

About 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...

About 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...

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 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...

About 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...

About 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...

Opportunity 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...

Unlock Your Potential as a Research ProgrammerThe School of Computer Science and Engineering at UNSW Australia is seeking an experienced Research Programmer to join our team. As a key member of our research group, you will play a crucial role in enhancing the Model Checker MCK, a tool developed for software verification and synthesis using modal logics of...

Programmer Role: Enhance Software Verification ToolsThe School of Computer Science and Engineering at UNSW Australia is seeking a skilled Research Programmer to join their team. This role involves enhancing the Model Checker MCK, a tool developed in-house for software verification and synthesis using modal logics of knowledge and time.In this position, you...

About the JobWe are seeking a skilled Senior Software Engineer to join our team.The successful candidate will be responsible for designing, developing, and maintaining software applications.Our ideal candidate will have a strong understanding of software development principles and practices.ResponsibilitiesDesign and develop software applications using a...

Developing Innovative SolutionsWe are revolutionising how the world creates and uses trustworthy knowledge. Through our Covidence platform and innovative approaches to evidence synthesis, we're making research actionable globally.The RoleThis is an exciting opportunity for a system developer to join a newly formed team focused on building large-scale...

At LEAP Legal Software, we are currently seeking a skilled Software Engineer to join our team. As a key member of our Engineering team, you will collaborate closely with our founder to gain a deep understanding of our product's technical landscape. In the long term, you will play a vital role in enhancing LawTap's functionality and oversee all aspects of...

About AlstomWe are a global leader in the transportation industry, providing innovative solutions for high-speed trains, metros, and other rail systems. Our diverse portfolio of products and services supports our customers' needs for greener and smarter mobility.Job DescriptionThe Senior Project V&V Engineer will work on delivering ETCS / ERTMS level 2...

The role of Lead Software Engineer at LEAP Legal Software is a fantastic opportunity to work with a rapidly growing company in the AU legal software industry. As a key member of the team, you will partner closely with the CEO to design and develop robust, scalable, and efficient web applications. Your contributions will be instrumental in shaping the future...

About the JobWe are seeking a seasoned Software Development Lead to spearhead our Java engineering efforts. As a key member of our technology team, you will be responsible for designing and implementing scalable Microservices using RESTful APIs, Reactive, and Batch architectures.Key Responsibilities:Design and implement robust software solutions that meet...