Serokell is Mentioned Among the Top European Developers
Serokell is Mentioned Among the Top European Developers
Serokell is mentioned among the top European developers on the independent IT market research platform goodfirms.co. We got to the top 10 for several directions, including the leading AI firms, the best blockchain technology companies, the top big data analytics companies, one of the best Internet of Things companies, etc.
It’s a pleasure to be listed among IT industry leaders by independent researchers like GoodFirms.
More from Serokell
Serokell Contributions to the Next Generation
We at Serokell believe in self-development and practical appliance of latest scientific inventions, that’s why we support students and gladly hire young specialists. We feel that our position is not only beneficial for business but also makes the world a better place.
.jpg)
Haskell at 200 MPH: Interview with Arseniy Seroka
How to build a company of good friends that help each other? Listen to Arseniy's interview with HuntIT to find out the answer.
Constructive and Non-Constructive Proofs in Agda (Part 3): Playing with Negation
In the previous post, we briefly introduced the reader to dependently typed programming and theorem proving in Agda. Now we present an empty type to work with constructive negation. We discuss Marko…