[Haskell-cafe] Call for Papers IFL 2013

Clark Gaebel cgaebel at uwaterloo.ca
Fri May 31 14:18:58 CEST 2013


Well that's exciting! I really hope uu finds a student. This would be yet
another one of Haskell's "killer features".

  - Clark

On Friday, May 31, 2013, wrote:

>
> ===============================================================================
> VACANCY : 1x Phd Student in domain specific type error diagnosis for
> Haskell
>
> ===============================================================================
>
> The activities of the Software Systems division at Utrecht University
> include
> research on programming methodologies, compiler construction, and program
> analysis, validation, and verification. For information about the research
> group of Software Technology, 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
>
> Domain-specific languages (DSLs) have the potential both to reduce the
> effort of
> programming, and to result in programs that are easier to understand and
> maintain. For various good reasons, researchers have proposed to embed DSLs
> (then called EDSLs) into a general purpose host language. An important
> disadvantage of such an embedding is that it is very hard to make type
> error
> diagnosis domain-aware, because inconsistencies are by default explained in
> terms of the host language. We are currently looking for a highly motivated
> Ph D student to investigate this problem in the context of the functional
> language Haskell.
>
> The basic approach is to scale the concept of specialized type rules as
> developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for
> Haskell '98 to modern day Haskell with all of its type system extensions.
> The work is both technically challenging, i.e., how do you ensure that
> modifications to the type diagnositic process do not inadvertently change
> the
> type system, and practically immediately useful:  making domain-specific
> type
> error diagnosis a reality for a full sized language such as Haskell is
> likely
> to have a pervasive influence on the field of domain-specific languages,
> and
> the language Haskell.
>
> The ICFP '03 paper can be found at
>
> http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf
>
> A project paper that describes the context and aims of the current project
> can
> be found here:
>
> http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf
>
> At first, the work will be prototyped in our own Utrecht Haskell Compiler.
> If
> succesfull, the work will also make its way into the GHC.
>
> We expect the candidate to 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:
>
>   * functional programming, and Haskell in particular
>   *     type system concepts
>
> Furthermore, we expect the candidate to be able to reason formally.
> Experience in compiler construction is expected to be useful in this
> project.
>
> ---------------------------------
> What we offer
> ---------------------------------
>
> You are offered a full-time position for 4 years. The gross salary is in
> the
> range between Û 2083,- and maximum Û 2664,- per month. 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.
>
> We aim to start November 1, 2013 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 20th of June 2013.
>
> For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and
> follow the link to the official job application page at the bottom.
>
> ---------------
> 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 <javascript:;>.
>  website: http://www.cs.uu.nl/wiki/Hage/WebHome
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130531/e1df1e2e/attachment.htm>


More information about the Haskell-Cafe mailing list