Universiteit van Amsterdam

Research Fellowship in Mathematical Logic and TCS, Singapore (Singapore)

The researchers Frank Stephan, Yang Yue and Sanjay Jain at the National University of Singapore want to hire on their grant "Effective representations of algebraic structures" one research fellow in the areas of Mathematical Logic and Theoretical Computer Science. The candidate will do 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.

Job requirements: Good knowledge of mathematics in general and the research areas above in particular. Prior publications and a PhD in mathematical logic or theoretical computer science are expected. The applicant should know at least some of the research areas of recursion theory, inductive inference, model theory and effective algebra and should be able to work in new areas of research.The applicant should have at least 3 years of experience in research; research done as masters or PhD student counts towards this requirement.

For more information, see http://www.comp.nus.edu.sg/~fstephan/rfposition.html or contact Frank Stephan at , Yang Yue at , or Sanjay Jain at .