PEGASO Universita Telematica

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

LU PRESIDENTIAL POSTDOCTORAL RESEARCH FELLOWSHIP SCHEME Postdoctoral Fellow (Post Ref.: 24/888) Lingnan University is one of the eight publicly funded institutions in the Hong Kong Special Administrative Region (HKSAR) and has the longest established tradition among the local institutions of higher education. It is widely recognised for providing quality education with a focus on whole-person development and conducting high-impact research for a better world. Moving forward, Lingnan University is well positioned to take lead as a comprehensive university in arts and sciences in the digital era, with impactful research and innovations. Lingnan University offers undergraduate, taught postgraduate, and research postgraduate programmes in the Faculties of Arts, Business, Social Sciences, and the Schools of Data Science, Graduate Studies and Interdisciplinary Studies. To foster interdisciplinary collaboration and scientific progress, Lingnan University established the Lingnan University Institute for Advanced Study (LUIAS), attracting distinguished scholars from around the world to collaborate with its faculty and students. With traditional strengths in arts, business, social sciences, and interdisciplinary studies, the University aims to equip students with practical knowledge and critical thinking skills to thrive in the future. Subsequent to the establishment of the School of Data Science and LUIAS, Lingnan University is transforming into a hub for global leaders to develop and promote human-centric technology and social policies. Further information about Lingnan University is available at https://www.ln.edu.hk/. We are launching the LU Presidential Postdoctoral Research Fellowship Scheme (PPRF) and invite applications from early career researchers from all over the world. Successful candidates will have the opportunity to collaborate with our academics in a supportive and dynamic research environment. The University will provide them with the resources, expertise, and mentorship to achieve their research goals. Eligibility Applicants should have obtained / been conferred a PhD degree or an equivalent qualification, and the PhD degree should have been received no more than three years prior to the start of the Fellowship. They are expected to have a good research track record and demonstrate good potential in publishing high quality papers. Duration and Requirements of the Fellowship The duration of the Fellowship will normally be three years. The appointment will normally be made on an initial contract of 1 year, and further appointment for a period of 2 years is subject to the appointee’s satisfactory performance. The appointees are required to submit applications for the RGC Junior Research Fellow Scheme (JRFS) or the JC STEM Early Career Research Fellowship for Translation and Application (JC STEM ECRF), and are encouraged to apply for other local / overseas grants or fellowship schemes. Terms and Benefits The conditions of appointment will be competitive. Remuneration will be commensurate with qualifications and experience. Fringe benefits include annual leave, medical and dental benefits, mandatory provident fund, gratuity, and incoming passage and baggage allowance for the eligible appointees. The appointees will also be provided with research funding of HK$10,000 per year to support their research activities. Application Procedure Applicants are required to contact potential supervisors at Lingnan University and submit a research proposal (as discussed/developed by the applicants in conjunction with the potential supervisors) together with their applications. In the research proposal, please also indicate the name and the department of the potential supervisor. Please click "Apply Now" to submit your application. Applicants shall provide names and contact information of at least three referees to whom applicants’ consent has been given for their providing references. Personal data collected will be used for recruitment purposes only. We are an equal opportunities employer. Review of applications will continue until the posts are filled. Qualified candidates are advised to submit their applications early for consideration. The University reserves the right not to make an appointment for the posts advertised, or to fill the posts by invitation or by search. We regret that only shortlisted candidates will be notified.

Lingnan University is one of the eight publicly funded institutions in the Hong Kong Special Administrative Region (HKSAR) of the People’s Republic of China (PRC) and has the longest established tradition among the local institutions of higher education. It is widely recognised for providing quality education with a focus on whole-person development and conducting high-impact research for a better world. Moving forward, Lingnan University is well positioned to take lead as a comprehensive university in arts and sciences in the digital era, with impactful research and innovations. Lingnan University offers undergraduate, taught postgraduate, and research postgraduate programmes in the Faculties of Arts, Business, Social Sciences, and the Schools of Data Science, Graduate Studies and Interdisciplinary Studies. To foster interdisciplinary collaboration and scientific progress, Lingnan University established the Lingnan University Institute for Advanced Study (LUIAS), attracting distinguished scholars from around the world to collaborate with its faculty and students. With traditional strengths in arts, business, social sciences, and interdisciplinary studies, the University aims to equip students with practical knowledge and critical thinking skills to thrive in the future. Subsequent to the establishment of the School of Data Science and LUIAS, Lingnan University is transforming into a hub for global leaders to develop and promote human-centric technology and social policies. Further information about Lingnan University is available at https://www.ln.edu.hk/. Applications are now invited for the following post: Senior Lecturer/ Lecturer Master of Science in Cross-disciplinary Technologies+ Master of Liberal Sciences Wu Jieh Yee School of Interdisciplinary Studies (Post Ref.: 25/133) The Wu Jieh Yee School of Interdisciplinary Studies (WJYSIS) was established to deepen interdisciplinary studies and scholarly collaboration. WJYSIS positions at the fusion of excellence of interdisciplinary research and education. The School’s strategic areas are centred with the theme of sustainability and embraced by the fundamental engineering science and lead to smart future. WJYSIS is looking for experienced Senior Lecturer/ Lecturer who will (i) teach multiple subjects in Master of Science in Cross-disciplinary Technologies+ (MScCT+) and Master of Liberal Sciences (MLS), focusing on information systems, business and data analytics, electronic business, digital marketing and new media, smart manufacturing, artificial intelligence, etc., (ii) work on the promotions and admissions as well as the operations for MScCT+ and MLS, and (iii) contribute to other administrative duties as required by the supervisors. General Requirements Candidates should have (i) a doctoral degree in engineering, data science, computer science, business, information systems, artificial intelligence, or other relevant areas; (ii) experience in teaching relevant courses and relevant programme administrative experience; and (iii) good command of English and Chinese (including Mandarin). Candidates who possess a strong academic background but have less teaching experience, or those with lower qualifications but substantial teaching experience, will also be considered. Appointment The conditions of appointment will be competitive. The rank and remuneration will be commensurate with qualifications and experience. Fringe benefits include annual leave, medical and dental benefits, mandatory provident fund, gratuity, and incoming passage and baggage allowance for the eligible appointee. Appointment will be made on a fixed-term contract of up to two years. Application Procedure (online application only) Please click "Apply Now" to submit your application. Personal data collected will be used for recruitment purposes only. We are an equal opportunities employer. Review of applications will start immediately and continue until the post is filled. Qualified candidates are advised to submit their applications early for consideration. The University reserves the right not to make an appointment for the post advertised, or to fill the post by invitation or by search. We regret that only shortlisted candidates will be notified.