Proda Ltd | Senior Engineers, Jr Engineers, Machine Learning, UX designers, Data modellers | London | Full-time | ONSITE (remote possible)
Proda is an investor backed startup for the commercial real estate industry. You know how most of the work in data science is cleaning up data? We automate data cleaning for a particular problem domain within the industry.
We primarily use Haskell and Elm (with some python and javascript floating around), AWS for CI/CD and production, and PostgreSQL. We're based in London and hiring onsite and remote (if you're senior, experienced with remote working, and in a nearby timezone).
* Collaborative, engineering led culture where learning is actively encouraged.
* We [try to do!] regular tech talks, sometimes with outside speakers, and encourage conference trips.
* Based in London, near the South Bank. But we're open to remote if you're not here.
* We're clear and upfront with our interview process. Contact me about the role and I'll let you know immediately.
* (For onsite UK) full zero-excess private health insurance with optician and dental cashback
* Flexible on hours and work-from-home as well
* We cannot sponsor UK visas, but we can start the process if you're a great remote candidate.
Interested? Contact info in my profile or visit our website at https://www.proda.ai/join-us
ActiveSphere | Bangalore, India | ONSITE | Full Time | Software Engineer, Full stack
We're a boutique software development/consulting company based in Bangalore. Currently, 10 programmers.
Our work depends on client and personal interests/ideas we care about. For clients, these days we are mostly working on Elixir, React. Apart from client work, we spend time understanding and exploring diverse topics and languages. Sometimes these explorations lead to writings like compound interest[1] and creating a visual primer on elixir streams[2], exploring FoundationDB[3], some other times, it leads to discussions in ML or distributed systems, or readings like Understanding Comics, Sapiens, or Art of multiprocessor programming. We care about having colleagues with whom we can grow in our perspectives.
We built a distributed job scheduler in Elixir, a tunneling solution in Go, TypeScript emacs mode (recommended at https://www.typescriptlang.org/), 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[4]
The interview process usually involves a programming problem followed by a few rounds of telephonic/in-person conversations. If interested, please try solving https://www.activesphere.com/problems/regex-gen.html and write back to us at career[at]activesphere.com
[1] https://www.activesphere.com/compound-interest/
[2] https://www.activesphere.com/blog/2017/11/28/stream
[3] https://www.activesphere.com/blog/2018/08/05/high-contention...
Senior Haskell Engineer @ HASURA | Full-time & Consultants | REMOTE
hasura.io is hiring senior Haskell developers. We build tools for developers to reduce the effort that goes into building backends for applications. One of our core products is the opensource graphql-engine which gives the developer a realtime GraphQL backend on a Postgres database: https://github.com/hasura/graphql-engine
Requirements: We are looking for someone who - has Haskell experience - has architected large scale applications in Haskell - has an understanding of the current best practices for writing production code - knows how to optimise Haskell code for performance
Good to have: - Experience working with relational databases
Location: Bangalore, India or remote.
How to apply: If this role interests you, please reach out to us at work [AT] hasura.io. Please mention HN and let us know if you're looking for a full-time role or short term consulting.
CJ Affiliate | Senior Software Engineer | West Los Angeles, CA and Santa Barbara, CA | Onsite
We're the leader in affiliate marketing, and we're solving interesting problems at scale. We interact with almost 1B users monthly and drive over 100M transactions a year.
We are dedicated to personal and professional growth for all of our engineers. We send delegations to several conferences each year (Strata, Re:Invent, Defcon, React Rally, etc.), run lunch-and-learns and various working groups, offer personal study time, and foster a culture of teaching.
While our main codebase is a mix of Java and Scala, we welcome experimentation with language choices and have Haskell and Clojure codebases in development and in production.
We value TDD, pair programming, automation, and dogma-free agile practices
We enjoy the financial backing of a Fortune 500 business while maintaining the independence, agility, and lack of bureaucracy of a smaller company.
Apply Online at http://jobs.cj.com/jobs/category/engineering/
or email me at snazarian at cj.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.
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), and Product Specialist (Bangalore, India). Visit http://certsafe.com/careers/ for full position descriptions. The roles will require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.
Prima Assicurazioni (prima.it) | Milan, Italy | Full time | Onsite and italian language required | Backend/Frontend/Fullstack/DevOps | https://www.prima.it/carriera
We are a team of really smart people working in a very well funded startup trying to disrupt insurance in Italy by using technology as our main competitive advantage. We employ a micro service architecture (10s of them are in production atm), Docker and AWS.
Most of our micro services are written in Elixir, we also have some Ruby, Haskell, Python, Go and Rust in production besides a legacy Symfony 2 application, while on the front end side we are mainly using Elm.
We have a lot of automation in place, we run a pretty comprehensive test suite on Drone CI at every push and every developer can spin up QA environments that mirror our entire stack for a given feature branch (this is made possible by having all of our infrastructure managed through CloudFormation templates). All of this allows us to confidently deploy to production multiple times per day.
Our stack:
AWS (a lot of services), CloudFlare OS: Amazon Linux EC2 instance number: from ~30 to ~100: we scale automatically a lot of times during the day and treat our infrastructure as immutable Infrastructure: CloudFormation + scripts CD: Drone CI, Docker (dev -> qa -> staging -> production) Container orchestration: AWS ECS DB: Aurora MySQL and PostgreSQL, Redshift, ElastiCache Redis, DynamoDB Monitoring: ELK, DataDog, New Relic, CloudWatch Team organization: small cross functional agile teams (every team has at least one person for all of these roles: backend engineer, frontend engineer, web designer, qa engineer, devops engineer) Backend languages: Elixir, PHP (we're phasing it out long term), Haskell, Python, Rust, Ruby, Go Frontend languages: Elm, Javascript Stuff that we like:
Micro service oriented architecture Functional reactive programming Event sourcing (CQRS) Actor model Agile (Scrum) Domain-driven Design (DDD) If you're interested or just want some more info feel free to drop me an email: andrea.usuelli@prima.it
Gambit Research Ltd (http://gambitresearch.com) | London, UK | ONSITE | £40-85k + Bonus + Benefits + Totally Flexible Working Hours + Personal Training Budget + Chef Cooked Office Lunches Twice a Week
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
- Data Engineers (all levels)
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/