Post-doc in Bath on the semantics of a bureaucracy-free formalism

Hello,

We have a new project starting this February. We are looking for 
somebody who could help us use semantics to design a formalism that 
is free of every kind of known bureaucracy. The official advert, with 
salary and instructions on how to apply, will probably be ready this 
Monday and I will send it to the major mailing lists, but Frogs 
deserves a preview.

I'll be happy to answer any questions regarding this position and I 
encourage you to get in touch if you are interested. If you know 
somebody who might be interested, please let them know as soon as 
possible, because we aim to hire in the next few hours.

Ciao,

-Alessio


Research officer (post-doc), proof theory and semantics (fixed term 
for up to three years)

The post is associated with the three-year EPSRC project "Efficient 
and Natural Proof Systems". The project is about developing an 
ambitious, modern semantic-motivated proof theory for representing 
natural proofs of minimal complexity.

We are looking for a researcher who can work with categorical models 
of proofs and who has an interest in geometric proof representations 
such as proof nets and atomic flows. The main focus of this position 
will be in the semantic aspects of the new proof theory, working 
mainly with Guy McCusker, Alessio Guglielmi and Paola Bruscoli.

The post will be available from 1st February 2013 until 31st January 2016.

Web site of the project:   <http://www.cs.bath.ac.uk/ag/ENPS/>

This is our group:

Paola Bruscoli   <http://cs.bath.ac.uk/pb/>
Anupam Das   <http://www.anupamdas.com/>
Alessio Guglielmi   <http://alessio.guglielmi.name/res/index.html>
Willem Heijltjes   <http://www.lix.polytechnique.fr/~willem/>
Jim Laird   <http://www.cs.bath.ac.uk/~jl317/>
Guy McCusker   <http://www.cs.bath.ac.uk/~gam23/>
John Power   <http://www.bath.ac.uk/comp-sci/contacts/academics/john_power/>
Cai Wingfield   <http://cs.bath.ac.uk/~cajw20/>

We are part of the Mathematical Foundations group of the Computer 
Science Department of the University of Bath. We study the 
mathematics of logical reasoning, of programs, of processes and of 
programming languages. In our research we use and develop category 
theory, game theory, model theory, proof theory, type theory and 
complexity theory.

Our department has an outstanding research profile: in the most 
recent national Research Assessment Exercise our research output was 
ranked fourth out of 81 university submissions in the UK. This year 
our university has been recognised as third in the country in The 
Sunday Times University Guide.