[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