Banner that links to Serokell Shop. You can buy cool FP T-shirts there!

We’re seeking an experienced software engineer to supervise a team of Haskell developers.

We Are Hiring a Haskell Team Lead

Serokell is a fast-growing, fully-remote software development company that works on innovative solutions for complex problems in fields like biotech and data science. We’re packed full of adventurous, curious, and inclusive folks that want to build cutting-edge software with modern technologies like functional programming.

We’re seeking an experienced software engineer to supervise a team of Haskell developers. Our work is not only limited to Haskell development, so you will sometimes have to delve into and supervise other fantastic things, such as **research**, **frontend,** or **packaging**.


## **Duties**

Your primary responsibility will be to be the leader of a Haskell devotee team; the person eager to **review solutions**, **advise**, and **propose your own ideas**.

As a team lead, you will be responsible for:

*   **weekly** **status updates** and **monthly reports** to the customer
*   reviewing **PRs** and modifying code if necessary
*   assessing every member of your team by providing **fair** **feedback**
*   helping **team members** achieve their career goals
*   evaluating **top candidates** in case of team expansion
*   supervising **research** in the project you're leading


## **Requirements**

*   **solid understanding** of Haskell or a **strong will** to learn it
*   previous **experience** with managing software development teams
*   **spine of steel** for robust software development
*   **capacity** to review a lot of code
*   **determination** to manage issues
*   **openness** to new languages – be it Elixir, OCaml, or TypeScript.

Last but not least! We hope you like **Nix** as much as we do. We use Nix for plenty of things, although we do sometimes use other platforms like Docker too. Luckily, we have a dedicated team of Nix experts who are always happy to help.

By joining Serokell, you’ll become a part of a warm community of ingenious engineers, computer scientists, designers, marketing experts, and other inventive people. You will be able to take part in ambitious projects that work on building the next generation of computer software, try out crazy initiatives unhindered by bureaucracy or judgment, and have fun in our Slack channels that range from #music to #butthurt (did we mention the huge custom emoji set?).

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

### Hi everyone! 

Let us tell you what happened at **FPure Conference in Kazan**.

The main event list of speakers was amazing – actually, it was expected from the only functional programming conference in Russia.

Alexander Granin, lead of the Novosibirsk LambdaNsk community, talked about two different approaches in functional programming – Final Tagless and Free Monad. [Vitaliy Bragilevsky ](http://https://twitter.com/_bravit) from SFEDU made a short lecture about building a compiler, and Alexey Pirogov from Hexlet talked about functional design and FP patterns.

What about us? Our haskellers [Danya](http://https://twitter.com/CartesianClosed) and Rinat performed excellently (congratulations once again!) It was a great opportunity for guys to represent their work and shake some hands, of course.

Our engineers gave a talk about approaches and problems of the type-driven development in Numeric Haskell. The visitors were posting their impressions online on Twitter. We selected some of the tweets to share with you.

https://twitter.com/_bravit/status/1132201805797052416
“They’re telling programmers about Presburger arithmetic. This is useful!”

https://twitter.com/xufocoder/status/1132202918923440128
“It seems that I’m starting to understand what is happening here. The dimension of the matrices cannot be controlled with the types that guys use when they solve their ML tasks. This problem can be solved using dependent types, but Haskell doesn’t have this feature! What to do? Emulate.”

https://twitter.com/xufocoder/status/1132206956788297728
“If your code is simple and the algorithm is not COMPLICATED, you may skip messing around with dependent types in your Haskell programme. But if you need to deal with it, remember that you will have to make efforts to prove your code is correct to the compiler at least.”

Meanwhile, Danya and Rinat are writing the next chapters of their series “Dimensions and Haskell”. 
“The second and third parts of the article series are going to be the most intense. In the blog post, we’re going to depict how we solved the issues and where our approach came from. After that, we will show various examples and explain how the approach is useful.

A couple of words about our approach. It can be applied not only to dimensions but to any parameters. It can be designed as a library which is compatible with any of matrix libraries and allows separating an algorithm from the proof of its correctness. But no more spoilers! Just believe me, it’s going to be hot.” 
– Danya Rogozin

The second part of the series is coming soon, stay tuned!

Serokell leverages functional programming to create bespoke solutions for a wide range of industries, including [biotech software](https://serokell.io/biotech-software-development), fintech and edtech platforms, and more. Contact us to discuss your idea!

Serokell at FPure 2019

Serokell Launches a Scholarship Together With ITMO

Learn more about the Serokell scholarship – our contribution to the future of computer technologies.

Education and [support of science](https://serokell.io/fintech-development) are one of the main goals of the Serokell. Our interactions with academy are manifold: many of our employees also lecture at universities and we run our own [research lab](https://serokell.io/labs) together with [ITMO](https://en.itmo.ru/en/).  
 
## Supporting students of computer technologies
 
For this reason, since June we have been contributing to a fund held by ITMO, the goal of which is to support all scientific activities of the computer technologies department of ITMO. Other notable supporters include large IT firms such as Yandex, JetBrains, Mail.ru. 
 
These contributions have resulted in the creation of the Serokell scholarship – monthly awards for the best performing students in computer technologies at ITMO. For the next half year, these 9 students will be receiving a monthly stipend of a considerable amount so that they could focus more on their studies.

![Serokell's CEO Arseniy Seroka with one of the students](/files/b6/b69w93yc.IMG_20200304_195239_563_(1).jpg)

## Investment in the future is worth it  
 
According to our CEO Arseniy Seroka:  

> Additional work spent on studies significantly impacts the prospective results of future programmers, but it is hard for students to afford this investment. This scholarship will allow those with good marks to achieve the best results they can. 
 
This is the first time anything like this has happened in the faculty, and we are excited to make our mark on the future of computer science. If you want to read more about the myriad ways we support and grow the next generation of developers, head to [this article](https://serokell.io/blog/serokell-grows-next-generation) on our blog.

Serokell at NixCon 2019

Did you attend NixCon 2019? Read our report to get more information about what happened at the conference and our latest project for the Nix ecosystem.

On October 25-27, we participated and were gold sponsors in [NixCon 2019](https://2019.nixcon.org/), a community-oriented conference for Nix and NixOS. NixCon is one of our most favourite events, one to which we keep returning over and over again to meet with the Nix community and help push the technology forward. 


## Main Conference for Nix Enthusiasts 

![NixCon is an annual conference where Nix users share their experiences of working with and improving Nix and its ecosystem.](/files/vl/vl16r5nx.nixcon2019.jpg) 

This year, the conference was set in Brno, a lovely city in the Czech Republic, and consisted of two days of talks and one day of hacking, aptly called Hackday.

On the second day, Serokell’s engineer Lars Jellema presented his work regarding Nix: a Nix expression formatter, nixfmt. 

You can try it on your expressions at [https://nixfmt.serokell.io/](https://nixfmt.serokell.io/) and get it on [GitHub](https://github.com/serokell/nixfmt).

![Lars Jellema presenting nixfmt](/files/6j/6jambvuj.20191026_112902_(1).jpg)

If you want to enjoy a part of the NixCon experience, you can watch talks from the conference (including our own) on [NixCon's Youtube channel](https://www.youtube.com/watch?v=aUG9aGYYCY8&feature=youtu.be&t=5596). 

## Innovating for Nix

It was a pleasure for our members to both listen to innovative talks on Friday and Saturday, and hack on Nix on the Hackday on Sunday. 

**Some highlights:** 

*   We had the opportunity to hack on a GUI installer for NixOS based on the Calamares framework. This spawned a whole project that our engineer Lars is still working on! 
*   We got to see people get NixOS working on their Android devices, that’s amazing. 

![NixOS on a mobile device](/files/5t/5t3mtoe2.20191025_192101_(1).jpg)

*   We got to meet with Nix people at the wonderful places and restaurants of Vienna and Brno. These evening and night-time conversations are, obviously, the best part about conferences.  

Thanks to everyone who participated, see you next year! 

![CTO on an electric scooter](/files/4w/4wdamhbc.20191025_211229_(1).jpg)