[TYPES/announce] Post-doc in Bath on the semantics of a bureaucracy-free formalism

[Alessio Guglielmi]

Hello,

Please note that the closing date for this 
post-doc, which might be interesting to types 
people, is only two weeks from now. The link 
provided should lead you to the application pages.

Don't hesitate to get in touch with me for any 
questions regarding this position.

Ciao,

-Alessio


Research Officer - Computer Science (Fixed Term 3 Yrs)

<https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=VH1457>

Salary:   Starting from £30,424, rising to £36,298
Closing Date:   Wednesday 23 January 2013
Interview Date:   To be confirmed
Reference:  VH1457

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 for up to 3 
years, with effect from 1st February 2013.

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.