Post-doc project for polymorphic records in dynamic languages (Erlang/Elixir)

Hi everyone,

I would like to announce there is an open position for a post-doc project to research polymorphic records in the context of Erlang/Elixir: Giuseppe Castagna: Post-doc project description

The proposal mentions Elixir, but the data types and their usage are the same in Erlang and Elixir, so the project and its theoretic results apply equally to both languages.

For more context, I have published an article about set-theoretic types in the context of Elixir (which, once again, would fully apply to Erlang) here: My Future with Elixir: set-theoretic types - The Elixir programming language

So if typing theory is an area of interest, please do consult the linked page.

PS: Moderators, I was undecided between posting this in the Jobs category or as a general discussion, so I chose the latter. Please feel free to move it around if I got it wrong. :slight_smile:


Sounds like a great opportunity for a typing fan! I’m sure lots of people will look forward to seeing what comes of this :smiley:

1 Like