tl;dr If you’d like a job with us, send your application as soon as possible.
Over the next few months, we are looking for one or more Haskell experts to join our team at Well-Typed. At the moment, we are looking particularly for someone who is knowledgeable and interested in one or more of the following areas:
- General Haskell development, possibly with a focus on networking and/or performance.
- Teaching Haskell, both at the introductory and the advanced level.
- Smart contract development with Plutus (note that this still requires very solid Haskell knowledge as a basis).
This is a great opportunity for someone who is passionate about Haskell and who is keen to improve and promote Haskell in a professional context.
About Well-Typed
We are a team of top notch Haskell experts. Founded in 2008, we were the first company dedicated to promoting the mainstream commercial use of Haskell. To achieve this aim, we help companies that are using or moving to Haskell by providing a range of services including consulting, development, training, and support and improvement of the Haskell development tools. We work with a wide range of clients, from tiny startups to well-known multinationals. We have established a track record of technical excellence and satisfied customers.
Our company has a strong engineering culture. All our managers and decision makers are themselves Haskell developers. Most of us have an academic background and we are not afraid to apply proper computer science to customers’ problems, particularly the fruits of FP and PL research.
We are a self-funded company so we are not beholden to external investors and can concentrate on the interests of our clients, our staff and the Haskell community.
About the job
The roles are not tied to a single specific project or task, and are fully remote.
In general, work for Well-Typed could cover any of the projects and activities that we are involved in as a company. The work may involve:
working on GHC, libraries and tools;
Haskell application development;
working directly with clients to solve their problems;
teaching Haskell and developing training materials.
We try wherever possible to arrange tasks within our team to suit peoples’ preferences and to rotate to provide variety and interest.
Well-Typed has a variety of clients. For some we do proprietary Haskell development and consulting. For others, much of the work involves open-source development and cooperating with the rest of the Haskell community: the commercial, open-source and academic users.
About you
Our ideal candidate has excellent knowledge of Haskell, whether from industry, academia or personal interest. Familiarity with other languages, low-level programming and good software engineering practices are also useful. Good organisation and ability to manage your own time and reliably meet deadlines is important. You should also have good communication skills.
You are likely to have a bachelor’s degree or higher in computer science or a related field, although this isn’t a requirement.
Further (optional) bonus skills:
experience in teaching Haskell or other technical topics,
experience of consulting or running a business,
experience with Cardano and/or Plutus,
knowledge of and experience in applying formal methods,
familiarity with (E)DSL design,
knowledge of networking, concurrency and/or systems programming,
experience with working on GHC,
experience with web programming (in particular front-end),
… (you tell us!)
Offer details
The offer is initially for one year full time, with the intention of a long term arrangement. Living in England is not required. We may be able to offer either employment or sub-contracting, depending on the jurisdiction in which you live. The salary range is 50k–90k GBP per year.
If you are interested, please apply by email to jobs@well-typed.com. Tell us why you are interested and why you would be a good fit for Well-Typed, and attach your CV. Please indicate how soon you might be able to start.
We are expecting that we need to fill multiple roles over the next few months, with some flexibility as to the starting dates, so there is no firm application deadline.