Postdoc position 2y at Roskilde / Confluence Modulo Equivalence for Constraint Handling Rules

[Henning Christiansen]

Applications are invited for a postdoc position at Roskilde University, Denmark, 2 years starting from 1st January 2016.

The postdoc will be part of the research project "Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules", funded by the Danish Council for Independent Research/Natural Science. The project takes place in the research group PLIS: Programming, Logic and Intelligent Systems, and is lead by prof. Henning Christiansen. The research group consists of eight experienced researchers in these fields, working in both core Computer Science and a variety of interdisciplinary projects.

This project extends previous research on confluence modulo equivalence (CME) for the programming language of Constraint Handling Rules (CHR), which is an example of a rule based computation paradigm, for which parallel implementations and optimizations based on application order are relevant. CME was only recently suggested for CHR, and the results so far are promising for wider applications. The present project has focus on developing (semi-) automatic support for proving the CME property of actual programs.

Read more about the project at http://www.ruc.dk/~henning/ConfModEqCHR/ and the research group at http://plis.ruc.dk.
If you want more information, please do not hesitate to write to prof. Henning Christiansen, henning at ruc.dk<mailto:henning at ruc.dk>.

The successful candidate is expected to

  *   participate in the continued development of the theoretical foundations for CME and proofs of CME for CHR (and perhaps extensions to similar paradigms) with an aim towards practically relevant methods,
  *   be the main software developer for the implementation and test of such methods, including to take part in the considerations of which tools and strategies should be used, and
  *   participate in documenting the results in terms of scientific paper and presentations at international fora.

Applicants must hold a PhD or equivalent within Computer Science. Qualifications within the following scientific areas are required:

  *   A strong knowledge of programming languages semantics and mathematical logic is essential, and excellent programming skills are expected.
  *   A solid knowledge of (term) rewriting systems, proof theory and experience with Constraint Handling Rules are highly desirable.

Application deadline: September 30, 2015
How to apply: Applications must refer to the full text of the announcement and must be submitted via the online application system.
     Direct link to announcement and online system<https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=2710&VacatureID=760086&Vacancy=Postdoc%20of%20Computer%20Science#top>.
It can also be found via this page together with more information on how to apply.
     http://www.ruc.dk/en/job/
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20150821/e713a1f3/attachment.html>