Two research fellowships in mathematical logic and theoretical computer science, Singapore (Singapore)

Two Research Fellow Positions in Mathematical Logic and Theoretical Computer Science in Singapore

The researchers Frank Stephan, Yang Yue and Sanjay Jain want to hire on their grant "Effective representations of algebraic structures" two research fellows in the areas of Mathematical Logic and Theoretical Computer Science. The expected starting date is 1 April 2017. The duration of the job is approximately 2.5 years and can not run longer than the duration of the grant (which terminates 31 January 2020).

Job Description: Mathematical research in the areas of recursion theory, inductive inference, model theory and effective algebra; the applicant is expected do research and write papers inline with the research programme approved by the MOE for these positions. The applicant should also be able to present the results found at scientific conferences. Prior publications and a PhD in mathematical logic or theoretical computer science are expected.