Знайти вакансії зі знанням Haskell

Сполучені Штати

90 $ – 110 $ / година

ВіддаленоЧасткова зайнятістьСередній рівеньСтарший спеціалістОбов’язкова Мова: англійськаІнженер

Створюйте й перевіряйте докази в Lean 4 для лабораторії ШІ, формалізуйте математику та оцінюйте роботу ШІ над доведенням теорем.

Сполучені Штати

90 $ – 110 $ / година

ВіддаленоЧасткова зайнятістьСередній рівеньСтарший спеціалістОбов’язкова Мова: англійськаІнженер

Пишіть і перевіряйте докази на Lean 4 для лабораторії ШІ, формалізуйте математику й оцінюйте роботу систем ШІ з доведення теорем.

КанадаСполучені ШтатиКаліфорніяНью-ЙоркОрегон

200 700 $ – 250 900 $ / рік

ВіддаленоПовна зайнятістьСередній рівеньСтарший спеціалістОбов’язкова Мова: англійськаКерівник інженерного відділу

Керуйте командою Mercury, яка розробляє банківські рахунки, і створюйте надійні системи для керування клієнтськими рахунками та переміщення коштів. Розвивайте старших інженерів, одночасно підвищуючи надійність, ефективність постачання та операційну готовність.

КанадаСполучені ШтатиКаліфорніяНью-ЙоркОрегон

55 $ / година

ВіддаленоСтажуванняПочатковий рівеньВища освіта не потрібнаОбов’язкова Мова: англійськаІнженер-програмістФулстек-інженер

Приєднуйтеся до Mercury як віддалений стажер з розробки ПЗ і працюйте над фінтех-продуктами на TypeScript та Haskell. Долучайтеся до створення фронтенд-, бекенд- або full-stack-функцій, якими користуються понад 300 000 компаній.