Signify Technology
Signify Technology
Signify Technology is the only tech recruitment company to specialise purely in Scala. Our aim is to help the Scala community to grow whilst giving back to the community. We are sponsoring many key Scala events around Europe & the USA. Signify provide permanent and contract technology recruitment solutions to a wide range of the world's leading brands who are using Scala at scale.
We are currently helping brands across 17 countries, some of the clients that already trust us include- Lightbend, Twitter, Xing, Zopa, ITV, Zalando, OVO Energy, Rally Health, Getty Images and many of the world’s fastest growing start-up’s. Behind each piece of technology changing the world, is a person, it's our mission to introduce them to the companies that need them the most. We look forward to meeting you, come over say hi to the team and grab some merchandise.
Upcoming Events
-
ScalaCon 2022
Four days - Online Conference
ScalaCon is a virtual conference designed to bring the Scala community closer together. October 4-7
software-development scalacon scala -
F# eXchange 2022: In-Person
Two days in London
F# eXchange returns to London for two days packed with expert-led keynotes, breakout sessions and practical, coding-based talks.
software-development f# -
F# eXchange 2022: Online
Two days - Online Conference
Connect with an international community of F# enthusiasts as we explore this powerful programming language across two days packed with expert-led keynotes, breakout sessions and practical, coding-based talks.
software-development functional-programming f# -
Haskell eXchange 2022: Novice Track
One day - Online Conference
If you've heard of Haskell, but aren't sure where to begin, join us online 7 December for a day of free talks exploring the fundamentals of functional programming, the basics of Haskell, and answers to why teams use this increasingly popular language!
software-development functional-programming beginner haskell -
Haskell eXchange 2022: In-Person Conference
Two days in London
We're thrilled to once again welcome the Haskell community to CodeNode in London, where you'll meet hundreds of like-minded Haskellers face-to-face, discuss new technologies, and learn new skills through practical, coding-based sessions, as we explore what's new and what's next in...
software-development haskell -
Haskell eXchange 2022: Online Conference
Two days - Online Conference
We're thrilled to once again welcome the global Haskell community to join the Haskell eXchange conference via our virtual conference platform, where across 2 jam-packed days, you'll connect with like-minded Haskellers and learn new skills through practical, coding-based sessions.
software-development haskell ghc functional-programming
-
Rust in 2024
Featuring Niko Matsakis
Rust is quickly becoming the "default choice" for applications where performance and reliability are top considerations. What can we expect from the next few years of the Rust language? In this talk, Nicholas Matsakis discusses what he sees as the top priorities for Rust going forward.
... software-development rust -
Rust's Unique Ownership Concept: Practical Examples and Why It's Important
Featuring Cecile Tonglet
Every programming language uses either a garbage collector or lets you handle memory freely. Rust introduces a whole new approach: Ownership. This beginner-friendly talk, looks at how Rust's Ownership and Borrowing models works in practice.
software-development rust -
Rust Async History, Libs, and Patterns
Featuring Katharina Fey
In this talk, Katharina Fey gives an introduction to async programming as a concurrency development model, (and what advantages this model has), the history and development of async Rust, how it works under the hood, and finally highlight a few projects from the current async Rust ecosystem.
patterns libs async software-development rust -
Experimenting with Faster Elliptic Curves in Rust
Featuring Diego F. Aranha
The talk discusses the results of experiments improving the efficiency of constant-time cryptographic algorithms implemented in Rust, with applications to faster Elliptic Curve Cryptography of practical interest.
cryptographic-algorithms eliptic-curves cryptography software-development rust -
Keynote — Haskell: What To Do When Success Can't Be Avoided
Featuring Sukant Hajra
For 5+ years SimSpace has been using Haskell at scale across 9 teams, collectively maintaining over 400k lines of Haskell. In this talk Sukant will share some of these team's experiences, lessons learned and helpful advice to others on a similar trajectory of using Haskell commercially.
haskell haskell-at-scale haskell-in-industry -
Designing and Verifying Programs with Formal Specification
Featuring Jacob Leach
In this talk, I will give an overview of Spectacle, a Haskell EDSL for writing formal specifications in the temporal logic of actions, and how specifications written in Spectacle can mechanically verify real-world Haskell programs.
haskell edsl specifications spectacle -
Scaling Application State Beyond Memory: A Functional Approach
Featuring Duncan Coutts
This talk presents techniques for transaction processing (OLTP) style applications to maintain a purely functional approach once we have to keep the bulk of our data on disk.
haskell application-state -
Generating fast and expressive code using LLVM and Haskell
Featuring Luc Tielen
In this talk, Luc Tielen will show how to create a language by making use of LLVM and Haskell.
haskell partial-evaluation combinators haskell-bindings llvm -
Multi-dimensional Arrays that Do Not Exist
Featuring Alexey Kuleshevich
This talk is about delayed computation techniques and their role in fusion, parallelization and stencil convolution, which are some of the core features in a high performance array processing library called massiv.
haskell delayed-arrays -
A Conceptual Introduction to Nix for Haskellers
Featuring Krzysztof Gogolewski
Nix is a package manager popular in the Haskell world, sharing many ideas with Haskell. In this talk, I will break down the essence of Nix and give you a conceptual model.
haskell nix functional-programming