[Haskell] 6 Assistant professor positions in Utrecht

2018-01-04 Thread Swierstra, W.S. (Wouter)
We are currently advertising vacancies for 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) # Job description We are searching for motivated, excellent candidates, on the Assistant Professor level. You must have expertise in Computing an

[Haskell] Call for Participation: AFP Summer School in Utrecht

2018-04-16 Thread Swierstra, W.S. (Wouter)
# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 27-31 August 2018 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspirin

[Haskell] Vacancies for six Assistant Professor positions at Utrecht University

2019-01-15 Thread Swierstra, W.S. (Wouter)
We are currently advertising vacancies for 6 Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) We are particularly interested in candidates with expertise in functional programming, (automated) theorem proving and interactive proof assistants. # Job de

[Haskell] Utrecht Summer School on Advanced Functional Programming

2019-05-13 Thread Swierstra, W.S. (Wouter)
# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 27-31 August 2018 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate asp

[Haskell] (Online) Utrecht Summer School on Advanced functional programming

2021-05-06 Thread Swierstra, W.S. (Wouter) via Haskell
SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Online - 05-9 July 2021 http://www.afp.school # Call for Participation ## About The Advanced Functional Programming summer school has been running for more than ten years. We aim to e

[Haskell] Utrecht Summer School on Advanced Functional Programming 2022

2022-04-08 Thread Swierstra, W.S. (Wouter) via Haskell
# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 04 July – 08 July 2022 http://www.afp.school ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell p

[Haskell] Full professorships at Utrecht University

2022-05-10 Thread Swierstra, W.S. (Wouter) via Haskell
Utrecht University is currently recruiting four full professors in Computing Science. The exact research areas are not fixed -- but I'd love to see applications from the functional programming community: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/4-full-professors-in-in

[Haskell] Final call for participation: Advanced Functional Programming Summer School in Utrecht

2022-05-13 Thread Swierstra, W.S. (Wouter) via Haskell
# Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 04 July – 08 July 2022 http://www.afp.school **Please register before June 17th ** ## ABOUT The Advanced Functional Programming summer school has been running for more than ten year

[Haskell] Dutch FP Day - Call for participation

2022-12-07 Thread Swierstra, W.S. (Wouter) via Haskell
=== FP Dag 2023 30th Netherlands Functional Programming Day Friday, 06 January, 2023 CALL FOR PARTICIPATION https://set.win.tue.nl/nl-fp-da