Job Description

The successful candidate will work with Prof Frank Stephan, Prof Yang Yue and Prof Sanjay Jain on Mathematical Logic and Theoretical Computer Science under a project on connections between Automata Theory, Computa-tional Complexity and Recursion Theory.

The main responsibilities of the position include: 
- Working with the PIs and other RFs on research topics in Mathematics. The topics are on automata theory, complexity theory and recursion theory.  
- Writing, publishing and presenting papers (research findings) in journals and conferences.
 

Qualifications / Discipline:

- PhD in Pure Mathematics or Theoretical Computer Science. 

Skills: 
- Knowledge of Mathematical Logic, in particular at least one of Recursion Theory, Computational Complexity and Automata Theory.

Experience:  
- Research experience on university level expected, either by prior employment or by work on a PhD thesis or published papers.

More Information

Location: Kent Ridge Campus

Organization: Science

Department : Mathematics

Job requisition ID : 27575