Concordium | Software Engineer | London, UK / REMOTE in European timezone | Full-time | https://www.concordium.com/
Concordium is the world’s first ID/KYC ready blockchain network, which ensures that every user on the network is identified, and that every transaction involves provenance tracking. These features do not prevent the provision of privacy (based on zero-knowledge proofs), but they provide an environment that we believe will be acceptable to regulators, to public institutions, to financial institutions and to “big business,” while solving a number of key issues in blockchain-based transaction logging such as avoiding single points of failure and providing finality in transactions.
We're working on our own smart contract language called Oak, based on Elm (https://elm-lang.org/). Our aim is to enable formal verification of smart contracts, and create a language that is easy to learn, easy to write but difficult to make mistakes in.
The role involves:
• Oak language compiler and interpreter development in Haskell
• Changes to the Oak language specification
• Integration/collaboration with the other teams/components comprising the rest of our package
We place a greater importance on your mindset than your skills or experience.
Interested? Email jobs@concordium.com with your CV and a short “why me” cover letter
Tally | San Francisco, CA & Vancouver, BC | Salary range: $135K - $195K + equity | Onsite - Full-time | Multiple Positions | www.meettally.com/careers Tally helps people overcome credit card debt. Currently at Series B with $42MM in funding, Tally is the first automated debt manager for consumers. Tally's vision is to automate consumers' whole financial lives, starting with America's $1 trillion credit card debt.
-> Engineering Manager, Mobile - We’re looking for a proactive leader who is passionate about scaling with both local and international teams through their career development. This person would not only be ingrained in the technical side of what we do, but work as a cross functional leader for both Business and Product teams.(https://jobs.lever.co/tally/7f6ab557-f174-4e92-9fa5-583f8499...)
-> iOS Engineer - You’ll have broad ownership: strategically driving building processes, tooling, and technical architecture. We’re a mostly Objective-C code base but moving to swift and are excited to integrate the latest frameworks. (https://jobs.lever.co/tally/f0a28b54-9a7d-4876-952e-6eb7c947...)
-> System Operations Engineer - Tally’s System Operations team uses an infrastructure-as-code approach to scale & manage our various environments. Core Technologies: Scala, ElasticSearch, Postgres, Redis, Puppet, Terraform, Datadog in addition to various AWS services such as EC2, RDS, EMR, ECS, Redshift etc.(https://jobs.lever.co/tally/961de8b9-7ccc-4e1b-8603-5b3d5b94...)
-> Senior Platform Engineer - You'll build a scalable architecture that simultaneously supports a seamless consumer experience and Tally's core financial systems. Our technology uses Scala-at-large to build discreet services and servers to make credit card automation look simple. Functional programming experience a plus (Scala, F#, Java 8 lambda functions, Frege, Haskell, Clojure, OCaml, Erlang, Lisp, Elixir). https://jobs.lever.co/tally/4f6b044f-9110-4d2e-bbb5-ba7cea27...
-> Senior Data Engineer - You'll architect, build and scale our data pipeline from the ground up, bringing transparency to all aspects of our business. Core Technologies: Spark, Scala, Python, Airflow, EMR, ECS https://jobs.lever.co/tally/c928ed33-7094-4d64-aeec-90be4671...
Articles: https://www.forbes.com/sites/kristinstoller/2018/08/13/tally... https://www.businessinsider.com/how-does-tally-app-work
Apply directly to our Head of People: joe@meettally.com
Onai | | San Jose 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 cryptography. 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 a scientific or engineering 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.
Interos Solutions, Inc. | Full Stack Sr. Software Engineer (Haskell) | Full-Time | ONSITE | Arlington, VA
Interos Solutions, Inc. is a fast-growing venture backed company with an AI-driven SaaS application that delivers our commercial and government customers unique insight into their ever-changing business ecosystems. The core of our platform is the compilation, analysis and visualization of dynamically changing big data collected across open source, proprietary and public data sources. By continuously analyzing our “real-time” data stream we provide our customers with unique insights into their business relations, supply chains and other third-party activities. To accelerate the growth of our application, we are putting together a team of Haskell engineers, data analysts, data scientists, UI/UX professionals and product managers. We are committed to building a world class product organization that leverages tools like Haskell and latest machine learning techniques to achieve outsized results as individuals and as a team.
We have offices in Arlington, VA and Menlo Park, CA.
Summary
You will design, code, implement and maintain both front-end and back-end technologies. As one of our first Full-stack Engineers, you will have room to shape your work and have an outsized impact on our product and our culture. You will work across our tech stack to develop our enterprise-grade application, help institute effective processes for ensuring our products have quality code and minimal defects, collaborate with our VP of engineering, founder and our customers on product features, and more. We're looking for engineers who relish solving the hard-technical and analytics challenges and diving into the subtle details that make products amazing. Being part of and leading an innovative engineering team, you'll need solid hands-on experience in Haskell as well as web technologies (HTML/CSS/JS, REST, JSON/XML) and databases (Relational and NoSQL). Experience with machine learning, big data and cloud infrastructure are a plus.
I'm having trouble fitting our ad into the size of a HN comment but you can see the rest of the details (and apply!) here: https://interos.applicantpro.com/jobs/986650-306376.html
Proda | Senior Full stack engineers | London | Full-time | ONSITE | 50-85k + equity doe.
Proda is an investor-backed, data-mining startup for the commercial real estate industry; we're making data entry jobs less painful. Our clients have been beta testing our application and the feedback's been incredible: https://bdaily.co.uk/articles/2018/11/01/proptech-startup-pa....
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. Our sales pipeline is miles ahead of our development and we're looking to grow the team to deliver more feature our customers. Since we're still young, working with us means you have a lot of influence in shaping the culture and direction of the company. You'll also a chance to grow your skill set faster than somewhere else.
What about The product? We're building a data mining tool that can explicitly learn a relational data model based on sample inputs. It radically improves data entry and data cleaning for financial analysts. Customers have loved our demos and we're understandably coy in our public descriptions.
This is for someone who:
* is comfortable in functional programming, especially Haskell & Elm; and * is experienced shipping complex web software to production; and * has an eagerness to learn and willingness to share knowledge.
A Typical Day looks like:
* Start off writing a feature that requires elm-ports. These can be tricky, so you pair with another developer who has shipped such code before.
* After lunch you're requested to review a Pull Request that fixes a bug you accidentally introduced a couple weeks back. There's no blame, instead some discussion about how our tests and review process could have caught this earlier.
* The afternoon is spent with the Product guys around a whiteboard. You're helping them sketch out architecture for a complex new data-auditing feature that we'll need to deliver a couple of sprints down the line.
We're far more interested in your capacity to learn then the arcana of specific tech tools, but our platform is largely composed of:
- Haskell - Elm - PostgreSQL - Python / scikit-learn - AWS - Automated Testing and CI/CD. Contact us at https://proda.ai or check my profile
Cyient | FULL TIME | ONSITE (remote for the right candidate) | Melbourne, FL; Bangalore, 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 (Bangalore, India), Software Quality Assurance Engineer (Bangalore, India), Product Specialist (Bangalore, India), and DevOps Engineer (Melbourne, FL). Visit http://certsafe.com/careers/ for full position descriptions.
The roles outside of Melbourne, FL will require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.
Gambit Research Ltd (http://gambitresearch.com) | London, UK | ONSITE | £40-85k + Bonus + Benefits + Totally Flexible Working Hours + Personal Training Budget
At Gambit Research we specialise 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 via internal APIs. We care deeply about speed, accuracy and availability.
Our flagship product, MollyBet, 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 - individuals like you. 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: Python, Erlang, JavaScript and C++. We also use Linux, Docker, Kubernetes, Ansible, C, Java, Haskell, Julia, Go, 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 (all levels)
- Erlang developers
- JavaScript React developers
- Linux infrastructure engineer / Sysadmin / SRE / DevOps engineer
- Junior Product Analyst
If you're interested, pop your CV over to us at careers@gambitresearch.com, or have a go at our online challenge: https://www.gambitresearch.com/quiz/