Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
From: Chris Kapulkin <k.kapulkin@gmail.com>
To: Homotopy Type Theory <homotopytypetheory@googlegroups.com>
Subject: [HoTT] fully funded graduate positions in Math at UWO
Date: Tue, 21 Jan 2020 23:18:10 -0500
Message-ID: <CAEXhy3OWmW9OGOXw2THnrh-n1=5FXAUJ14oq_f7jdCoqssLPHQ@mail.gmail.com> (raw)

Please distribute to undergraduate and master's students and appropriate
counsellors and supervisors.

Note that we have a large group of faculty, postdocs and graduate
students with interests involving homotopy type theory.

The February 1st deadline is very close, so apply soon, but also note
that applications will continue to be reviewed past the deadline as
space permits.


                      Graduate Student Positions

                      Department of Mathematics
                    University of Western Ontario
                       London, Ontario, Canada

The Department of Mathematics at the University of Western Ontario
solicits applications for its MSc and PhD programs.  We have up to
20 fully funded positions available, and applicants from any country
are welcome.

Our faculty members supervise research in a variety of areas:

  http://www.math.uwo.ca/graduate/supervisors.html

The Department of Mathematics is part of the School of Mathematical Sciences:

  http://uwo.ca/smss/

More information about our program, including the application
procedure, is available at

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

Students normally start in September, in which case applications
should be complete (including letters of reference and supplementary
material) by February 1.  Applications received after this deadline
will be reviewed as space permits.  Early applications are welcome,
and we encourage applicants to apply for external scholarships they
are eligible for.

Please contact math-grad-program@uwo.ca with any questions you may have.

-- 
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/CAEXhy3OWmW9OGOXw2THnrh-n1%3D5FXAUJ14oq_f7jdCoqssLPHQ%40mail.gmail.com.

                 reply index

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='CAEXhy3OWmW9OGOXw2THnrh-n1=5FXAUJ14oq_f7jdCoqssLPHQ@mail.gmail.com' \
    --to=k.kapulkin@gmail.com \
    --cc=homotopytypetheory@googlegroups.com \
    /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

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git