Bitnomial | Software Engineer, Devops Engineer | REMOTE US | Full-time | https://bitnomial.com/jobs/
We’re a CFTC-regulated derivatives exchange written in Haskell and React/Typescript. Our first products are physically-settled Bitcoin futures and options. We use ansible and terraform for our operations automation. Trading industry experience is a plus.
We've also got a bunch of open source projects: https://github.com/bitnomial
Tech stack: Haskell, React/Typescript, Postgres, Ansible, Terraform, AWS
Contact: careers@bitnomial.com
Symmetry Investments | Many Varied Roles | REMOTE or VISA (London, Hong Kong, Singapore, Jersey) | D, Julia, Kotlin, other functional and systems languages | 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
- 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), [Andrei Alexandrescu](https://www.youtube.com/watch?v=es6U7WAlKpQ) 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...).
nilenso | Senior Engineer | India, Canada | REMOTE | https://nilenso.com
We are a 9 year old boutique technology consulting firm. We care about the impact that we make in the world. As an employee-owned cooperative, we all are stakeholders in how nilenso is run and can prioritise employee happiness: we don’t need to justify how happy employees impact the bottom line. We’re currently a fully remote team of friendly people across India with one member in Canada, and are hiring folks based in either of these geographies.
We have designed, built, and delivered complex, distributed, scalable backend systems for the web that have stood the test of time. We have written production code in Clojure/ClojureScript, Haskell, Elixir, Ruby/Rails, Python, Go, and Javascript, and are partial to a functional approach to programming. You can read about some of our projects[1], their technical details[2], and check out the talks[3] we’ve given to know more.
We’re looking for senior engineers to work with us. View our full job description at https://nilenso.com/senior-developer.html, or email us at careers@nilenso.com to apply!
[1] https://github.com/nilenso/media/blob/master/presentations/g...
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE (post Covid) - Remote EU (in consideration)
Join one of the fastest growing scale-ups in the Netherlands. We currently have several open engineering positions to join our team in Utrecht. We are a young company with a strong engineering culture and some unique data problems, that we are solving for our customers. You can read more about the kind of work we do on our blog: https://tech.channable.com/
Our Stack includes: Haskell, Python, JavaScript, TypeScript, Ember.js, PostgreSQL, Redis, Ansible, Terraform, Nix
We currently process tens of billions of products per day and offer technically interesting and challenging work. We are looking for highly motivated and skilled engineers to join our team.
Open positions:
- Haskell Software Engineer: https://jobs.channable.com/o/haskell-software-engineer-3
- Security Engineer: https://jobs.channable.com/o/security-engineer-2
- DevOps Engineer: https://jobs.channable.com/o/devops-engineer-3
- Python Software Engineer: https://jobs.channable.com/o/python-software-engineer-4
- Front-end Developer: https://jobs.channable.com/o/frontend-developer-2
- Integrations Engineer: https://jobs.channable.com/o/integrations-engineer-python-3
Primer | Engineering Manager, Software Architect, Front End Engineer, Senior BE Engineer | REMOTE | https://www.sayprimer.com
We're building the "CircleCI of Growth Marketing" at Primer. Growth marketing has boomed in recent years and every B2B company needs a tailored, data-driven approach to their market in order to win business. Primer is enabling our customers to accomplish this much faster without having to engineer an expensive system.
Here are some reasons to work with us:
* We bootstrapped ourselves to $700k in revenue with a team of 4 in 2020 and just raised a small round to grow.
* We invest in our team and catapult careers. Many people end up at top-tiered companies like Dropbox, Facebook, and Tesla beyond working together.
* Our team is fully distributed, supports flexible schedules, and we spend 95% of our time outside of meetings. Many of us have young kids and we prioritize work/life balance.
* 50% of our product/engineering team is women.
* Our engineering ceremonies and technology are world-class, put engineers in the drivers' seat, and emphasize transparency.
* Our culture is high-achieving, genuinely kind, and collaborative.
The roles we'd like to fill are:
* Engineering Manager
* Software Architect
* Front End Engineer
* Senior BE Engineer
Our stack is React/Node, but we welcome polyglots. In general, we're looking for thought partners to help us architect a solution for the future so experience with other languages (e.g. Elixir, Go, Clojure, Kotlin, Haskell, Rust) is a plus. 2+ years experience minimum.
Interested? Feel free to contact me directly at juan [at] sayprimer.com
Geora | Software Engineer (Payments/DeFi) | REMOTE (Australia & Singapore only) | Full Time | https://www.geora.io/
At Geora, we're building a platform to connect farmers with supply-chain finance, backed by sustainability credentials and data-rich assets. After recently raising a seed round we're looking to grow our fully-remote core team and continue building out our finance product over the next few years.
We are looking for a software engineer with experience in building applications for payments, finance, or banking, to lead the development of the Geora finance product, including integrating worldwide in-platform payments in fiat currencies, encoding complex financial instruments in smart contracts, and incorporating decentralised finance and crypto payments into the platform. Our small engineering team has a lot of freedom to experiment and build solid tech, with our current stack including Ethereum and Solidity smart contracts, a TypeScript GraphQL API, Elm frontend, and a growing number of services in Haskell and PureScript (we love functional programming!).
Check out the position and our other openings here [1] or email us at hello (at) geora (dot) io.
[1]: https://www.geora.io/careers/software-engineer-payments-defi
Digital Asset | Engineering, (Technical) Sales | Remote (ideally +2/-2 EU time), Zurich/Switzerland | Full Time (also 80%) | https://www.digitalasset.com/careers
Standard blurb: Digital Asset (digitalasset.com) is a leading provider of distributed ledger technology (DLT) that solves real-world business challenges. We combine deep industry expertise with scalable technology, including a distributed ledger platform and an intuitive smart contract language originally developed by Digital Asset, called DAML (daml.com). Digital Asset enables financial institutions and organizations across a variety of industries to bring efficient, modern and scalable DLT systems into production.
In my own words: quickly-growing enterprise blockchain scale-up with big-name clients such as Goldman Sachs, the Australian Securities Exchange or the Stock Exchange of Hong Kong. Developing a smart contract programming language based on Haskell.
I am part of the Canton team (https://www.canton.io/) at Digital Asset and we are currently hiring for multiple junior to senior Software Engineer and researcher positions. The Canton team is essentially developing a synchronization protocol that works across multiple untrusted databases while still providing strong security, reliability and privacy guarantees. We work in Scala and most of the problems you will solve are related to distributed systems and computer security. I can personally wholeheartedly recommend the team; the level of technical competence is very high (~50% have a Computer Science PhD) and we are working on the cutting-edge of blockchain/crypto applications (with some papers in progress).
Open roles in Canton team (if interested, check out company-wide roles too):
- Junior-Mid Software Engineer: https://www.digitalasset.com/careers?gh_jid=3715288
- Senior Software Engineer: https://www.digitalasset.com/careers?gh_jid=3715263
- Systems & Security Researcher: https://www.digitalasset.com/careers?gh_jid=3715281
Formal Land | Proof Engineer | Remote or Paris, France | https://formal.land/
At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally verifying the implementation of the cryptocurrency Tezos: https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/ This amounts to the verification of around 50,000 lines of code.
Open roles:
* Coq proof engineer: https://formal.land/assets/files/formal-verification-ocaml-f...
Tech Stack: Coq, OCaml, Haskell, Rust, TypeScript
Twitter: https://twitter.com/LandFoobar
Thanks.
NoRedInk | Full-Stack Engineers, Senior Full-Stack Engineers, Principal Full-Stack Engineers, Growth Engineers, Engineering Managers, Data Engineers, and Senior Data Engineers | REMOTE from time zones between (and including) Pacific Time (PST) through Central European Time (CET)
We’re a growing ed-tech company on a mission to help all students become better writers! NoRedInk is used by 1 in 2 school districts in the US, and students have answered over 5 billion questions on our platform. If you're looking to join a team of friendly people who listen to and learn from each other, discuss past mistakes openly as we adapt to the challenges that come with progress, all while realizing our mission, then you'll be excited to learn more about us.
Our colleagues span six time zones, California to Berlin and points in between, with lively discourse flowing freely across Slack, Zoom, and the office when we're able to be there. Wherever we're working from, we've always delighted in our work to ship new features—beginning with our curriculum and product teams, designers, through to testing by our dedicated quality assurance folks—that put teachers and students first. [1]
Our engineering team [2] takes prides in producing innovative, maintainable software. We use the cutting-edge Elm programming language for all our front-end development. Our back-end is primarily Ruby on Rails by lines of code, though we're actively moving toward Haskell; the majority of our traffic now goes through a Haskell service. We use Amazon AWS for our infrastructure orchestrated primarily using Kubernetes. We write a lot of tests, and use Jenkins for continuous integration. We've also developed and maintain several useful open-source projects. [3] You can read about our experiences with these technologies on our team blog. [4]
We’re looking for engineers who want to work on a mission that makes a difference and who are the type of collaborators that value kindness and open-mindedness. If that's you, you can learn more about our interview process [5] and on-boarding experience [6], and you should definitely apply through our jobs page! [7]
[1] https://www.noredink.com/about/values
[2] https://www.noredink.com/about/team
[3] https://github.com/NoRedInk/
[5] http://tech.noredink.com/post/145260396603/our-engineering-h...
[6] http://tech.noredink.com/post/143787279069/on-boarding-as-a-...
Mercury | Full Time | REMOTE OR SF/NYC/Toronto/Portland | Backend Engineer, Frontend Engineer, DevOps Engineer, Generalist Engineer, Generalist Engineer - Capital, Generalist Engineer - Support Product, Security Engineer, Senior Designer Engineer - Web Experience
Mercury (www.mercury.com) is building a bank for startups. Backed by a16z, CRV, and Coatue. Recently raised $120M Series B at $1.62B valuation.
Tech stack: - Haskell - Typescript - React - Postgres - Swift/Kotlin - Nix
We are hiring across technical and non-technical roles and are open to fully remote employees anywhere in the US or Canada. Please feel free to email veronica at mercury dot com with any questions, or apply directly at www.mercury.com/jobs.
MuKn | Remote, all timezones | Full-time or contract | https://mukn.io/
Mutual Knowledge Systems, Inc. (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.
Glow’s metalanguage is Gerbil Scheme (https://cons.io), but we use other languages where necessary, including JavaScript, Haskell, Go, and Rust. In particular, we’re looking for a Rust developer to implement our AVOUM technology (malleable transactions to implement accounts as a monad over UTxOs). We also need generalists that are interested in working on our language compiler and runtime. We are seeking experienced developers who can work mostly autonomously, but know when to ask for help.
Some 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 (esp. LLVM), 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 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.
Flyp Homes Ltd | Multiple Positions | Full-time | London and REMOTE
We're helping home owners sell their home in less time, with less hassle, and for more money. We're building a tech team to support the rest of our business dealing with home renovations, estate agents, and more. Come be a member of our founding tech team!
We're a profitable business and are scaling our operations throughout London and the UK, and to do that we need to create a decent software stack that can automate a lot of our operations. Because it is so early we haven't decided on a tech stack. If you're a wizard at excel, a category theorist writing in Haskell, an expert at PostgreSQL, or just someone who likes typescript then we would be delighted to hear from you. Our main requirements are that you're intelligent, play well with others, have an interest in real estate, and hate that people have to do repetitive jobs.
Software Engineers - https://angel.co/l/2wtP9m
Data analysts / process engineers - https://angel.co/l/2wtP7h
also contact me at meb@flyp.co
Heliax | Blockchain | Rust P2P Networking Engineer & Senior Rust Engineer | Remote | Full-time
To learn more and apply please follow the links - Rust P2P Networking Engineer: https://heliax.dev/jobs/rust-p2p-networking-engineer - Senior Rust Engineer: https://heliax.dev/jobs/senior-rust-engineer
About Heliax (https://heliax.dev/):
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.
MLabs are hiring Haskellers! (100% Remote, Worldwide) Paid internships also available!
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 Haskell developer roles from Junior to Senior, as well paid internships
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
Requirements
Strong Haskell skills Strong software engineering and architecture skills Strong problem solving and analytical skills Experience with blockchain, smart contracts, compilers, nix and/or purescript is a bonus
Benefits
Remote work Flexible working hours 6 weeks of paid vacation Competitive salary
If you like Haskell and challenging projects, MLabs is the place for you, so please apply now via https://apply.workable.com/mlabs/j/63DAAA4AEF/
If you would like to apply for an internship please email your CV to oskar@mlabs.city