PhD Reseacher in Computing Sciences, Netherlands
PhD Position in Utrecht University, Faculty of Science
Job Description: In general, programs perform analysis on user input in order to generate output tailored to user needs. In particular, compilers perform program analyses to check for correctness, provide good feedback on programming errors, and improve performance of generated programs. Such analyses are costly to perform, and at the same time, must often be done in short periods of time, for example because of its use in an interactive editing environment. Extensive analyses and fast execution of such analyses thus are two conflicting requirements.
The project aims to remedy the conflict between the desire to use program analyses and the desire to execute such analyses with sufficiently good performance; the project intends to exploit incrementality to achieve good performance for otherwise time consuming analyses. An incremental program reuses the results of a previous computation to speedily recompute a result when a small change in input is given to the program. The research problem arises because manually rewriting existing non-incremental solutions to an incremental version of the solution often is errorprone and difficult. The project will investigate the automatic generation of incremental programs from non-incremental programs, in particular for compilers and the program analyses which are done as part of the compilation process. The research will take place in the context of the Utrecht Haskell compiler (UHC) and the tools used to construct this compiler, in particular the UUAG Attribute Grammar system.
This project is funded by a research grant from the Netherlands ‘Organization for Scientific Research’ (NWO).
Requirements: We seek a highly motivated candidate holding a Master’s degree in computer science, with experience and interest in the area of programming language design, functional programming (in particular Haskell), and program analysis. Candidates are expected to have an independent working style and a good knowledge of English, which is an absolute must.
Conditions of employment
The candidate is offered a full time position for 4 years. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project
Application Closing Date: 6 October 2010
Further Scholarship Information and Application
Scholarship Tags: Computer Science, Netherlands, PhD position
Scholarship Search
Important: Scholarship-Positions.com is not responsible for the content of any external websites linked to or referenced on this site.
Browse Scholarships
- Africa Scholarships
- Australia Scholarships
- Austria Scholarships
- Belgium Scholarships
- Canada Scholarships
- China Scholarships
- Denmark Scholarships
- France Scholarships
Recent USA Scholarships
2012 GIA Scholarship for Graduate Students in Gemology and Jewelry Manufacturing Arts, USA Japan Studies Fellowship at East-West Center, USA 2012 Asia Studies Fellowship Program at East-West Center, 2012 USA Philip and Euline Seecharan Scholarship at Florida International University, USA 2012 2012 Benjamin A. Gilman International Scholarship, USARecent UK Scholarships
The Business School MBA Scholarship (International) at Bournemouth University, 2012 UK Bournemouth University International Postgraduate Scholarship, 2012-20113, UK Santander Scholarships 2012 for Masters Courses, University of Leicester 2012 IBERS International Masters Scholarships, UK University of Kent Dental Development Scholarship for Undergraduate Students, UK 2012Recent Germany Scholarships
PhD in Life Sciences at The International Giessen Graduate School for the Life Sciences, Germany Germany Postgraduate Training Program – 2012 Cycle (PhD studies in Germany) HBIGS 12 MSc/ PhD Fellowships at Heidelberg University, Heidelberg, Germany PhD Studentship in Polymer Sciences at German Institute for Polymers, Germany Postdoctoral/ PhD Student Postions in Genome Biology at GRK1721, 2012 GermanyRecent India Scholarships
FedBank Hormis Memorial Foundation Scholarships 2012, India Commonwealth Scholarship Plan for Indian Students, New Zealand Ms. Agatha Harrison Memorial Fellowship for the Year 2012-13, UK 2012 The Tara Nirula International Students House (ISH) for Indian Students at University of the Arts London, UK Assistantship for Master’s Students at Indian Institute of Technology-Kharagpur, India 2012Women Scholarships
Call for Applications: Women Scientists Scheme (WOS-C) Training, India 2012 HHL Scholarship for Women in Business, Germany 2012 University Hall St Andrews Graduates’ Association (UHStAGA) Scholarship, UK 2012 International Fellowships Programme for Women in Japan WIA Foundation Annual 2012-2013 Scholarship for Women, USAAfrica Scholarships
2012 Disability Rights Scholarship Program at University of Pretoria, South Africa 2012 TBA Masters Scholarship for African Students, Africa The University of Pretoria Research Development Programme, 2012 South Africa EK BROWN Bursary 2012 in Veterinary Science, South Africa Hewlett Foundation/Institute of International Education Dissertation Fellowship, 2012Scholarship Blog
Useful Links
Search in Worldwide UniversitiesOxford Laboratory Technology
Search Courses in Indian Universities
IndiaJobs.co.in, India Jobs Employment, Recruitment, Careers, Interview
Teaching, Professor Jobs in India
GRE Prep and Free Courses