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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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

Meng Wang-3

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

[hidden email]

 

 

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

([hidden email])

 

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     

 

 


_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.