nilenso | Engineer | Bangalore, India | ONSITE, REMOTE (India) | http://nilenso.com
nilenso is an employee-owned software cooperative. We're looking for people we'd really like to work with.
We work on problems that are technically deep, large scale, in domains with high impact, and we have an affinity to work with functional languages: Clojure, Elixir, Haskell et.al.
You can read more about working at nilenso here: https://nilenso.com/careers.html. Write to us (moshimoshi@nilenso.com) if you're interested.
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. Our flagship product is simple incorporation in France.
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 creative 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 commit 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
Energotest | Gliwice (Poland) | Full Time | ONSITE | Senior Software Engineer | http://www.energotest.com.pl/index/kariera
Energotest is a modern and well organized engineering company with a team of distinguished specialists. Many of them have managed or co-managed: design, assembly supervision, post-assembly tests, start-up of devices and electrical power engineering systems, practically in all newly erected or modernized power plants, combined heat and power plants, substations and industrial plants in Poland and abroad.
The Energotest R&D department team is looking for a senior developer who would be willing to take part in setting new directions in the development of systems for the broader "Industry 4.0". The person will help us change the world of automation systems, face the task of creating tools for engineers and firmware for devices manufactured by Energotest. Working together in the R&D department, we are happy to share our knowledge, but the ability to independently solve problems and look for information will be a desirable skill. If you have skills that do not meet all of the following requirements, but enter other areas of programming and feel that they will help develop our project or make it a unique product, we will gladly talk to you. Currently we are building a device (based on embedded Linux) and some tools to configure it (with C++/Qt).
Essential skills: GNU/Linux, Git, Bash, C++, Boost, Qt
Nice to have (in random order):
* Python (and Boost.Python)
* Experience with embedded Linux (yocto)
* Modern C++ (C++11, C++14, C++17)
* Functional programming (Haskell, Erlang)
* Web technologies (Elm, PureScript)
Extra notes:
* It doesn't harm if you also know MFC, C#, Delphi and Windows in general
* Official language in Energotest is Polish
* Remote work is partly possible (1 day/week)
If you want to avoid the recruitment path, take on the challenge available here: https://energotest.github.io/Challenge/
Channable - https://www.channable.com | Utrecht, The Netherlands | ONSITE
We are 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 various platforms.
We currently have two open positions:
- Frontend Developer [1]
- DevOps Automation Engineer [2]
Our Stack includes: Python (Flask), Haskell, Scala (Apache Spark), PostgreSQL, Redis, HDFS, Ansible, Terraform, 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 engineers to join our team in the center of Utrecht.
See https://www.channable.com/jobs/ for a detailed job description.
[1] https://www.channable.com/career/frontend-developer-24-40-hw...
[2] https://www.channable.com/career/devops-automation-engineer/
Monadic | Software Engineer | Berlin | Remote OK | Full-time | http://oscoin.io
We're looking to hire a software engineer to work in Haskell on distributed systems, networking and consensus to build a decentralized platform for open-source collaboration and incentivization. Our salary is a flat EUR 100K. We're a team of 10, based in Berlin and well funded.
More information on the job here: http://oscoin.io/jobs.html
Thanks!
Onai | | Silicon Valley or New York | 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 Rust, Haskell/Idris, or graphics programming. We're also open to enthusiastic developers or researchers who might lack this precise experience but are eager and able to learn. We welcome internship/fellowship interest from postdoctoral scholars or senior graduate students.
We're additionally interested in chatting with people with broadly technical background who are interested in scientific and technical writing.
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.
Kadena | Haskell Engineer, Frontend Javascript Engineer | Brooklyn, NY | Full-time, ONSITE
Kadena is hiring a Haskell Software Engineer familiar with functional programming languages and interested in learning Haskell to build out our new public-chain protocol, Chainweb, and further our work in formal verification of smart contracts.
Kadena is building the leading blockchain platform for businesses and enterprises by solving scalability and security concerns that impede widespread blockchain adoption. Founded by two lead engineers from JP Morgan’s blockchain group, 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, coded entirely in Haskell. We 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 can’t wait to see what you will add to our stack!
For more information, email mightybyte@gmail.com
Mercury | React, Typescript, Haskell or Generalist | San Francisco, CA | Full-time | ONSITE
Mercury (mercury.co) is building a bank for businesses. We are currently 8 people (6 engineers, 1 designer, 1 BD/Ops) and have raised $6m from a tier A VC (A16Z). We are close to alpha launch and are looking to grow our team.
This is my 4th company. My previous company, Heyzap, was YC09, was funded by USV+Qualcomm and was acquired for $45m last year.
Our backend is in Haskell, frontend React/Redux/Typescript/iOS/Android.
We like generalist engineers and happy to hire smart people that are willing to learn.
My email in profile or email jobs AT mercury DOT co.
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, Product Specialist, 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.
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