From: Dan Christensen <j...@uwo.ca>
To: <homotopyt...@googlegroups.com>, <types-a...@lists.seas.upenn.edu>
Subject: tenure-track and postdoctoral positions at UWO
Date: Mon, 7 Nov 2016 12:21:11 -0500 [thread overview]
Message-ID: <87zilbp5o8.fsf@uwo.ca> (raw)
[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
reply other threads:[~2016-11-07 17:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87zilbp5o8.fsf@uwo.ca \
--to="j..."@uwo.ca \
--cc="homotopyt..."@googlegroups.com \
--cc="types-a..."@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* 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).