The Software Technology for Learning and Teaching Group at Utrecht University is looking for a junior Researcher who wants to jump-start his/her career by taking up a PhD candidate position in Intelligent Tutoring Systems for Functional Programming. The five-year position includes 70% research time and 30% teaching time. The position presents an excellent opportunity to develop an academic profile as a competent Researcher and able Teacher.
The scope of the PhD candidate’s duties includes primarily conducting research in technologies to support novices learning functional programming. This research should result in successfully obtaining a PhD degree during the appointment. Other duties include supporting the preparation and teaching of Bachelor's and Master's level courses, supervising student theses, managing research infrastructure and participating in public outreach.
The candidate will join the Software Technology for Learning and Teaching Group, led by Johan Jeuring. The focus of the position is on designing new technologies to support students working in an intelligent tutoring system for functional programming. We expect to use techniques from dependently typed programming, refinement types, program synthesis, automated theorem proving, and more to analyse student programs, and to help students in taking the next step when developing a program. The candidate will investigate the design and use of multiple technologies for this purpose, add them to Ask-Elle, our intelligent tutoring system, perform experiments with the system, and improve the technologies based on the outcome of the experiments.
The candidate is expected to be involved in teaching activities within the department of Information and Computing Sciences. Teaching activities may include supporting senior teaching staff, conducting tutorials, and supervising student projects and theses. These activities will contribute to the development of the didactic skills of the candidate.