[Haskell] [FP] Postdoc position at University of Bristol in functional programming

Meng Wang meng.wang at bristol.ac.uk
Mon Nov 4 21:02:54 UTC 2019


Dear Haskellers,

The programming languages group at Bristol has an open post doc position in the area of functional programming.
Haskell programmers are particularly welcome.
Please pass it on to anyone who might be interested. Thanks!

Best regards,
Meng

Meng Wang, PhD (Oxon)
Senior Lecturer (Associate Professor)
Department of Computer Science
University of Bristol
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
+44 (0) 117 954 5145
meng.wang at bristol.ac.uk


We are looking for an enthusiastic, self-motivated individual to
contribute to an EPSRC-funded project, which aims to design
programming languages that guarantee strong properties, and the
application of them.

The post holder will be based in the programming languages group at
the University of Bristol Computer Science Department, which consists
of three academics, two PDRAs, and a number of PhD students. You will
also be working with a network of partners from Oxford, Edinburgh,
Tohoku Japan, Chalmers Sweden, and industrial partner DFINITY
Foundations providing expertise on WebAssembly.

You should have a PhD in programming languages, or a closely related
field.

This post is available immediately and is offered on a full-time based
for an initial term of three years. Appointment at a higher salary
point than grade I is possible based on relevant experience.

Informal enquiries should be addressed to Dr. Meng Wang
(meng.wang at bristol.ac.uk)

For more details about this position, please see:
http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=57894&nPostingTargetID=171215&option=28&sort=DESC&respnr=1&ID=Q50FK026203F3VBQBV7V77V83&JobNum=ACAD104298&Resultsperpage=10&lg=UK&mask=uobext

Deadline: 25 November 2019


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20191104/9f6a09b0/attachment.html>


More information about the Haskell mailing list