[Haskell] Job Opportunity: PhD position at Utrecht University on analysis of functional languages

[Jurriaan Hage]

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

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/terms-of-employment/Pages/default.aspx

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 at uu.nl.   
website: http://www.cs.uu.nl/wiki/Hage/WebHome