Loading feed…
Elixir Forum0 Hot0 comments1 min read
Postdoctoral Position in Type Systems for Elixir (IRIF, Paris)
AI summary
IRIF tại Paris đang tuyển vị trí postdoctoral tập trung vào gradual typing và semantic typing cho module system của Elixir. Vị trí nghiên cứu này nhằm mục đích cải thiện type inference và kiểm tra kiểu trong ngôn ngữ Elixir vốn đã có động thái type checking với Dialyzer. Nghiên cứu sẽ tập trung vào cách kết hợp static và dynamic typing một cách linh hoạt để nâng cao độ an toàn của code. Dự kiến ứng viên sẽ làm việc với các công cụ như Elixir Compiler và BEAM VM, đồng thời phát triển các kỹ thuật mới cho gradual typing trong hệ thống module của Elixir.
Why read it: Vị trí nghiên cứu sau tiến sĩ về hệ thống kiểu ngữ nghĩa cho Elixir mở ra cơ hội quý giá để đóng góp vào sự phát triển của ngôn ngữ lập trình này.
What do you remember?
Answer 3 short questions to earn reward points for this article. Only do it if you want the points.
up to +17 points
3 questions · under a minute · optional
Source: https://forum.elixirforum.com/t/postdoctoral-position-in-type-systems-for-elixir-irif-paris/76957. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Recommended for you
Bình luận
Đang tải bình luận…
