(мне понравилось постить интересные вакансии, так что мучайтесь)
Значешь функциональные языки (Haskell), имеешь опыт работы с theorems provers и формальными методами? Имеешь опыт разбработки (e)DSL и компиляторов? Отлично знаешь теорию типов? У тебя просто 4 мозга вместо одного? И ты просто хочешь побывать в Швеции? не пропусти!
https://www.linkedin.com/jobs2/view/10989030
Значешь функциональные языки (Haskell), имеешь опыт работы с theorems provers и формальными методами? Имеешь опыт разбработки (e)DSL и компиляторов? Отлично знаешь теорию типов? У тебя просто 4 мозга вместо одного? И ты просто хочешь побывать в Швеции? не пропусти!
https://www.linkedin.com/jobs2/view/10989030
(I liked to post interesting vacancies, so suffer)
Do you know functional languages (Haskell), have experience with theorems provers and formal methods? Have experience developing (e) DSLs and compilers? Do you know type theory well? Do you just have 4 brains instead of one? And you just want to go to Sweden? do not miss!
https://www.linkedin.com/jobs2/view/10989030
Do you know functional languages (Haskell), have experience with theorems provers and formal methods? Have experience developing (e) DSLs and compilers? Do you know type theory well? Do you just have 4 brains instead of one? And you just want to go to Sweden? do not miss!
https://www.linkedin.com/jobs2/view/10989030
У записи 4 лайков,
2 репостов.
2 репостов.
Эту запись оставил(а) на своей стене Alexander Vershilov
