Haskell Jobs - April 2022

East Coast Mining is hiring a Junior/Intermediate Haskell engineer.

View more on our Reddit posting

https://www.reddit.com/r/haskell/comments/u36ge0/ecm_is_hiri...

MLabs is Hiring Haskell Developers (100% Remote, Worldwide)

We are one of the leading Haskell consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a remote Haskeller to join our team.

We have grown to over 100 people in just 4 years and we are looking to double that in 2022. We work on various projects, and can get you working on something you will really enjoy!

If you are excited about Haskell, about robust and clean software and are up for a new challenge, you’ve come to the right place!

We have Haskell developer roles from Junior to Senior, as well as roles in Delivery Management.

As a Haskell Developer your role may include:

- Building and testing smart contracts, traditional applications - Helping to define best practices with new application architectures - Building tools and libraries to support application development - Working in emerging technologies

- For Senior and Intermediates: Systems Design, Formal Verification, Security and Performance analysis.

Benefits

Focus on learning and individual growth in Haskell and Computer Science Work with other great Haskellers, open source contributors and computer scientists Interesting and challenging projects Talk with anyone in the organization, regardless of team Remote work Flexible working hours 6 weeks of paid vacation Competitive salary

To apply please visit: https://apply.workable.com/mlabs/j/63DAAA4AEF/

Symmetry Investments | Many Varied Roles | REMOTE GLOBALLY or VISA (London, Hong Kong, Singapore, Jersey) | D/C/C++, Julia, Typescript, Haskell/Ocaml/ML | Full-Time, Fixed Term, Flexible

## Roles we are hiring for

- Business Analysts: business analysis, documentation, team and tool design

- Native Code Developers: We are looking for outstanding native code developers who would like to write D. Our experience has been that strong C and C++ developers can learn D quite quickly.

- Functional programmers to work with practitioners in delivering value to the business using Symmetry Integration Language.

- Documentation: At Symmetry we recognise the value of writing and have for example a Pulitzer prize-winning former WSJ journalist and a maintainer of Linux Kernel Newbies documentation. We are looking for people to write technical documentation and to document data structures and processes (open to varying range of technical ability depending on the project).

- Front end design: designers - ideally with some ability to program - to work on usability and aesthetics for our applications and other information-presenting systems, on both web and desktop

- Designers for documentation: Now that non-programming internal work is moving to markdown in git, we are hiring designers to work on templates and mini-logos for documentation and other work.

- Data Science: time series analysis in particular, including high frequency data sets that are too big for simple tools

- Information Security: incident response, threat intelligence, vulnerability management

- Platform: Platform as Code, Site Reliability Engineers, Windows desktop support; frontline server support and administration; application support

- Legal and Compliance: #lawyerswhocode or who are very comfortable working with markdown in git

- Accounting: are you the sort of person who would use #ledger-cli ? If so, we would like to hear from you.

- Business: risk, operations, administrative, organisational design and business strategy, investor relations processes, talent acquisition, human resources (HR)

- Investment: Economics, Quant, Portfolio Research, Investment Research, Portfolio Management and Trading

- Market Data: contract administration, data cleaning, alternative data research and management

Location: Remote or sponsorship for a visa in London, Hong Kong, Singapore, Jersey

Term: full-time permanent, fixed-term contract, flexible hours.

## Languages

- Dlang (D)

- Typescript

- Kotlin

- we do not use but value experience in modern C++, beautiful C, Haskell, Ocaml, Rust, Elm

## Qualities and traits we value

- Courage and daring

- Phronesis (practical wisdom), common sense and commercial orientation

- Practical people who are at the same time unreasonable when they ought to be

- Highly individual people oriented to promoting survival and flourishing of the group

- Inclination and ability to notice and understand links between seemingly-unrelated things

- Curiosity

- Extreme motivation

- Mechanical sympathy

- Extreme and unusual intellectual capabilities

- A love of tinkering

- Resourcefulness

- Good taste and love of beauty

## About Us

Symmetry Investments is a post startup USD 9+ billion alternative asset management company with around 250 people across multiple time zones and locations.

Our core technology team has been remote-first for some time, and the whole company is following suit, accelerated by the pandemic.

I'm co-CEO and co-COO, responsible amongst other things for technology across the firm and I’m posting this myself. That should give you an idea both about how seriously we take technology and the culture of the firm.

We are five years into a period of transformation from what was initially a fairly standard enterprise finance technology approach to something new that recognises the importance of both the humane and the technical for discretionary portfolio management and for the business of running an alternative investment manager. [Amaury Sechet](https://www.youtube.com/watch?v=AhR4PSExnqk) and [Atila Neves](https://dlang.org/blog/2019/10/15/my-vision-of-ds-future/) have been working with us as long-term consultants and we have many other talented people with lower public profiles.

It's not easy to integrate practitioners who may spend most of their day programming, but are oriented towards solving business problems, with developers who are specialists in programming. To achieve this, we wrote a little functional DSL that's now in production. Type inference of returns and parameters using inequality constraints is in a feature branch and there is plenty more to do on the language itself as well as the ecosystem around it. SIL can compile and call C++, D, and C# at runtime and interoperate with Python and R. What might be a project in itself elsewhere can be just a set of functions in Symmetry Integration Language.

The language is written in D and we have a close involvement with the D Foundation and community, hosting DConf in London. So we are looking for outstanding native code developers who would like to write D as well as people to work with practitioners writing Symmetry Integration Language. Also looking for people to write documentation and work on the build.

It's quite a creative place where we encourage a degree of courage amidst practical constraints, and we are open to doing things a different way if it's commercially sound and in the interests of our investors.

We look for virtues and capabilities over only experience and credentials although those things aren't a disadvantage. Do not let a lack of credentials or qualifications prevent you from applying. We've recently hired experts with C++, Common Lisp, D, Haxe, Haskell, Julia and Perl backgrounds, and are happy to bring them up to speed with the tools we use.

Compensation is currently not quite at Netflix standards but is generous to very generous over time by broad technology industry standards. We recognise and reward technical accomplishment and have a very flat structure - don't be surprised if our founder and Chief Investment Officer starts asking you questions about your work.

## Symmetry Talks

- Presenting SIL-cling to Compiler Research Group at Princeton (https://youtu.be/7teqrCNzrD8)

- Symmetry Internship Project - calling C++ from SIL (http://dconf.org/2020/online/index.html#alexandru)

- All Spreadsheets Must Die (https://youtu.be/FZi9CSB9_kk)

- Lessons from a DSL where all you have is Ranges (https://www.youtube.com/watch?v=BtuzSlKRmzA)

- Alternative Investment Management (https://youtu.be/1rMq-4rWgis)

## Links

- Symmetry GitHub (https://github.com/symmetryinvestments)

# Contact

- Please apply using this link (https://jobs.lever.co/symmetryinvestments/c8a9b95e-bdf0-459c...).

Scarf | Remote (US-Timezones preferred)

- Senior Software Engineer (Frontend) - Typescript (https://about.scarf.sh/jobs/software-engineer)

- Senior Software Engineer (Backend) - Haskell, Nix, K8S, Postgres, Kafka, AWS (https://about.scarf.sh/jobs/software-engineer-frontend)

Scarf is a startup that builds maintainer-friendly tools for sustainable distribution of open-source software. Scarf identifies and connects you with the companies that rely on your OSS.

We're looking for talented engineers to join our small remote team. If interested, please send a resume to jobs@scarf.sh

Heliax | Various Senior Software Engineer | remote or onsite (Zug Switzerland or Berlin) | https://anoma.network

The primary project of Heliax is the Anoma protocol (implemented in Rust). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering among any number of parties. In addition to Anoma, Heliax works on open-source projects which are part of the Anoma ecosystem, including but not limited to research in cryptographic libraries such as the MASP or Ferveo (written in Rust), and tools for high assurance validity predicates and arbitrary zero-knowledge circuits (Juvix, written in Haskell).

Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.

Roles: * Senior Rust Engineer - https://heliax.dev/jobs/senior-rust-engineer * Rust P2P Networking Engineer - https://heliax.dev/jobs/rust-p2p-networking-engineer * Functional Compiler Engineer - https://heliax.dev/jobs/functional-compiler-engineer * Distributed Systems Research Engineer - https://heliax.dev/jobs/distributed-systems-research-enginee... * Zero-Knowledge Cryptographer & Protocol Developer - https://heliax.dev/jobs/zero-knowledge-cryptographer-protoco... * Senior Front-End React Developer - https://heliax.dev/jobs/senior-front-end-developer

Many more: https://heliax.dev/jobs

MuKn | Remote, all time zones | Full-time or contract | https://mukn.io/

Mutual Knowledge Systems (aka MuKn, pronounced "moon") is looking to extend its development team. We are building Glow (https://glow-lang.org), an open-source domain-specific language for Decentralized Applications (DApps). Glow simplifies DApp development by offering higher-level abstractions than standard solutions (e.g., Solidity) and a "write once, run on- and off-chain" workflow. We also do bespoke blockchain infrastructure consulting; e.g., our Account-View-on-UTxO-Model (AVOUM) scaling solution, formal verification, zero-knowledge proofs, cross-shard messaging, etc.

Glow’s metalanguage is Gerbil Scheme (https://cons.io), but we use other languages where necessary, including JavaScript, Haskell, Go, and Rust. We are seeking experienced developers who can work autonomously, but know when to ask for help.

A background in Lisp, Scheme, or a purely functional language would be helpful, but is not required; experience with language design and implementation is also a plus. Other relevant domains include: blockchains, smart contract technologies (e.g., the EVM and also (E)UTxO models), compilers, distributed systems, cryptographic protocols, information security, economic modelling, game theory, automated theorem proving, and zero-knowledge proofs.

We’re a fully remote team spread across many time zones. We like to keep meetings and policies to a minimum, and expect team members to manage their own time and communications. We have one mandatory weekly meeting, structured as an informal code walk-through and review; this helps keep everyone aware of what the rest of the team is up to and how everything fits together.

Interviews are straightforward: you’ll be asked to talk about and answer questions about projects and code you’ve worked on, and we’ll do the same. No LeetCode, no take-home assignments, etc.

Please send resumes to jobs@mukn.io. Any notable public discussion (on a mailing list, GitHub issue, etc.) where you changed your own mind or someone else’s mind would be great to see, too.