Hello Haskellers, I have the following job opening for a PhD student. Maybe it is something for some of you. Please pass it on to anyone who might be interested. Apologies if you happen to receive this mail multiple times. best regards, Jurriaan Hage ============================================================== VACANCY : 1x Phd Student in type and effect systems for functional languages ============================================================== The research group of Software Technology at Utrecht University focuses its research on programming methodologies, compiler construction, and program analysis, validation, and verification. For more about us, see: http://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology The topic of the project is to further investigate the notion of higher-ranked polyvariance within the context of type based static analysis of higher-order (functional) languages. Type and effect systems for functional languages employ the underlying type system of a language to implement various other analyses, e.g., dead-code analysis and strictness analysis. These are designed by annotating the underlying types with information concerning the analysis in question. Higher-ranked polyvariance is a level of precision for such annotations inspired by higher-ranked type systems. Full inference of the latter is known to be undecidable, but this is, surprisingly maybe, not the case for higher-ranked polyvariance. More details can be found in the following paper, published at ICFP 2010: http://www.cs.uu.nl/wiki/pub/Hage/PublicationList/holdermans10polyvariant.pd... There remain many open questions about higher-ranked polyvariance. For example, can validating analyses such as Kennedy's dimension analysis be treated similarly? Can we show that adding higher-ranked types to a resource analysis yields a beneficial higher level of precision? (This work will be done in collaboration with others, including Kevin Hammond of St. Andrews.) Can we extend our work to a richer type language? Is it possible to selectively analyze programs higher-ranked polyvariantly? The candidate is expected to address these questions, communicate the results academically, to present the work at scientific conferences, to supervise Master students, and to assist in teaching courses at Bachelor or Master level. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English very well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following two areas is essential: * static program analysis, and type and effect systems in particular * functional programming, and Haskell in particular Furthermore, we expect the candidate to be able to reason formally. Experience in compiler construction, the practical use of theorem provers, and algorithmic complexity are expected to be useful in this project. --------------------------------- What we offer --------------------------------- The candidate is offered a full-time position for four 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. More information is available on the website: http://www.uu.nl/EN/informationfor/jobseekers/Working-for-Utrecht-University... The gross salary is in the range between € 2,042 and € 2,612 gross per month. We aim to start September 1, 2012 at the latest, but preferably sooner. --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, e.g., the pdf of your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the 21st March 2012. Visit http://www.cs.uu.nl/vacatures/en/200946.html and from there follow the link to the official job application page. --------------- Contact person --------------- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30 253 3283 e-mail: J.Hage@uu.nl. website: http://www.cs.uu.nl/wiki/Hage/WebHome