* [HoTT] 2-year postdoc position on type theory in Birmingham (UK)
@ 2019-08-06 15:43 Benedikt Ahrens
2019-08-06 20:50 ` andré hirschowitz
2019-10-29 11:42 ` [HoTT] " Benedikt Ahrens
0 siblings, 2 replies; 3+ messages in thread
From: Benedikt Ahrens @ 2019-08-06 15:43 UTC (permalink / raw)
To: homotopytypetheory
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,
Benedikt
--
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [HoTT] 2-year postdoc position on type theory in Birmingham (UK)
2019-08-06 15:43 [HoTT] 2-year postdoc position on type theory in Birmingham (UK) Benedikt Ahrens
@ 2019-08-06 20:50 ` andré hirschowitz
2019-10-29 11:42 ` [HoTT] " Benedikt Ahrens
1 sibling, 0 replies; 3+ messages in thread
From: andré hirschowitz @ 2019-08-06 20:50 UTC (permalink / raw)
To: Benedikt Ahrens; +Cc: homotopytypetheory
[-- Attachment #1: Type: text/plain, Size: 3067 bytes --]
Elle est pas mauvaise celle-la!?
Le mar. 6 août 2019 à 17:43, Benedikt Ahrens <benedikt.ahrens@gmail.com> a
écrit :
> 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,
> Benedikt
>
> --
> 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
> .
>
--
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/CAHPPr6xRnfvQ1hoKBaJ%3DgOMqMbA5%2B%3DX0QEnCWjD%3DSrdT_8jRQQ%40mail.gmail.com.
[-- Attachment #2: Type: text/html, Size: 4215 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* [HoTT] Re: 2-year postdoc position on type theory in Birmingham (UK)
2019-08-06 15:43 [HoTT] 2-year postdoc position on type theory in Birmingham (UK) Benedikt Ahrens
2019-08-06 20:50 ` andré hirschowitz
@ 2019-10-29 11:42 ` Benedikt Ahrens
1 sibling, 0 replies; 3+ messages in thread
From: Benedikt Ahrens @ 2019-10-29 11:42 UTC (permalink / raw)
To: homotopytypetheory
Dear all,
The application form for the job announced below is now live, and you
can apply here:
https://www.jobs.ac.uk/job/BVW996/research-fellow
Application deadline is 16 November 2019.
Please contact me (b.ahrens@cs.bham.ac.uk) for any questions you might have.
Best wishes,
Benedikt
On 06/08/2019 16:43, Benedikt Ahrens wrote:
> 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,
> Benedikt
--
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/7d8cbc03-17b9-d0ef-c56a-ed2d44a358bd%40gmail.com.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-10-29 11:42 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-06 15:43 [HoTT] 2-year postdoc position on type theory in Birmingham (UK) Benedikt Ahrens
2019-08-06 20:50 ` andré hirschowitz
2019-10-29 11:42 ` [HoTT] " Benedikt Ahrens
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).