[Haskell] PhD Position, the University of Nottingham

[Henrik Nilsson]

     Postgraduate Research in Functional Hybrid Modelling

	     School of Computer Science and IT
		  University of Nottingham

The University of Nottingham has an open position for a PhD
student to work on EPSRC-funded project called Functional
Hybrid Modelling, running for three years. This is a project
at the intersection of, on the one hand, programming
language semantics, design, and implementation, and, on the
other, hybrid modelling and simulation. The ideal applicant
would have a first- or upper-second class honours degree or
equivalent in Computer Science (or possibly other area of
direct relevance to the project), along with expertise in
one or more of the following:

     * functional programming;
     * semantics, design, and implementation of (declarative)
       languages;
     * techniques for (hybrid) modelling and simulation,
       and related fields of mathematics (numerical methods,
       numerical analysis, calculus, linear algebra);
     * modelling and simulation of physical systems.

The position is open to UK and EU applicants, but particularly
strong applicants from outside the EU may also be considered,
subject to the possibilities of securing additional funding.

The successful applicant will work within the Foundations of
Programming group at the School of Computer Science and IT:

     http://www.cs.nott.ac.uk/Research/fop/

The group currently comprise 7 academic staff, 5 research
staff, and 14 research students. The research areas of the
group include Algebra of Programming, Functional Programming
(theory and practice), and Logic in Computer Science. The
group is a founder member of the Midlands Graduate School in
the Foundations of Computer Science, which provides
postgraduate courses for PhD students in theoretical
computer science.

For further information on the studentship and the project,
please contact Henrik Nilsson:

    nhn at cs.nott.ac.uk
    http://www.cs.nott.ac.uk/~nhn

-- 
Henrik Nilsson
School of Computer Science and Information Technology
The University of Nottingham
nhn at cs.nott.ac.uk

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.