[TYPES/announce] tenure-track and postdoctoral positions at UWO

[Dan Christensen]

[Please forward as appropriate.]

The Department of Mathematics at The University of Western Ontario is
advertising tenure-track and postdoctoral positions.  The tenure-track
position is in the Mathematics of Information Security, broadly
construed, and the advertisement explicitly mentions type theory and
formal verification as potential areas.  The deadline is January 1,
2017.  More information is available at:

  https://www.mathjobs.org/jobs?joblist-167-9126
  http://www.math.uwo.ca/files/1814/7688/3991/advertisement_ft_tenure_on_letterhead.pdf

We also have postdoctoral positions available, in all areas represented
within the department.  The deadline is January 3, 2017.  More
information is available at:

  https://www.mathjobs.org/jobs?joblist-167-9524
  http://www.math.uwo.ca/files/3414/7688/4007/Postdoc_Ad_2016-2017_on_Letterhead.pdf

Applicants in homotopy type theory, univalent foundations, higher
category theory, homotopy theory and other areas represented in the
department would be particularly welcome.

Our department is very active, with a strong graduate program, a very
active postdoctoral program, and a busy seminar schedule with many
visitors.  More information about the department is available at

  http://www.math.uwo.ca/

Feel free to direct any questions to either Rick Jardine or myself.

Dan