5-year PhD candidate position in Intelligent Tutoring Systems for Functional Programming (1.0 FTE)

Positie: 
Onderwijs en onderzoek
Uren per week: 
36 tot 40
Faculteit of dienst: 
Faculteit Betawetenschappen
Afdeling: 
Department of Information and Computing Sciences
Uiterlijk reageren op: 
29 april 2020

Functie

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.

Research
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.

Teaching
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.

Profiel

The successful candidate is an ambitious student who holds a Master’s degree in Computer Science, Artificial Intelligence, or a related field. We welcome participants with past research experience, but this is not a requirement. Excellent English communication skills are necessary. The ideal candidate expresses a strong interest in research and teaching in Functional Programming.

Aanbod

  • a full-time position for 5 years;
  • the gross salary starts at €2,325 and increases to €2,972 per month during the appointment (scale P according to the Collective Labour Agreement Dutch Universities). The salary is supplemented with a holiday allowance of 8% and an end-of-year bonus of 8.3% per year;
  • pension scheme, partially paid parental leave, and flexible employment conditions(based on the Collective Labour Agreement Dutch Universities);
  • More information about jobs at the Faculty of Science can be found here.

We offer an exciting opportunity to contribute to an ambitious and international education programme with highly motivated students and to conduct your own research project at a renowned research university. You will receive appropriate training, personal supervision, and guidance for both your research and teaching tasks, which will provide an excellent start to an academic career.

Over de organisatie

The department of Information and Computing Sciences is nationally and internationally renowned for its fundamental and applied research in computer science and information science. In our constantly changing (digital) society, the department of Information and Computing Sciences is constantly looking for new, realistic ways to push the boundaries of both science and social application. We contribute to innovative information technologies through the development and application of new concepts, theories, algorithms, and software methods. We collaborate extensively with partners inside and outside the university, including the ones in the focus areas of Applied Data Science, Human-centered Artificial Intelligence, and Game Research. The department provides the Bachelor's programmes in Computer Science and Information Science and five English language Research Master's programmes in these areas.

At the Faculty of Science there are 6 departments to make a fundamental connection with: Biology, Chemistry, Information and Computing Sciences, Mathematics, Pharmaceutical Sciences and Physics. Each of them is made up of distinct institutes which work together to focus on answering some of humanity’s most pressing problems. More fundamental still are the individual research groups - the building blocks of our ambitious scientific projects.

Utrecht University is a friendly and ambitious university at the heart of an ancient city. We love to welcome new scientists to our city – a thriving cultural hub that is consistently rated as one of the world’s happiest cities. We are renowned for our innovative interdisciplinary research and our emphasis on inspirational research and excellent education. We are equally well-known for our familiar atmosphere and the can-do attitude of our people. This fundamental connection attracts Researchers, Professors and PhD candidates from all over the globe, making both the University and the Faculty of Science a vibrant international and wonderfully diverse community.

 

Aanvullende informatie

If you have any questions, please contact Johan Jeuring (Head of Department, and supervisor of the proposed research) via j.t.jeuring@uu.nl. Questions about the application procedure? Send an email to science.recruitment@uu.nl.

Solliciteren

Everyone deserves to feel at home at our university. We welcome employees with a wide variety of backgrounds and perspectives and we attach great importance to diversity and gender balance. If you have the expertise and the experience to excel in this role, please respond via the “Apply” button, enclosing: 

  • a one-page cover letter describing the reasons behind your interest in the position;
  • a full academic curriculum vitae;
  • a copy of your MSc thesis (if available);
  • contact details of at least two references.

The application must be written in English. Promising candidates will be invited to an interview. As part of the selection procedure, the candidate will be expected to give a short presentation about his/her Master's research. If this specific opportunity is not for you, but you know someone who may be interested, please forward the link to them.

Applicants are encouraged to mention any personal circumstances that need to be taken into account, for example parental leave or military service.

Some connections are fundamental – Be one of them

Uiterlijk reageren op 29 april 2020.