Cyient | FULL TIME | ONSITE (remote for the right candidate) | Melbourne, FL; Bangalore, India; or Hyderabad, India | http://certsafe.com/
CertSAFE is a software suite developed by Cyient for the design, development, simulation, verification, and validation of safety-critical systems. CertSAFE features a graphical development environment for a visual modeling language based on dataflow/circuit diagram notation, a simulation engine and interactive testing interface, an automatic test generator based on Satisfiability Modulo Theories (SMT) solving, and more.
As a member of the CertSAFE team, you will get to apply your software engineering and computer science knowledge in diverse areas, including programming language theory, graph theory, user interface design, concurrent and parallel software design, and software test automation. You will get to interact on a day-to-day basis with real-world users and customers working on safety-critical applications in aerospace, defense, transportation, medical devices, and other fields.
CertSAFE is developed by a small team with a Lean Kanban development process. We use a variety of technologies including Java, Maven, Jenkins, Python, and AWS, and also especially appreciate experience with functional languages such as Haskell, F#, OCaml, Lisp, etc.
Positions available include Software Engineer, Software Quality Assurance Engineer, Application Engineer, and DevOps Engineer. Visit http://certsafe.com/careers/ for full position descriptions.
If you plan on working outside of Melbourne, FL, these roles require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.
Interested? Email your resume to careers@certsafe.com.
Monadic | Software Engineer | Berlin | Onsite | Full-time | http://oscoin.io
We're looking to hire a software engineer to work in Haskell on distributed systems, version control and CLIs to build a platform for open-source collaboration. Our salary is a flat EUR 100K. We're based in Berlin.
More information on the job here: http://oscoin.io/jobs.html
Thanks!
Gambit Research Ltd (http://gambitresearch.com) | London, UK | ONSITE | £40-80k + Bonus
Gambit Research specialises in creating and managing an automated betting service, via research, statistical analysis and the use of complex algorithms. We ingest and organise terabytes of market and event data from more than fifty sources and make the data available to our strategy teams in real time. We care deeply about speed, accuracy and availability.
Our flagship product, MollyBet.com, presents the odds offered by many of the world's largest bookmakers and betting exchanges, and enables clients to bet with multiple operators with a single mouse-click or API request. Molly is generally regarded as the best product in its class.
We're always looking for clever, pragmatic, and autonomous individuals to join our team. We have a unique culture, where hierarchy and fancy job titles don't matter. Instead our team is given the freedom to choose their own tools, work on projects they actually find interesting, and have totally flexible working hours. The technologies our team typically works with includes: 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, and GitLab.
We're currently recruiting for:
- Python developers - Erlang developers - JavaScript (ReactJS) developers - Linux infrastructure engineers / SREs Visit https://www.gambitresearch.com/jobs.html or send your CV over to careers@gambitresearch.com for more information.
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. We have particular strengths in dispersed computation, protocol design, and deep learning.
We're currently most interested in engineers with solid experience in Haskell/Idris or Rust. We're also open 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.
Finix | Embedded Systems 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==
Trivium Real Estate | Frontend and Devops | London | Full-time | ONSITE | 50-75k + equity doe
We're a 6 person, investor-backed data-mining startup for the commercial real estate industry; we're making data entry jobs less painful. Our MVP is moments away from launching and customers are queuing to take it for a spin. As such, we're growing our team to tackle the challenges ahead.
What about the team? We have a high emphasis on continual learning. If you're not learning something new on the job its time for a new one. Our tech stack reflects this; Haskell and Elm are the main languages. We don't mind if its your first exposure to either. We're not afraid of experimenting or making mistakes. The most important quality of anyone on our team is their ability to learn and teach.
We're hiring:
1. Junior Front End Engineers 2. Mid-senior front end engineers. 3. devops/infrastructure engineers.
Contact info in profile.
KEA | Bay Area | NLP, Telephony, Signal Processing | Full-time, onsite | Python / Haskell
KEA is a voice platform that answers phone calls, understands customer intent and converts it automatically into orders sent to the business POS. No more waiting on hold to order your pizza!
We are looking for Haskell / Python 3 folks for building NLU systems. Email us at emily@kea.ai
Co—Star Astrology | Software Developer | Full-time, On-site in Brooklyn, NY | Salary $100k | Equity 1%
We are looking for a full stack developer who is familiar with at least one of Haskell, Swift, or AWS and is open to learning the others. We love types at Co—Star, and a passion for statically verifying code is a plus. Some of the technologies we use include:
- Haskell (our whole web api is written in this!)
- Swift
- Python (we use AWS Lambda to wrap python libraries we don’t want to port to Haskell)
- React + TypeScript
You’ll be our first engineering hire (joining two engineering founders), so you’ll have a big say in what we do and how we do it. We’re growing quickly and want you to be a part of helping us scale up, tackling problems like partitioning our database, switching to a more sophisticated messaging queue and improving our machine learning pipelines.
Full-time, on-site in Brooklyn. Unlimited snacks, vacation, insurance, etc. Email us your resume -> jobs ∀ costarastrology.com
About Us: Co—Star is a mobile application combining traditional methods of astrology with modern technology to create a hyper-personalized and social astrology experience. We are making astrology – along with the meaning and connection it engenders – accessible to the entire world. Read more here: https://www.costarastrology.com/about
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 profoundly simplifying 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 and ReasonML in our codebase), 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
* Python developer: http://smrtr.io/ao_QDQ
ActiveSphere | Bangalore, India | ONSITE | Full Time | Software Engineer, Full stack
We're a software consulting company. Most of our current work is in Go, JavaScript (React, TypeScript), Python. But we have written code in Elixir, Ruby, Erlang, Haskell, Scheme, Elisp, D3. Apart from client work, we have built a tunneling solution in Go, TypeScript emacs mode (referred from TypeScript site), a font converter in Haskell, a DynamoDB emulator in Ruby, a remote debugger (in JavaScript, and Go), a Youtube annotation extension in JavaScript and more.
We grow with each other's interests and explorations. We are looking for colleagues who have their own explorations and interests in technology. To know more about us, please visit https://www.activesphere.com.
The interview process usually involves a programming problem followed by a few rounds of telephonic/in-person conversations. If interested, please reach out to us at career[at]activesphere.com.
Weever Apps | Haskell Developer | Hamilton, ON CA | Full-time, REMOTE OK | https://weeverapps.com
We're developing a workforce automation solution for regulated industries in the food and drug manufacturing sectors.
Our stack consists of: Haskell, TLA+, GraphQL, Web Sockets, PostgreSQL, Docker
The system architecture is built around event-sourcing and CQRS.
Please see our full listing for more details:
https://weeverapps.com/jobs/haskell-developer/
Update
For remote candidates, some overlap with EST/EDT is preferred as it is our primary time zone.
Lumi (YC W15) | https://www.lumi.com | Los Angeles, CA | Senior Product Manager, Front-End and Full-Stack Engineers | REMOTE (within USA) | Full-time Lumi is making packaging simpler for e-commerce brands. We're solving complex supply chain problems involving everything from creating production-ready artwork, to bringing elegance to the complex systems of pricing, manufacturing, shipping and freight in the packaging industry. Our engineering team is fully remote and oriented towards functional programming.
Our stack: React, Haskell, Postgres. As an engineer at Lumi, you'll become an important part of our diverse and dynamic team. You will be leading projects building the architecture of our customer-facing site and backend tools. Because of our small team and rapid development cycle you'll have the opportunity to work on a wide variety of projects and interact closely with the design and strategy of Lumi. You can apply by going here: https://www.lumi.com/jobs
More about Lumi:
* https://medium.com/fuzzy-sharp/custom-manufacturing-should-b...
* https://techcrunch.com/2018/02/14/meet-lumi-the-los-angeles-...