Homotopy Type Theory
Skip to content
  • Home
  • Blog
  • Code
  • Events
  • Links
  • References
  • Wiki
  • The Book

Category Archives: Jobs

Postdoctoral Position in HoTT at the University of San Diego

Posted on 20 January 2021 by Mike Shulman
Posted in Jobs, News | Leave a comment
  • Recent Posts

    • HoTT 2023
    • The Brunerie Number Is -2
    • On the ∞-topos semantics of homotopy type theory
    • The HoTT Game
    • Postdoctoral position in Higher Category Theory at Johns Hopkins
  • Categories

    • Applications
    • Code
    • Foundations
    • Higher Inductive Types
    • Homotopy Theory
    • Jobs
    • Meeting
    • Models
    • News
    • Paper
    • Programming
    • Publicity
    • Support
    • Talk
    • Uncategorized
    • Univalence
  • Archives

    • January 2023
    • June 2022
    • March 2022
    • December 2021
    • March 2021
    • January 2021
    • November 2020
    • October 2020
    • January 2020
    • May 2019
    • March 2019
    • February 2019
    • December 2018
    • November 2018
    • August 2018
    • June 2018
    • May 2018
    • March 2018
    • November 2017
    • October 2017
    • September 2017
    • January 2017
    • October 2016
    • September 2016
    • July 2016
    • February 2016
    • January 2016
    • December 2015
    • September 2015
    • August 2015
    • July 2015
    • June 2015
    • January 2015
    • December 2014
    • November 2014
    • September 2014
    • August 2014
    • June 2014
    • April 2014
    • March 2014
    • February 2014
    • December 2013
    • October 2013
    • August 2013
    • July 2013
    • June 2013
    • May 2013
    • April 2013
    • March 2013
    • February 2013
    • November 2012
    • September 2012
    • August 2012
    • June 2012
    • May 2012
    • April 2012
    • March 2012
    • January 2012
    • December 2011
    • November 2011
    • July 2011
    • April 2011
    • March 2011
  • Blogroll

    • Existential Type
    • Mathematics and Computation
    • The n-Category Café
    • Univalent Foundations
  • Meta

    • Register
    • Log in
    • Entries feed
    • Comments feed
    • WordPress.com
Homotopy Type Theory
Blog at WordPress.com.
  • Follow Following
    • Homotopy Type Theory
    • Join 285 other followers
    • Already have a WordPress.com account? Log in now.
    • Homotopy Type Theory
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar