[TYPES/announce] Post-doc in Programming Languages at IRIF (Paris)

Giuseppe Castagna gc at irif.fr
Tue Oct 4 11:31:13 EDT 2022


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.Castagna at irif.fr, Jose.Valim at 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$  >]



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221004/e49e41cf/attachment.htm>


More information about the Types-announce mailing list