There's a 3 year postdoc position available, to work with me on Interactive Type Driven Development in Idris. Closing date 26th November, please spread the word! https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb …
-
-
This Tweet is unavailable.
-
Whoever said you have to have just done your doc? Job description says "have (or be about to obtain) a PhD"... I think you qualify! :)
1 reply 0 retweets 1 like -
Especially if you can find us a castle to work in...
1 reply 0 retweets 0 likes -
I think FP has enough walls already...
1 reply 0 retweets 0 likes
Indeed. Sadly. Though, I can't decide whether to say "one of the goals of the project is to knock them down and make it more accessible" or "St Andrews castle doesn't have many walls left"...
4:18 PM - 30 Oct 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.