Haskell Jobs
776 subscribers
1 file
66 links
Vacancies in the Haskell industry

Send your CV to @haskell_cv

General discussion in @haskellru, @haskell_learn, @en_haskell

See also https://gitter.im/ruHaskell/jobs

To post a job send mail to haskell-job@cblp.su
Download Telegram
to view and join the conversation
Forwarded from Nick Ivanych
Всем привет!
Объявляю вакансию на хаскелевого разработчика в Тиньков.
Требуется хороший общий уровень и знание вещей, нужных для серверной части.
В частности, хорошо ориентироваться в хаскелевом concurrency.
Писать в мой личный телеграм, там договоримся.
Рассматриваются кандидаты и на удалённую работу.
В качестве бонуса, лично научу ̶р̶о̶д̶и̶н̶у̶ категории знать и любить ;-)
Мы в IOHK.io всегда ищем хаскелистов, чтобы создавать самые верифицированные блокчейн Cardano и криптовалюту ADA. Международная распределённая компания, remote-first.

Список вакансий: https://apply.workable.com/io-global

Scala, JavaScript — тоже милости просим. Менеджеров и тестировщиков тоже не хватает.

Резюме шлите мне — @cblp_su
Forwarded from Vasiliy Storchak
Всем привет!

Хочу предложить рассмотреть вакансию Haskell Developer.
Кому могло бы быть интересно рассмотреть предложения (локация Украина) - буду рад поделиться деталями.


Удаленно - ок. Проект израильский, нужен английский от intermediate и выше.
Готовы рассматривать кандидатов любой сеньорности.
Проект: content publishing platform -
предоставляющая возможность клиентам облегчать работу с данными, измеряет и предостовляет аналитику бизнеса
в целях улучшения взаимодействия с пользователями.

https://jobs.ciklum.com/jobs/haskell-developer-for-zoomin-software/

Спасибо и хорошего дня!
Forwarded from Kseniya
Всем привет!

Наша команда Tinkoff.ru ищет Haskell-разработчиков, чтобы погрузиться в удивительный мир чистого функционального программирования на проект Tinkoff Travel. Уже сейчас мы активно тесним лидеров рынка путешествий, используя самые передовые технологии IT и нашу любовь к клиентам!

Задачи:
🟡Проектирование и разработка новых фич
🟡Увлекательная стриминговая обработка данных
🟡Работа с чистым языком с чистой системой эффектов в суровом production
🟡Захватить Россию
🟡Захватить мир

Требования:
🟡Опыт haskell в production от 1 года
🟡Знание concurrency

Кому интересно, пишите, обсудим детали! @kseniyahr
Senior software developer, Typeable

Typeable is a developer of high-assurance software that drives the business of our clients. Established in 2014, Typeable is working with international clients (USA, Europe) from various industries such as banking, life sciences, and tourism.

Join us as a Senior Software Developer to be a contributor in a technology innovation movement and be on the frontier where Business goals meet Functional Programming.
We are looking for professionals who could fit into the team. Ready to grow with the company and contribute to the business success.
Key requirements:

• Good understanding of the whole development process steps and principles
• Good grasp of software architecture concepts
• Solid knowledge of Haskell, its ecosystem, and FP in general
• Comfortable use of databases and development tools, such as version control systems
• Passion for writing robust and correct software
• Ability to take responsibility for the decisions and actions
• Balance between autonomy and teamwork when making working decisions
• Comfortable with written and spoken English
• Ability to work within UTC+0 to UTC+6 timezone range
Additional requirements:

• Passion to share the knowledge within a company or community
• Experience with Haskell codebases from 10KLOC and bigger
• Experience with high-assurance and critical software
• Experience leading a team of developers
• Rust and/or C knowledge
• Open Source Projects to demonstrate your skills
We offer:

• Work with an amazing technical team on various challenging projects
• Modern remote-first workplace (Moscow office near Novoslobodskaya/Mendeleyevskaya subway station or remote)
• Full-time employment
• Competitive salary
• Flexible working hours
• Official working status for Russian federation citizens or contract for candidates from Eastern Europe

https://typeable.io/job/senior-software-developer.html
Ищем специалистов со стеком Haskell/Cardano любого уровня
Удаленка из любой страны
Парттайм/консультирование, в удобном режиме)
По рейту точно договоримся😉
Детали в личку @Helen_Blb

--
Elena Bulbenova
HR manager, Platinum

hr@platinum.fund
https://www.platinum.fund
Forwarded from Mark Florisson
Hi all! Not sure if this is the right place (feel free to point me elsewhere), but MLabs has 2 open Haskell positions, feel free to DM for details or email mark@mlabs.city
Forwarded from Raghu Kaippully
My employer Awake Security (now part of Arista) is hiring two Haskell engineers. You can reach out to me if you have questions/interested in the position. https://www.reddit.com/r/haskell/comments/nkzcb6/haskell_team_openings_at_awake/
Привет!

Kaspersky ищет бравых разработчиков операционных систем и для них компиляторов. У нас есть микроядерная ОС, описания поведения программ логиками (например, темпоральной), и компиляция описаний в рантайм-монитор.

Ищем:
- хаскеллистов с интересом к системщине
- системщиков с интересом к хаскеллю и выравниванию байт
- специалистов по компиляторам: у нас свой в C
- знатоков формальных методов (TLA+, Agda/Coq): для применения к ядру и IR

Пишите @icrbow.
Forwarded from Andrey Grigoriev
Всем привет!
Мы с нашим тех. диром Колей Кудасовым ищем haskell разработчиков (удаленно/в офис в Москве на выбор) к нам в GetShop.TV

Мы используем 100% Haskell для всех наших серверных приложений (и немного для вспомогательных утилит и даже немного для фронта). А это значит, что у нас всегда найдутся для тебя интересные задачи в разных частях нашего проекта!

Основная часть разработки — это рекламные сервера (речь не обязательно только о рекламе, мы работаем с различным интерактивным контентом). Мы предлагаем технологии для различных платформ и типов рекламных размещений, от стандартной видео-рекламы в онлайн-кинотеатрах до сложных интерактивных креативов на IPTV-приставках (которых у нас более 7,5 млн.) с синхронизацией с прямым эфиром на федеральных телеканалах. Всё это предлагает интересные задачи как для серверной разработки, так и для хранения, мониторинга и анализа данных. И для большинства из этих задач мы используем Haskell 🙂

Подробное описание http://getshoptv.com/ourteam/haskell-developer/

откликнуться: написать в обратную связь или мне в личку.
Forwarded from Shelest HR
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 engineer to join a team of fierce and fun Serokellers.
We will be glad to see all questions, wishes and CVs at jobs@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
Just a friendly reminder that most of the vacancies above are still active
Forwarded from Artyom
Опять ищем хаскелиста в Монадфикс (monadfix.com) на джаспеевский проект по транспиляции бекенда на пурсе в хаскель. Через где-то полгодика будут еще другие проекты, думаю

Удаленка, более-менее фултайм — восемь часов в день никто не заставляет работать, просто чур не совмещать с другим фултаймом. Вилка $25–35/час

Оплачиваемое тестовое — заимплементить кусочек из бинарного протокола постгреса. Примерно соответствует по сложности тому, чем придется заниматься на работе (копаться в каких-то стремных штуках)

Пишите Кане @kana_sama, он заодно сможет больше рассказать, как у нас работается
Тинькофф => вакансия Haskell-разработчика

Проект: Тинькофф Путешествия (экосистема путешествий на базе платформы Tinkoff.ru: сервис для путешественников, в котором можно покупать авиа- и ж/д- билеты, забронировать отель или машину, подобрать туры онлайн).
Что ждем от вас: опыт Haskell в production от 1 года + знание concurrency
Формат работы: удаленка / гибрид / офис (на выбор).

За деталями сюда – @dshurueva.
Forwarded from Andrey Grigoriev
Всем привет!
Мы с нашим тех. диром Колей Кудасовым опять ищем haskell разработчиков (удаленно/в офис в Москве на выбор) к нам в GetShop.TV

Мы используем 100% Haskell для всех наших серверных приложений (и немного для вспомогательных утилит и даже немного для фронта). А это значит, что у нас всегда найдутся для тебя интересные задачи в разных частях нашего проекта!

Основная часть разработки — это рекламные сервера (речь не обязательно только о рекламе, мы работаем с различным интерактивным контентом). Мы предлагаем технологии для различных платформ и типов рекламных размещений, от стандартной видео-рекламы в онлайн-кинотеатрах до сложных интерактивных креативов на IPTV-приставках (которых у нас более 7,5 млн.) с синхронизацией с прямым эфиром на федеральных телеканалах. Всё это предлагает интересные задачи как для серверной разработки, так и для хранения, мониторинга и анализа данных. И для большинства из этих задач мы используем Haskell 🙂

Подробное описание https://hh.ru/vacancy/48848848

откликнуться: на hh или мне в личку. С вас ссылка на git
Forwarded from Sergey Cherepanov
Middle+ Backend Engineer - Haskell

About us
Placid Money is an ambitious US fintech that changes how Americans use $1T (yes, trillion:) of credit card debt 🚀. Placid turns debt into savings:

We provide low interest credit lines to refinance expensive credit card debt
We build investments from interest and fees that we help save

Mission
We are on a mission to make credit cheaper for those who need it most and help people leverage credit to become better off financially.

Our guiding principle is maximum impact, minimum disturbance — giving our customers the easiest way to create assets out of liabilities without much disruption to their financial lives.

Culture
We're a remote squad. We praise autonomy, self-motivation and self-management. We expect everyone to truly care about what they do, take pride in how they do it and strive for self and team improvement.

We believe we're working on some really cool things that will make a dent for society as a whole and hope everyone who joins will find it fascinating to connect the dots between their work and the impact it has.

If you love technology and helping people - we'd love to talk.

Position
We are looking for an experienced backend engineer, no matter what programming language you typically use, to help us develop core fintech features and scale. It's a great opportunity for those who love/would like to learn Functional Programming and want to work with Haskell as their primary language. You'll be a part of a small tight team, designing the core architectures and foundations for product growth.

Tech
Backend stack: Haskell + AWS + Postgres
Monolithic web-backend with Persistent/Esqueleto (DSL for type-safe SQL queries) and Servant (DSL for type-safe API)
All infrastructure is hosted on top of Docker and AWS, entirely automated with Haskell code
In this role, you'll be writing code in Haskell and occasionally work with our PostgreSQL database or AWS infrastructure. If you're familiar with AWS or SQL superficially, don't worry — we'll ensure you have the training and support you need.

Requirements
We expect just 3 things:
- solid understanding of how distributed web systems work
- basic Haskell knowledge; no type-level fancy extensions are required
- good English reading / writing skills
No formal degree is required.


You'll get
- stable compensation $2,500-$5,000
- flexible hours, remote setup
- autonomy and influence
- applied Haskell experience in a large-scale setting
- globally resellable and highly in-demand experience in FinTech
- work closely with the founding team in an open, fast moving and fun environment
- experience with launching products in the most competitive market in the world
- steep learning curve across a wide range of hard and soft skills and responsibilities
- contribute to building products with a big social mission and world class customer experiences
Forwarded from Rare God
Всем привет! Мы ищем опытных разработчиков в сфере Blockchain, NFT, DeFi уровня senior.

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

Нам нужны разработчики Haskell с опытом разработки в области блокчейна и/или DApp (виртуальная машина Ethereum, Web3). Владение по крайней мере одним из языков Haskell, Plutus, DevOps. Подробнее: https://clck.ru/YTmPK
Forwarded from Arseniy S
Senior Haskell Engineer @ Serokell

We’re seeking a senior Haskell software engineer to join a team of fierce and fun Serokellers!🤗

Serokell is a fast-growing, fully-remote software development company that works on innovative solutions for complex problems.

We require solid knowledge of🤓:

• Haskell 98 features. Writing your own typeclasses. Using applicative functors. Using monad transformers and understanding the most important library ones’ ins and outs (e.g., ReaderT, StateT).
• Modern Haskell ecosystem. We will ask you to use text, mtl, basic lenses, Stack/Cabal, type families, QuickCheck/Hedgehog. You will have to use the existing Template Haskell (as opposed to writing your own).
• Algorithms and data structures. Fundamental ones, like binary search tree, DFS, hashtable, quicksort, etc.
• Computer networks. HTTP, TCP/IP stack. Understanding of poll- and push-based data synchronization models and their usage in modern service APIs.
• Good coding culture. Code structuring and decoupling, patch management with git, code review practices.
• Proficiency in English at a level not lower than C1
• Self-organization. To a decent level.

Good-to-have, but not crucial😉:

• Cryptography. Fundamental knowledge, public/private keys, signing, encryption, hashing.
• Parsers. Writing your own parsers, using parser combinators and/or parser generators.
• Haskell. Experience with popular libraries for real-world problems (web servers, streaming like conduit, serialization, databases, etc.); advanced type-level features: GADTs, DataKinds.

What do we offer😎?

• Competitive salary
• Attractive international projects
• Participation in the leading world conferences
• International teams and multicultural environment
• Fully remote work and flexible working hours
• Possibility to take days off any time you need
• Rapid salary growth
• Fast professional and career growth
• Mentoring and training
• English language courses

By joining Serokell, you'll become a part of a warm community of skillful engineers, computer scientists, designers, and marketing experts👌

If you’re ready for the adventure of your life, contact us via email: jobs@serokell.io or @VereneyaRu