[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]The Research Institute on the Foundations of Computer Science (IRIF <https://urldefense.com/v3/__https://www.irif.fr/en/index__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_let3L2PIf$ >) in Paris is collaborating with Dashbit <https://urldefense.com/v3/__https://dashbit.co/__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_lerRLrHbn$ > and José Valim, the author of the Elixir language <https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Elixir_(programming_language)__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_leoy4V2IA$ >, to define and implement a type system for the language.
A 14-month post-doc position is available at IRIF to work on the type system.
Full announcement: Elixir Post-doc <https://urldefense.com/v3/__https://www.irif.fr/*gc/postdocRecordsElixir.en.html__;fg!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_levf7m05O$ >
Contact: giuseppe.casta...@irif.fr, jose.va...@dashbit.co Expected start: end 2022, early 2023[see also: IRIF post-doc available positions page <https://urldefense.com/v3/__https://www.irif.fr/postes/postdoc__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_lesFjMVSm$ >]
