Join Our Team at the School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore

The School of Physical and Mathematical Sciences (SPMS) at NTU Singapore hosts research and education activities in two divisions: Division of Mathematical Sciences (MAS) and Division of Physics and Applied Physics (PAP). MAS covers diverse topics ranging from pure mathematics to the applications of mathematics in cryptography, computing, business, and finance. PAP covers many areas of fundamental and applied physics, including quantum information, condensed matter physics, biophysics, and photonics. Over the years, SPMS has attracted talented individuals from around the world and Singapore to join as scientific leaders and researchers.

The Project Officer will support a research project investigating the impact of integrating LEAN4 into university mathematics lectures and course materials. The project aims to evaluate how the use of formal proof ass...