Good day, dear community!
My name is Artyom, I am HRD at serokell.io
We are a fast-growing, fully-remote software development company that works on innovative solutions for complex problems. Some of you may know us for our marvelous blog 🙂

We’re seeking a senior-level Haskell software engineersenior-level Haskell software engineer to join a team of fierce and fun Serokellers.
We will be glad to see all questions, wishes and CVs at jobs@serokell.iojobs@serokell.io

о, недавно только вспоминали

Hello!

Digamma.ai is starting several potential projects related to the formal verification of computer software.
That's why we are looking for a Formal Verification Engineer to work in our team.

The ideal candidate should be able to do independent research, reading research papers, trying various experimental software systems. You will need to learn new programming languages and tools by experimenting, reading books, and taking online courses if required. Good English comprehension, quick learning, and information research skills are critical.

Remote work, full-time.
More details about the vacancy - https://cutt.ly/in5FmIV
To apply for this opportunity, please apply above or send your resume to
Telegram: @golden_salamandra
Skype: live:f9a5ed982dbafa01
E-mail: oksana@digamma.ai

если верить обязанностям, то вроде не ошибся чатом https://emurgo.breezy.hr/p/eb5c96768ff001-backend-engineer
вакансия от этой компании уже была опубликована в этом чате 11 июня, только с меньшим числом деталей

Выходит в первую очередь Rust требуется из языков. А Haskell "Any experience".

может быть или просто скопипастили не удачно с другой вакансии
кмк, надо на месте узнавать, что им надо

Раньше в emurgo на раст писали

Не знаю как сейчас

Кратко: Там скорее найти "тот редкий птиц" кто уже занимается formally verify imperative programming. Там явно хотят чтобы человек писал и (*sic) математически доказывал С код. Это следует из опросника, и в этом контексте перечитывая первоначальное описание становится понятно.

в касперыче нечто похожее делают для своей сверхзащищённой ОС

Да, есть ощущение, что вакансия, написана строго под одного конкретного человека (я не знаю под кого именно, но знаю, что такое бывает)

Да. Мы тоже ищем этого человека.

В целом ничего особенного чтобы верифицировать сишку нет. Просто это гемор лютый и надо уже руку набить чтобы не собирать все детские ошибки полтора года.

Мне отписали по ⬆️

Сказали что хотели бы задать мне ещё пару вопросов (вопросов небыло, а было:
 * Сказали что "С - это для примера" там. (Что тогда ещё страннее, о чём им описал и объяснил ситуацию что они многих просто распугают, посоветовал для такого pseudocode | Pascal | Lisp. А С в первую очередь подходит для теста знаний hardware).
 * И попросили "закончить форму" (имея ввиду заполнить её заново). Ведь поля "образование" и "карьера" честно оставил пустыми, так как они их не подтянули из профиля, если бы образование и биография их беспокоили - то подтягивали бы в стандартной форме. Да и безсмысленно заполять, когда CV даёшь. Иначе ... ну вы знаете какая безсмысленность везде вручную свою историю повторять <> повторять <> повторять, в прихоть формы веб-формы, это же не традиция устной передачи.
Уже чесно на вопросы которые важны для работы/вакансии ответил, вечер просидел давая моё понимание вменяемо развернутого ответа. Когда говорят "как будет пара минут, дозаполняёте форму" а там вопрос - всё виды эквивалентности (которе существуют) двух функций на С - зачем я им нужен если они могут такое за пару минут раскрыть.

Ну в общем. Похоже что хоть и приятно и аккуратно, но пытались обмануть, что "может я не замечу что буду заполнять форму второй раз".

Не обманывайте, особенно Haskell'истов, у них в основном в голове что-то да есть и у них натренированное чувство искренности - они замечают манипуляции и будут просто обходить стороной.

Говорят что "С там для примера". Мой жизненый опыт говорит что это не так, что скорее всего вопросы по битам и С с тонкими деталями синтаксиса - там как раз по внутренним причинам (как минимум руководителя). Хоть и приятно, но старались отманипулировать как дурачка. Интерфейсиирование у кадровика нормальное.

Из этого мой вывод прежний: кто может в таких начинаниях работать, и кто верифицирует С/С++, и судя по всему они действительно ещё не определились с другими темами что выбрать/хотят для чего, потому там тому кто может поставить авторитет - будет некоторое пространство для маневра, кому такое течение событий интересно - туда подойдет.

Я пособеседовался. Цель-таки да, верифицировать всякий low level C, причем уже существующий. Инструменты планируются VST/Coq, но если будет человек с другой экспертизой и сможет убедить, они готовы рассмотреть. За проект "болеет" сам CEO компании, который вполне "в теме" (написал диссертацию с проектом, реализованным на Coq). Ремоут, парт-тайм -- ок. Не ок работать из РФ.
PS Да, после заполнения формы и мне пришло письмо "пожалуйста, заполните форму", у них глюк похоже на сайте, письмо я проигноривал, но ответы мои они прочитали.

Добрый день. Ищу желающего кто может за деньги написать академическое задание. Оно поделено на две части, первое на CLI, второе с GUI на библиотеке Gloss

Gloss: https://hackage.haskell.org/package/gloss

Senior Haskell Developer, Luxoft:

https://career.luxoft.com/job/senior-haskell-developer/284972/

We're looking for another Haskell developer at Supercede: https://news.ycombinator.com/item?id=28038257

Всем  огромный привет! Команда https://platinum.fund/en в активном поиске разработчика с огромным желанием учиться и работать с  Cardano - Plutus


Наши требования:
- усидчивость и желание учиться haskell/plutus;
- фулл-тайм занятость на проекте;
- опыт написания промышленного кода от 1 года на Java/C#/C/C++/Haskell/Python – не принципиально, какой из этих ЯП;
- понимание концепции блокчейн и архитектуры смарт контрактов.

Какая задача перед тобой стоит:
- разработка финансовых инструментов  в инфраструтктуре Cardano (с помощью спецов своего дела).

Что мы предлагаем:
- полностью remote (только Удаленка) ;
- постоянное обучение блокчейн и помощь специалистов;
- 2000-3500$ по результатам собеседования. Контакт: ТГ @Nasyanastasya

что-то работодатели косяками пошли

особенно те, кто уже недавно приходил