2-year postdoc position on type theory in Birmingham (UK)