Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Benedikt Ahrens <benedikt.ahrens@gmail.com>
To: homotopytypetheory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] 2-year postdoc position on type theory in Birmingham (UK)
Date: Tue, 6 Aug 2019 11:43:38 -0400	[thread overview]
Message-ID: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> (raw)

Dear all,

I would like to invite applications for a 2-year postdoctoral position 
at the University of Birmingham, School of Computer Science. The 
postdoctoral researcher will work with Paige Randall North (Ohio State 
University) and me on a topic in the area of (homotopy) type theory; 
details can be discussed.

The position is funded by the EPSRC grant "A theory of type theories", 
PI Benedikt Ahrens.

The starting date of the position is somewhat flexible; it should be 
between late 2019 and mid 2020.

How to apply

There is no official job opening yet. Interested people are encouraged 
to contact me by email (b.ahrens@cs.bham.ac.uk) in the first instance to 
discuss their research interests and details of the position.

About Birmingham

The School of Computer Science has a large and thriving Theoretical
Computer Science research group, with a particular focus on category
theory and its applications to the logical foundations of computer
science. Among our research interests are:

   - category theory and higher category theory;
   - type theory;
   - homotopy type theory and univalent foundations;
   - formal proof;
   - lambda-calculus and computational effects;
   - topology and domain theory;
   - constructive mathematics;
   - quantum computing;
   - semantics;
   - program compilation.

Our group currently has 12 permanent staff and more than a dozen PhD 
students. We have a weekly seminar, as well as more informal meetings 
and reading groups. Information on all of this can be found on our 
webpage: http://www.cs.bham.ac.uk/research/groupings/theory/
We are regularly hosting international events in theoretical computer 
science in general and type theory in particular; recently, this 
included CSL 2018, 6WFTop, School and Workshop on Univalent Mathematics, 
and Midlands Graduate School.

Please also distribute this advertisement to others who might be interested.

Best wishes,

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/16c377b4-037c-97a6-4484-0658baa181c2%40gmail.com.

             reply	other threads:[~2019-08-06 15:43 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-08-06 15:43 Benedikt Ahrens [this message]
2019-08-06 20:50 ` andré hirschowitz
2019-10-29 11:42 ` [HoTT] " Benedikt Ahrens

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=16c377b4-037c-97a6-4484-0658baa181c2@gmail.com \
    --to=benedikt.ahrens@gmail.com \
    --cc=homotopytypetheory@googlegroups.com \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).