Kadena | Software Engineer | REMOTE, ONSITE (Brooklyn, NY) | Full-Time $80k-$150k + Coin and/or Equity
Kadena is seeking Haskell engineers to join our team either in Brooklyn or remote. Kadena (http://kadena.io) is a tech-founded, post-revenue smart-contract blockchain startup founded in 2016 by Stuart Popejoy and Will Martino, two lead engineers from JP Morgan’s blockchain group. Kadena is poised to become the leading blockchain platform for businesses and enterprises by solving scalability and security concerns that impede widespread blockchain adoption. Our existing technology stack consists of our open-source smart contract language Pact and our private-chain protocol ScalableBFT, products that are already in use with Fortune-100 clients and coded entirely in Haskell. We firmly believe Haskell lends a decisive advantage through drastically enhanced productivity, excellent concurrency and parallelization support, unbeatable programming-language tooling, and sheer pleasure of coding. We’ve built a lot with just two devs, we can’t wait to see what you will add to our stack!
The ideal candidate will be able to work closely with a group but also drive projects independently. Developers are encouraged to interact at every level of product development. Initial focus is on building out our new public-chain protocol Chainweb and furthering our work in formal verification of Pact smart contracts; later projects will include operational pieces for the public platform like load balancers, monitoring, and messaging systems. Finally, partner integrations can lead to entirely new products integrating Pact smart contracts with bespoke systems. Public-chain projects are entirely open source (BSD3), and contributions to other projects are encouraged as well.
Exposure and expertise in any of the following areas is desirable:
- Network engineering
- Cryptography engineering
- Distributed Systems
- Programming language design (e.g. compilers, interpreters, development tools)
- Database Systems (RDBMS but also key-value systems)
- Software assurance/verification (Coq, SMTLIB2, QuickCheck, Jepsen, Coq, HOL)
- Industrial/production Haskell development
To apply please send a resume to hiring+hn@kadena.io.
Sentenai | Multiple Positions | Boston | ONSITE | FULL-TIME | http://sentenai.com Contact: jobs@sentenai.com
Passionate about distributed systems, machine learning and functional programming? Come join our engineering team at Sentenai, located centrally in Cambridge between the campuses of MIT and Harvard. We're hiring Haskell Engineers, Machine Learning researchers and Data Scientists to help us build the world's best platform for doing data science with time series data.
Sentenai is a venture-backed startup offering competitive pay, great benefits and generous equity. H1B sponsorship not available at this time.
Questions? Reach us at jobs@sentenai.com.
Pirate Studios - https://www.piratestudios.co.uk | Senior and mid-weight Developers | ONSITE & REMOTE | Bristol, London, M4 Corridor, UK | Full-time
Pirate Studios is building music rehearsal studios in multiple countries, and we're big on tech in our studios. We're the biggest rehearsal studio provider in the UK and rapidly expanding abroad. We build our own studios that are open 24/7, and all booking is handled online.
We're looking to expand our dev team right now. Being excited about music is definitely a bonus, but we have loads of fun and exciting programming projects in the pipeline. Ideas are welcome and many of our improvements come from people in the business suggesting them.
Our projects are primarily in Ruby and JavaScript, though we also develop IoT applications in languages like Rust and Haskell. We work in small project-based teams on our various components, and we have dedicated (and good!) project managers who help give us plenty of time and space to focus on programming.
Ideally we're looking for people in Bristol, where we're soon opening a new office. Many of the dev team work remotely, but the majority of us are within easy distance of Bristol (or London) and we meet up regularly to discuss/work/beer together.
I'm Head of Development, and working for Pirate Studios is the best job I've ever had. I'll go out of my way to make sure you get to build great things :)
Email us at tech-jobs@piratestudios.co.uk
Finix | Software Engineer | San Francisco, CA | Onsite | Full-Time | $100k - $150k
Finix builds, manages and sells a payments processing platform (http://developers.finixpayments.com) to banks and other financial institutions. Our stack is mainly Java and Postgres on AWS. We have a few services in Haskell. We are the first seed-stage company that Visa has invested in.
Looking to hire 2 to 3 highly effective engineers who want to work on a state-of-the-art technology platform pushing the future of payments and banking software, and want to have agency over their day-to-day work. Beneficial to understand the payments domain and have experience delivering SLAs of 4 nines (99.99%).
Reach us at this base64-encoded email address: cGF0cmljaytobkBmaW5peHBheW1lbnRzLmNvbQ==
Onai | | Silicon Valley | FULL TIME, CONTRACTORS, GRADUATE INTERNS, POSTDOCTORAL FELLOWS, ONSITE, VISA
We're tackling exciting technical challenges and building offerings relevant to interesting real-world problems in a variety of fields (including for NASA). We have particular strengths in dispersed computation and deep learning.
We're currently most interested in engineers with solid experience in Haskell, Idris, or even Isabelle. We're also open to those with experience with Rust and/or Clojure, as well as to enthusiastic developers who might lack this precise experience but are eager and able to learn. We also welcome internship/fellowship interest from postdoctoral researchers or senior graduate students.
We do not presently have openings for anyone still working on their undergraduate degree or for fresh graduates.
Send your resume to info@onai.com and we'll let you know if there's a potential fit.
Legalstart | Full-stack Software Engineer | Paris, France | Full-time, Onsite, Visa, https://legalstart.fr Python/Django Rest Framework, React, PostgreSQL, RabbitMQ, Docker, AWS
Based in Paris, Legalstart is a leader in the European legal-tech space that aims at revolutionising legal services, starting with making access to justice greatly easier, especially for businesses creators.
Since the launch of the site at the beginning of 2014, Legalstart has experienced a very strong growth. In this context, we are looking for highly motivated developers to help us extend our product base and grow internationally.
At Legalstart, we strive to improve our technical skills, that means challenging the status quo (we shipped a small blockchain-based product in production), continuously improving our practices (we introduced Haskell in our codebase for algorithms prototyping), staying close to the local community (hosting meetups, conferences)… Also, Legalstart engineers develop a strong ownership of the product itself, and we really value their personal growth.
Apply there if you feel up to the experience!
- front-end developer: http://smrtr.io/4NUKgA - full-stack developer: http://smrtr.io/ao_QDQ
S&P Global | Full-Time Onsite | US - New York, Boston, Denver. India - Gurgaon
S&P Global is hiring functional programmers at various levels and locations in US and India.
We are the Analytics Product Development Team, a relatively small group of developers focused on building next generation financial models and applications that leverage S&P's world-class data sets. Last year we launched a re-imagined Portfolio Analytics product that helps investment managers of all types measure the efficacy of their investment strategies and identify areas of risk in their equity portfolios. Put your FP skills to use as we move on to multiple asset classes, intraday analytics, and strategy modeling.
Functional Programming has a relatively long history here at S&P Global. We build our back-end data calculation engine using purely-functional Scala in 2008 and have been building new models and expanding it ever since. We created Ermine, a Haskell-like language featuring row types that can run on the JVM. Ermine drives our templating, reporting, and database access, adding type-safety to user-generated layouts. The new Portfolio Analytics is a single page web application that makes extensive use of PureScript. All of this co-exists in a diverse tech ecosystem that includes the JVM, .NET, and SQL Server.
We have a few open positions, so we are looking for developers with varying levels of experience. Ideal candidates have FP experience, but we'd still like to talk with you if you are just getting started with FP and are looking to grow. Please email resumes or questions to smcfarland@spglobal.com.
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE
Channable is a data feed management company that connects ecommerce companies to all big online marketing channels (marketplaces, price comparison sites etc.) We also optimize and synchronize product data, offers, and orders on the various platforms.
We currently have one open position for a Python Backend Engineer.
Our Stack includes: Python (Flask), Haskell, Scala (Apache Spark), PostgreSQL, Redis, HDFS, Ansible, Ember.js
We process hundreds of millions of products per day and offer technically interesting and challenging work. We are looking for a highly motivated and skilled engineer to join our team in the center of Utrecht.
See https://www.channable.com/jobs/ for a detailed job description.
Narrative I/O | New York, NY | Full-time | ONSITE, REMOTE | http://narrative.io/
Narrative is building the first global data marketplace. It has often been said that data is the new currency. Unfortunately, maximizing the value of data is often easier said than done. On one side, transacting via individual point to point integrations carries a lot of overhead in both business development and technical integration efforts. On the other, going through big aggregators introduces opacity in the pricing and provenance of the data. At Narrative, we help our customers get value from their data by building a central auction platform to reduce the friction and tooling to increase the transparency in this process.
We are a small, early stage team looking for great developers who want to jump in and take major systems and user-facing features from design to launch. Here's where we are now:
- We are operating in Amazon Web Services. Our services are mainly deployed on EC2 provisioned with Terraform.
- We also heavily use other technology on AWS such as DynamoDB, S3, and RDS.
- Our backend includes a data ingestion web service with supporting Kinesis consumers, along with a growing array of Spark projects. It’s written mostly in Scala, with a smattering of Python for lambda functions.
- We sit somewhere in the middle of the “Scala as a worse Haskell” and “Scala as a better Java” spectrum. We love functional programming and we do make use of libraries like cats, but at the same time we heavily favor core language features and have no intention of rewriting everything using Free Monads.
- Our frontend is written in Typescript with Angular2 and a supporting API running on Node, and is deployed and monitored using much the same supporting tech as the backend.
- Other services we use include: GitHub, CircleCI, DataDog.
Find out about Company Culture: http://transparency.narrative.io/culture/
Apply at hiring@narrative.io. We are hiring for the Backend Software Engineering role and are building the team with a remote-first mindset.
- Backend Software Engineer: http://transparency.narrative.io/join/backend.html
KEA | Bay Area | NLP, Telephony, Signal Processing | Full-time & interns, remote + onsite (preferred) | Python / Haskell | 4+ years of experience
KEA is a voice recognition platform that processes and places orders automatically for merchants when customers call in. We seamlessly transforms incoming speech into tickets fed directly into businesses’ POS systems.
We are looking for Haskell / Python 3 folks for building speech recognition phone systems for businesses. Email us at hello@kea.cloud
Equity options / market salary / accommodation (if needed)
More details: https://docs.google.com/document/d/167cFW4jBZ39VivngkW_LtFqw...
Capital Match | Singapore | Full-time | Onsite or Remote | Visa Sponsorship
Capital Match is the market-leading fintech startup in Singapore specializing in peer-to-peer loans and invoice financing. We have recently expanded to other regional markets like Hong Kong and we are growing tremendously. We just closed our Series B funding recently.
Technologies: Haskell, ClojureScript, React (Om), SCSS, Docker, AWS, Event sourcing
You will be a full-stack developer developing cutting-edge web applications, everything from the UI to the backend data storage.
Email hr+hn@capital-match.com. Mention that you saw the posting from Hacker News for bonus points.
Gambit Research Ltd (http://gambitresearch.com) | London, UK | ONSITE | Full time
At Gambit we research and manage automated sports betting algorithms on behalf of our clients. Their algorithms run on our proprietary execution platform which interfaces with a large variety of bookmakers and exchanges, enabling access to the best prices and massive liquidity.
Our distributed, concurrent system has a core written in Erlang, which interacts with a wide variety of Python processes across the rest of the business. Some of the other technologies we use are: Linux, Docker, Kubernetes, Ansible, C, C++, Java, Haskell, Julia, Go, JavaScript, AngularJS, ReactJS, Django, PostgreSQL, Redis, Apache Spark, Apache Kafka, RabbitMQ, Celery, Elasticsearch, Logstash, Kibana, Graphite, Sentry, Git, GitLab.
We have a very flat hierarchy and an emphasis on employee freedom. We encourage our team to work on projects that interest them, as we believe people are happiest and most productive when intellectually stimulated. You don't need to be interested in sports or betting.
We're actively hiring for the following positions:
- Software developer - Linux infrastructure engineer / Sysadmin / SRE / DevOps engineer Approximate salary range: £30-80k.
More information can be found at http://gambitresearch.com/jobs.html