Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Multiple faculty positions in Theoretical Computer Science at the University of Amsterdam
@ 2022-01-27 11:51 Benno van den Berg
  0 siblings, 0 replies; only message in thread
From: Benno van den Berg @ 2022-01-27 11:51 UTC (permalink / raw)
  To: Homotopy Type Theory

[-- Attachment #1.1: Type: text/plain, Size: 2194 bytes --]

Dear all,

The University of Amsterdam has advertised multiple faculty positions in 
Theoretical Computer Science. Please find the advert below.

Best wishes,



Deadline: Monday 7 February 2022 

Are you working at the forefront of theoretical computer science and are 
you equally passionate about research and teaching in this field? Are you 
looking forward to taking the next step in your career and are you excited 
about joining a renowned interdisciplinary research institute with a strong 
international orientation?

The Institute for Logic, Language and Computation <https://www.illc.uva.nl/> 
(ILLC) at the University of Amsterdam (UvA) is seeking to significantly 
strengthen its profile in the domain of theoretical computer science by 
appointing two new faculty members in this area. One appointment will be 
made at either the Full Professor or the Associate Professor level, and 
another at either the Associate Professor or the Assistant Professor level.

We are looking for outstanding academics, with a strong track record in 
research (relative to the level of seniority of the applicant) and a true 
dedication to first-class teaching. We offer a temporary employment 
contract for a period of two years, with the intention of converting it 
into a permanent contract after a positive assessment.
For more information, see http://www.illc.uva.nl/
or at https://vacatures.uva.nl/UvA/job/Faculty-Positions-in-
Theoretical-Computer-Science/737826402/ or contact Prof. dr. Ulle Endriss 
at U.Endriss at uva.nl. 

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/32f1a802-22f6-4b94-831e-df624d1efe2fn%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 2912 bytes --]

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

only message in thread, other threads:[~2022-01-27 11:51 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-27 11:51 [HoTT] Multiple faculty positions in Theoretical Computer Science at the 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).