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 emily@kea.ai
Equity options / market salary / accommodation (if needed) More details:
https://docs.google.com/document/d/167cFW4jBZ39VivngkW_LtFqw...
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.
Tweag.io | Paris, France | REMOTE + ONSITE | Software Engineer | Formal methods, PL design
We are a research and development laboratory at the heart of Europe, applying functional programming techniques to tame the complexity of distributed systems and scale predictably. Most of our existing folks have a PL research and/or formal methods background and enjoy demonstrating the correctness of their solutions with gusto: randomized test case generation, model checking in SPIN/Promela or interactive theorem proving using Coq. We're very active in the Haskell community - contributing new language extenions (linear types, static pointers) to GHC, publishing and maintaining HaskellR, inline-java, sparkle, rules_haskell and many others. We hit the HN front page just yesterday with our Haskell support in Bazel.
Tweag.io are organized as a distributed team of experts around three main areas of focus: distributed systems engineering, functional programming based devops (Nix, Haskell etc) and mathematical modelling / machine learning. We are looking for formal engineers and PL designers to join our distributed systems team, to help us apply interactive theorem proving techniques to industrial scale projects and work on tools to make this cost effective for the masses.
If you'd love the opportunity and the space to solve the hard problems of science's large dataset infrastructure, by systematically decomposing them into simple, orthogonal solutions that compose and commute like in algebra, shoot us an email at jobs@tweag.io.
Grammarly | San Francisco, Kyiv, New York | Onsite | https://www.grammarly.com
Grammarly’s AI-powered products help people communicate more effectively. Millions of users rely on Grammarly every day to make their messages, documents, and social media posts clear, effective, and mistake-free. Grammarly is an Inc. 500 company with offices in San Francisco, New York, and Kyiv.
To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/grammarly
We have 19 open positions on our engineering team, including positions for frontend, backend, mobile, DevOps, research, engineering manager, computational linguists, and machine learning researchers. Check them out here: https://www.grammarly.com/jobs/engineering
Tech Stack: Frontend: Javascript, React, Typescript, Flow, Mobx, Stylus, Redux, Reactive JS, Styled Components, Focal (our own in-house, open-sourced state management framework) Mobile (iOS and Android): Java, OkHttp, Butterknife, Retrofit, XCode, Swift, ReactiveCocoa, ReactiveSwift, Kickstarter-Prelude, Argo, Runes, Curry Desktop app: CoffeeScript, Electron.js, C#, F#, ReactiveUI Internal tools: Angular, Elm, ClojureScript Backend: Java, Scala, Python, Haskell, Lisp, Clojure, Go, C++ NLP/Research teams: sklearn, TensorFlow, PyTorch, CNN, RNN, Keras, Seq2Seq, xgboost, CRFs, nltk/spacy/OpenNLP, OpenNMT, Jupyter notebooks
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
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 building the team with a remote-first mindset.
- Backend Software Engineer: http://transparency.narrative.io/join/backend.html
Sentenai | Multiple Positions | Boston | ONSITE | FULL-TIME | http://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 Jr. and Sr. Haskell engineers to help us build the missing tools needed to help industrial data scientists manage sensor data. Our Haskell codebase spans everything from unsupervised machine learning for index optimization to our temporal database engine designed for rapidly mining historical data for complex anomalies spanning multiple sensors.
Haskell extensions you should be familiar with:
* GADTs * Type Families * Multiparameter Typeclasses Interested in working with us? Reach out to us at jobs@sentenai.com.
Udacity | Multiple | Mountain View, San Francisco, Berlin, Shanghai, São Paulo, New Delhi | ONSITE, FULL-TIME, INTERNS | https://www.udacity.com
Udacity's mission is to democratize education. We're an online learning platform offering groundbreaking education in fields such as artificial intelligence, machine learning, robotics, virtual reality, and more. Focused on self-empowerment through learning, Udacity is making innovative technologies such as self-driving cars available to a global community of aspiring technologists, while also enabling learners at all levels to skill up with essentials like programming, web and app development.
Tech: Docker/PostgreSQL with Golang, Python, Node.js, React, Java, Ruby, or Haskell depending on team.
Open positions in Engineering, Data, Design, and Marketing: https://grnh.se/cuagoq2
Daisee (www.daisee.com) | Software Engineer, Devops, Data Scientists | Sydney, Australia or Melbourne, Australia | Full-time, ONSITE, no visa but vague chance of REMOTE for someone brilliant
Daisee makes software for call centre operators to transcribe calls, and then do various kinds of analysis on the call text (e.g. whether the caller was expecting a call back, general sentiment of the call, predictors of a successful or unsuccessful call). We also help call centres offload voice volume on to chat. We also do predictive modelling for demand (not just in call centres: retail as well).
We are a well-funded startup with a long runway to support our current 20 staff. We're making large $$$$ sales into enterprises most weeks. We have mature management (two ex-googlers are on the management team, including the former Australian general manager; the rest of the executive team have held senior roles across the banks, successful startups and a variety of other major corporations). You get the stability and mature culture of a large corporate job, but the interesting work and dynamic environment of a startup.
We have a team of data scientists already; I'm looking to hire one more, preferably with skills in computer vision.
I am looking to hire around 3-5 software developers to take on various projects. There are existing projects in Python, but we are seriously considering switching to Go or Haskell for the bulk of future development. (If you are only interested in a Haskell role, or only interested in a Go role, just mention it in your resume.)
What I would like from a software developer is a lot of experience of working with data scientists and/or some machine learning skills yourself. Having taken projects through to production and supporting them there is also valuable.
The call centre application is the most important one, so experience with NLP, Twilio and call centre software (e.g. Genesys) will get you to the top of the resume pile. On the other hand, if you are happen to have some knowledge around point-of-sale systems, forecasting, stock and warehousing systems and so on, that will get you to the top of the resume pile for the demand modelling part.
I also need some devops folks: in particular, we have a platform that helps speed data science projects through the cycle from jupyter notebook -> software development -> in production system; I'm looking to hire someone who can own that product and provide insight into what production problems could be avoided by baking things into code at an earlier stage in development.
https://www.workable.com/j/2A144554F9 or contact careers@daisee.com and mention that you saw this post on HN.
Azara | Software Engineers | Boulder, CO | ONSITE | Remote | www.azara.io
Ever wanted to write Haskell or Elm for a living? Come join us!
We are ooking for full-time senior software engineer to join our quickly growing team in beautiful Boulder, Colorado. We value passion for software over all other traits, and want someone ready to jump into any part of our web or mobile app. Our web stack is Haskell and Elm with Postgres on the back-end, and our mobile app is React Native and Typescript.
Required
5+ years professional software experience
At least some professional experience specifically in mobile or web
Preferred:
Local or willing to relocate to Boulder, CO. We will provide relocation if applicable. (We will entertain pure remote work if we think you are really exceptional).
Experience developing both web and mobile apps.
High competency in databases, specifically Postgres.
Well versed in typed, functional languages like Haskell. At a minimum, you have tinkered with these languages and are interested in growing more in them
Apply here: https://www.azara.io/jobs/
1bios | Senior Software Engineer | Truckee/Lake Tahoe, CA | FULL-TIME, ONSITE or REMOTE | hello+hn@1bios.co
About 1bios:
We provide a health management platform for healthcare providers and health insurers. Our company is relatively young, and this opening would get you in on the ground floor, positioning you to have real impact on our engineering decisions and company culture.
Our stack: ruby, rails, javascript, typescript, react, mongo, postgres, thrift
What we are looking for:
Do you not only want to see a problem done, but see it done cleanly in a way that makes you proud? Do you appreciate elegance, but despise implicitness and magic? Is code and system design something you like to really think about before tackling a problem? Do you like to discuss architecture with other engineers who care deeply about the quality of their code? Do you wish you were writing in a statically typed functional programming language a la Haskell, but are also satisfied applying those same concepts to more wild west contexts like Ruby and JS? If this resonates with you, please get in touch!
Email us at hello+hn@1bios.co
Position Development | Brooklyn, NY | Onsite | http://positiondev.com
We're a software development company that serves leftist and independent media companies. We're dedicated to building quality software to help expand the breadth of discourse, culture, and thought available to English-speaking audiences. We also look for opportunities to grow our collective skill sets for unique and creative projects.
To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/position-development
Here are our open roles:
- Ruby on Rails Developer: http://positiondev.com/work.html?ref=keyvalues
- Polyglot Web Developer: http://positiondev.com/work.html?ref=keyvalues
Tech Stack: Ruby on Rails, Java, Python, Haskell, Postgres, Redis, AWS, Docker