Hong Kong Baptist University

As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT. The primary responsibility of this role is to deliver on a research project, funded by Singapore Ministry of Education (MOE), where you will be part of the research team to develop a scalable and comprehensive framework for formal verification of quantum programs. The framework consists of the following deliverables: Intermediate Language. We plan to develop an intermediate language to model quantum programs. The intermediate language would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan to develop a comprehensive framework to verify the correctness of quantum programs written in the proposed intermediate language. Mechanization. We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and manage the research project with Principal Investigator (PI) and the research team members to ensure all project deliverables are met. Undertake these responsibilities in the project: develop an intermediate language to write quantum programs. develop a comprehensive framework to verify the correctness of quantum programs written in our intermediate language. mechanize the verification framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. develop formal methods for automatic reasoning that can be materialized into commercial tools. Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations. Coordinate procurement and liaison with vendors/suppliers. Work independently, as well as within a team, to ensure proper operation and maintenance of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be advantageous. Knowledge of quantum circuit design and quantum program analysis/verification will be advantageous. Key Competencies Able to build and maintain strong working relationships with people within and external to the university Self-directed learner who believes in continuous learning and development Proficient in technical writing and presentation Possess strong analytical and critical thinking skills Show strong initiative and take ownership of work

Leeds Beckett is a modern, professional university with ambition. We are a diverse community of 23,000 students from over 140 countries and 2,800 staff. We are globally engaged and play a vital civic role as an anchor institution for Leeds and the wider region, contributing to a thriving northern economy. Through excellent education, research, partnership and service, we make a positive and decisive difference to people, communities and organisations. We have a strong sense of momentum and collective purpose as we build cultural and financial resilience in a challenging sector environment. Significant groundwork has been undertaken to reshape expenditure and strengthen forecasting, placing the University in a strong position to invest strategically in its future. As we enter a period of strategic refresh, we are now seeking to appoint an exceptional Deputy Vice‑Chancellor, Resources. The role is a key member of the University Executive Team, reporting to the Vice‑Chancellor, with regular engagement with the Board of Governors and a lead role in shaping and driving institutional momentum. By translating institutional ambition into clear priorities, investment decisions and outcomes, the successful candidate will convert strategy into sustained impact through people, place and technology. Working closely with the Deans and other key leaders, they will lead major strategic transformation programmes, ensuring that financial resources, infrastructure and digital capability are aligned to long‑term academic, civic and commercial goals and enable an outstanding student and staff experience. We are seeking a strategic leader who combines long‑term vision with strong operational delivery, able to anticipate and address challenges, resolve complexity, unblock issues and maintain organisational momentum. With a commercial mindset and excellent communication skills, you will have a proven track record of building productive internal and external relationships, underpinned by the skills and expertise to help realise a raft of exciting opportunities across a complex and evolving higher education landscape. Leeds Beckett University is committed to ensuring that its senior leaders are representative of its diverse student body and wider region. We welcome applications from everyone regardless of age, gender, ethnicity, sexual orientation, faith or disability. The closing date for expressions of interest is 5pm on Friday 27th March 2026. For further information about this exciting opportunity, including details of how to apply, please visit: www.odgers.com/95557

(Fixed term for 2 years) Liverpool John Moores University (LJMU) is a distinctive, unique institution, rooted in the Liverpool City Region and with a global presence. Our students and staff, past, present, and future, are the beating heart of our city and can be found in every corner of every industry and community. We couldn’t exist anywhere else and have shaped the city in which we belong. Working with the people of Liverpool to improve lives and support communities is at the heart of why we were founded and why we exist today. We are seeking to appoint a Postdoctoral Research Fellow to join Dr Olorunniji’s team based at the LJMU School of Pharmacy & Biomolecular Sciences to take a leading role in the delivery of a 24-month project to uncover how proteins acquire moonlighting functions, using large serine recombinases (LSRs) and their directionality factors (RDFs) as a model. You will design, implement and benchmark machine learning pipelines for sequence-structure analysis and protein function prediction; lead genomic and transcriptomic analyses (including genome assembly and annotation). You will hold a PhD and a strong background in bioinformatics, computational biology, molecular biology or a related discipline, with experience in protein sequence and structure analysis. You will also be fluent in the use of Python, and experienced in processing large scale sequencing datasets, constructing and maintaining sequence databases, molecular phylogenetics and genomic sequence analysis. Experience with deep learning for structural biology and bioinformatics, protein sequence/structure methods, and application of machine-learning approaches to biological problems are essential. You will be actively involved in regular communication with the Rice lab (University of Chicago) and will collaborate in the preparation of scientific reports and manuscripts and participate in selected meetings and conferences. In return, we offer an excellent benefits package including generous annual leave entitlement, pension scheme, induction and development support as well as family-friendly policies. This is an exciting time to join the university as we deliver the LJMU Strategy 2030 and its vision of LJMU as an inclusive civic university transforming lives and futures, by placing students at the heart of everything we do. If you feel that this is the role you have been looking for and your skills and experience can make a real difference at LJMU, we look forward to hearing from you. The School/Department is committed to promoting equality and diversity, including the Athena SWAN Gender Equality charter for promoting the career of Women in STEM (science, technology, engineering, mathematics) in higher education. We particularly welcome applications from women and other under-represented groups for this post, and all appointments will be made on merit.   Please note all of our vacancies will be closed to applications at midnight on the advertised closing date, unless otherwise stated. LJMU are committed to adhering to the Principles set out in the Researcher Development Concordat; in line with this all fixed-term researchers will be supported to complete 10 days professional development activities per year (pro-rata).