From: Benno van den Berg <benno...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: PhD position at the ILLC, University of Amsterdam
Date: Tue, 10 Jan 2017 04:54:34 -0800 (PST) [thread overview]
Message-ID: <bcf41922-5bef-49b1-bc2d-8bd28f83c748@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 727 bytes --]
Dear all,
The Institute for Logic, Language and Computation (ILLC) at the University
of Amsterdam currently has funding for one PhD position at the Faculty of
Science, starting on 1 September 2017 (or shortly thereafter).
Applications are now invited from excellent candidates wishing to conduct
research in an area within ILLC that fits naturally in the Faculty of
Science. The application deadline is 15 February 2017.
More information can be found here:
http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/8495/PhD-position-at-ILLC
If you are interested in category theory/constructivism/(homotopy) type
theory and you are interested in applying, please do not hesitate to
contact me.
Best wishes,
Benno
[-- Attachment #1.2: Type: text/html, Size: 993 bytes --]
reply other threads:[~2017-01-10 12:54 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=bcf41922-5bef-49b1-bc2d-8bd28f83c748@googlegroups.com \
--to="benno..."@gmail.com \
--cc="HomotopyT..."@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
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).