Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* PhD position at the ILLC, University of Amsterdam
@ 2017-01-10 12:54 Benno van den Berg
  0 siblings, 0 replies; only message in thread
From: Benno van den Berg @ 2017-01-10 12:54 UTC (permalink / raw)
  To: Homotopy Type Theory


[-- 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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2017-01-10 12:54 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-01-10 12:54 PhD position at the ILLC, University of Amsterdam Benno van den Berg

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).