πŸ“ˆ Open Startup
RSS
API
Post a Job

get a remote job
you can do anywhere

7 Remote Senior Haskell Jobs at companies like Luna, Secucloud and Front Row Education last posted 17 days ago

7 Remote Senior Haskell Jobs at companies like Luna, Secucloud and Front Row Education last posted 17 days ago

Get a  email of all new remote Senior + Haskell jobs

Subscribe
×

  Jobs

  People

πŸ‘‰ Hiring for a remote Senior + Haskell position?

Post a Job - $299
on the πŸ† #1 remote jobs board

This month


Luna

Senior Haskell Developer


Luna


dev

haskell

senior

digital nomad

dev

haskell

senior

digital nomad

17d

Apply

{linebreak}Overview{linebreak}{linebreak}Luna (http://luna-lang.org) is an award-winning data-science platform, selected by NASA and Singularity University as 1 of the 20 most impressive technologies worldwide. We are looking for senior Haskell developers for a variety of roles, including Compiler Engineer, DevOps Engineer, GUI Architect, and Cloud Software Engineer. If you have strong technical skills and a passion for functional programming, then this role could be the one for you.{linebreak}{linebreak}{linebreak}{linebreak}* Senior Compiler Engineer{linebreak}{linebreak}As a compiler engineer, you'll work as part of the compiler team to design and implement the Luna compiler and runtime, work that is at the very core of the next phase of Luna's development. This will involve:{linebreak}{linebreak}{linebreak}{linebreak}* Working on the design and implementation of the new portions of the compiler.{linebreak}{linebreak}* Both practical and theoretical work on improving Luna's type-system.{linebreak}{linebreak}* Practical work improving both the performance of the compiler and its capabilities.{linebreak}{linebreak}* Work on pass-based optimizations to improve the performance of Luna itself.{linebreak}{linebreak}* Work on developing the new Luna runtime, including the JIT compiler, base on the infrastructure provided by GHC (the Glasgow Haskell Compiler).{linebreak}{linebreak}* Designing and developing mechanisms for foreign language interoperability, to allow users to seamlessly integrate Luna with other languages in their stack.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}The skills we are looking for:{linebreak}{linebreak}{linebreak}{linebreak}* Practical and rich experience writing code in Haskell, including experience with lenses, arrows, monad transformers, free monads, catamorphisms, GADTs, type families, existential types, template Haskell, generics, type applications, continuations and modern type-level programming, such as -XTypeInType (3+ years).{linebreak}{linebreak}* Experience reasoning about and debugging performance issues in Haskell code.{linebreak}{linebreak}* Practical experience building large and complex software systems.{linebreak}{linebreak}* Experience in building compilers or the design of type-systems.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}It would be a big bonus if you also had:{linebreak}{linebreak}{linebreak}{linebreak}* Familiarity with the GHC Core language, and the GHC pipeline.{linebreak}{linebreak}* Experience with dependent type systems, row types, type-checking algorithms, and type-inference.{linebreak}{linebreak}* Familiarity with LLVM and its architecture.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}* Senior Cloud Software Engineer{linebreak}{linebreak}As a senior cloud software engineer, you'll be leading the effort to design and develop our new SaaS offering, providing a web-based version of Luna to our clients. Your work will be integral to the next phase of Luna's development, as we expand our offering beyond the open-source project. This will involve:{linebreak}{linebreak}{linebreak}{linebreak}* Working closely with the internal teams to design a secure and scalable SaaS architecture, including user management, load-balancing, file management, on-demand scalability. {linebreak}{linebreak}* Developing a SaaS solution based upon that design with robust tooling and reliability, as well as inbuilt support for collaboration.{linebreak}{linebreak}* Hosting the architecture on a cloud provider without becoming too dependent on any one given platform.{linebreak}{linebreak}* Contributing to the evolution of this vibrant open-source project by bringing a new component to its ecosystem.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}The skills we are looking for:{linebreak}{linebreak}{linebreak}{linebreak}* A strong focus on security and scalability.{linebreak}{linebreak}* 3+ years of experience in designing secure, scalable, and collaboration-ready SaaS architectures.{linebreak}{linebreak}* A strong understanding, based on practical experience, of cloud virtualization techniques.{linebreak}{linebreak}* Practical experience in building, scaling, and maintaining such infrastructure.{linebreak}{linebreak}* 3+ years experience with one or more of AWS, Azure, Google Cloud, or Digital Ocean.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}It would be a big bonus if you also had:{linebreak}{linebreak}{linebreak}{linebreak}* Experience working in close conjunction with multiple product teams.{linebreak}{linebreak}* Experience building SaaS deployments that are designed to be independent of the underlying cloud provider.{linebreak}{linebreak}* Experience in Haskell or other purely functional programming languages.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}* Senior GUI Architect{linebreak}{linebreak}As a senior Haskell front-end developer, you'll spearhead the design of the new user-interface for Luna 2.0, designing and building a front-end that can run across multiple browsers and in electron. This will involve:{linebreak}{linebreak}{linebreak}{linebreak}* Spearhead the architecture and design for the new version of Luna Studio, its event system, and its plugin architecture.{linebreak}{linebreak}* Design and implement purely functional bindings to our JavaScript WebGL drawing framework.{linebreak}{linebreak}* Working closely with stakeholders and customers to design an interface that is both intuitive and fluid to work with.{linebreak}{linebreak}* Implementing these solutions using modern front-end web-development technologies in a cross-platform manner to create an application that can run both in the browser and in electron.{linebreak}{linebreak}* Managing and working around cross-browser compatibility issues.{linebreak}{linebreak}* Contributing to the testing and integration of the user interface, from both functional and UI standpoints.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}The skills we are looking for:{linebreak}{linebreak}{linebreak}{linebreak}* A strong focus on both user experience and aesthetics.{linebreak}{linebreak}* Practical and rich experience writing code in Haskell, including experience with lenses, monad transformers, free monads, overlapping type classes, GADTs, type families, existential types, template Haskell, generics, type applications, and continuations.{linebreak}{linebreak}* Practical experience building large and complex software systems.{linebreak}{linebreak}* Practical experience architecting user-facing applications, with a focus on enabling user workflows.{linebreak}{linebreak}* A strong understanding, based on practical experience, of modern front-end frameworks, with a focus on React.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}It would be a big bonus if you also had:{linebreak}{linebreak}{linebreak}{linebreak}* Experience with GHCJS, TypeScript, and RxJS.{linebreak}{linebreak}* An understanding of cross-browser compatibility issues, and experience working around such problems.{linebreak}{linebreak}* Familiarity with front-end build tools such as Webpack and Gulp.{linebreak}{linebreak}* Experience with testing tools, both for integration and for front-end (e.g. Selenium).{linebreak}{linebreak}* Experience with visual programming systems such as Houdini, Max/MSP, Lab VIEW, or Touch Designer.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}* Senior DevOps Engineer{linebreak}{linebreak}As a senior DevOps engineer at Luna, you'll be instrumental to the design and automation of all the processes that support the creation, deployment, and publication of the language and its IDE. This will involve:{linebreak}{linebreak}{linebreak}{linebreak}* Working closely with the compiler and IDE developers to create tailored solutions for the CI, and CD of Luna and Luna Studio.{linebreak}{linebreak}* Create solutions for packaging Luna and Luna studio in a way that can be run across myriad computing systems.{linebreak}{linebreak}* Create frameworks for creating packages in an operating-system independent manner.{linebreak}{linebreak}* Contribute to the future of a rapidly growing open-source project, and its ecosystem.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}The skills we are looking for:{linebreak}{linebreak}{linebreak}{linebreak}* Practical and rich experience writing code in Haskell, including experience with lenses, monad transformers, free monads, overlapping type classes, type families, and template Haskell.{linebreak}{linebreak}* Knowledge of Haskell build processes (e.g. cabal the library, custom Setup.hs files).{linebreak}{linebreak}* Practical knowledge of the ways that executables and library loading works on Linux, MacOS, and Windows, and the differences between them.{linebreak}{linebreak}* Experience with how the above differences affects packaging, and the skills to debug related issues.{linebreak}{linebreak}* Practical experience with designing and implementing automated pipelines for building, setting up environments for, testing, and packaging complex projects.{linebreak}{linebreak}* Practical experience with some CI/CD system (we use Azure Pipelines).{linebreak}{linebreak}* A focus on robustness, repeatability, and debugability, with an inclination to automation of tasks for integration with build- and development-tools.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}It would be a big bonus if you also had:{linebreak}{linebreak}{linebreak}{linebreak}* An understanding of the security concerns related to the above tasks.{linebreak}{linebreak}* Experience with automated, high-level testing, particularly for GUI projects (e.g. Selenium).{linebreak}{linebreak}* Experience with C++ Build Systems (e.g. CMake and MSBuild){linebreak}{linebreak}* Knowledge of computer networking and the operation of VPNs.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}* Senior Awesome Haskeller{linebreak}{linebreak}If you don't feel you fit any of the profiles above, but still feel that you will be an amazing match for our team, please apply as well! :){linebreak}{linebreak}{linebreak}{linebreak}

See more jobs at Luna

Apply for this Job

πŸ‘‰ Please reference you found the job on Remote OK, this helps us get more companies to post here!

When applying for jobs, you should NEVER have to pay to apply. That is a scam! Always verify you're actually talking to the company in the job post and not an imposter. Scams in remote work are rampant, be careful! When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.


Luna

Senior Haskell Compiler Engineer  


Luna


haskell

senior

engineer

haskell

senior

engineer

26d

Apply

{linebreak}Overview{linebreak}{linebreak}Luna is looking for a senior compiler engineer to help build the next generation compiler and runtime for Luna, a project said by NASA and Singularity University to be 1 of 20 most impressive technologies worldwide. If you have strong technical skills and a passion for all things compiler, then this role could be the one for you.{linebreak}{linebreak}As a compiler engineer, you'll work as part of the compiler team to design and implement the new Luna compiler and runtime, work that is at the very core of the next phase of Luna's development. You'll have the opportunity to collaborate with a world-class team of engineers, community managers, and business developers (with experience at Bloomberg, GitHub, and PayPal, to name a few), and make your indelible mark on the future of Luna.{linebreak}{linebreak}What You'll Do{linebreak}{linebreak}As a senior compiler developer, you'll be working on the design and development of the new Luna compiler and runtime, to help support the Language's evolution. This will involve:{linebreak}{linebreak}{linebreak}* Working on the design and implementation of the new portions of the compiler.{linebreak}{linebreak}* Both practical and theoretical work on improving Luna's type-system.{linebreak}{linebreak}* Practical work improving both the performance of the compiler and its capabilities.{linebreak}{linebreak}* Work on pass-based optimizations to improve the performance of Luna itself.{linebreak}{linebreak}* Work on developing the new Luna runtime, including the JIT compiler, base on the infrastructure provided by GHC (the Glasgow Haskell Compiler).{linebreak}{linebreak}* Designing and developing mechanisms for foreign language interoperability, to allow users to seamlessly integrate Luna with other languages in their stack.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}The Skills We're Looking For{linebreak}{linebreak}We have a few particular skills that we're looking for in this role:{linebreak}{linebreak}{linebreak}* Practical and rich experience writing code in Haskell, including use of many GHC Language Extensions, commonly used to enable type-level programming, such as -XTypeFamilies, -XTypeApplications, and -XTypeInType (3+ years).{linebreak}{linebreak}* Experience reasoning about and debugging performance issues in Haskell code.{linebreak}{linebreak}* Practical experience building large and complex software systems.{linebreak}{linebreak}* Experience in building compilers or the design of type-systems.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}It would be a big bonus if you had:{linebreak}{linebreak}{linebreak}* Familiarity with the GHC Core language, and the GHC pipeline.{linebreak}{linebreak}* Experience with dependent type systems, row types, type-checking algorithms, and type-inference.{linebreak}{linebreak}* Familiarity with LLVM and its architecture.{linebreak}{linebreak}{linebreak}

See more jobs at Luna

Apply for this Job

πŸ‘‰ Please reference you found the job on Remote OK, this helps us get more companies to post here!

When applying for jobs, you should NEVER have to pay to apply. That is a scam! Always verify you're actually talking to the company in the job post and not an imposter. Scams in remote work are rampant, be careful! When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.

This year


Secucloud

Senior Haskell Software Developer Genius For Network Security Solutions


Secucloud


infosec

dev

haskell

senior

infosec

dev

haskell

senior

1yr

Apply


Stats (beta): πŸ‘ 1,943 views,✍️ 0 applied (0%)
{linebreak}Senior Software Developer for Network Security and Cloud Infrastructures - to start immediately.{linebreak}{linebreak}TL;DR: Develop scalable network security products for the mass markt, worldwide!{linebreak}{linebreak}01 - Your tasks:{linebreak}{linebreak}{linebreak}* Development of our cloud based network security technologies{linebreak}{linebreak}* Optimization of our existing solutions{linebreak}{linebreak}* Documentation and knowledge sharing, e.g. internal code talks{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}02 - Your skills:{linebreak}{linebreak}{linebreak}* Programming in Haskell{linebreak}{linebreak}* Strong experience with/in{linebreak}{linebreak}{linebreak}{linebreak}* Development of scaleable networks{linebreak}{linebreak}* Web technologies and networks, especially network security technologies{linebreak}{linebreak}* Cloud service providers{linebreak}{linebreak}* Very good English skills verbal and written{linebreak}{linebreak}{linebreak}{linebreak}* Beneficial: Erlang, JavaScript, Python or C++{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}03 - Your benefits:{linebreak}{linebreak}{linebreak}* Full-time permanent position with flexible working hours{linebreak}{linebreak}* Room for individual initiative and engagement as part of dynamic and international collaborative teams{linebreak}{linebreak}* Comfortable and enjoyable working environment in city centre{linebreak}{linebreak}* Flat hierarchies and short decision-making channels{linebreak}{linebreak}* Competitive salary and tons of corporate benefits i.e. disability insurance for free, beverages, daily fresh smoothies, regularly company events, personal fitness coach, massages and many other Secucloud benefits.{linebreak}{linebreak}{linebreak}{linebreak}{linebreak}04 - FAQ:{linebreak}{linebreak}* What do you really do daily?{linebreak}{linebreak}{linebreak}{linebreak}* Grab you coffee / Smoothie / Tee, etc.{linebreak}{linebreak}* Update/Synch with Dev team and prioritize tasks{linebreak}{linebreak}* Challenge yourself by developing features with new technologies{linebreak}{linebreak}* Challenge your colleagues by reviewing and optimizing their code{linebreak}{linebreak}* Try to proof your QA mates wrong{linebreak}{linebreak}* Go home when you've left your fingerprint on the product and be happy to have done a real contribution. Not only providing estimations.{linebreak}{linebreak}{linebreak}{linebreak}* How to improve your career?{linebreak}{linebreak}{linebreak}{linebreak}* learn from our network and security expertise{linebreak}{linebreak}* specialize and do brownbag sessions{linebreak}{linebreak}* get market observations, break them down technically and come up with innovative products for the new world{linebreak}{linebreak}* teach and manage younger hackers if you enjoy{linebreak}{linebreak}{linebreak}{linebreak}

See more jobs at Secucloud

Apply for this Job

πŸ‘‰ Please reference you found the job on Remote OK, this helps us get more companies to post here!

When applying for jobs, you should NEVER have to pay to apply. That is a scam! Always verify you're actually talking to the company in the job post and not an imposter. Scams in remote work are rampant, be careful! When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.


Stats (beta): πŸ‘ 1,580 views,✍️ 0 applied (0%)
# Position{linebreak}{linebreak}Senior Backend Engineer to join fast-growing education startup transforming the way **6.5+ million K-12 students** learn Math, English, Social Studies and more. {linebreak}{linebreak}## What you tell your friends you do{linebreak}{linebreak}β€œYou know how teachers in public schools are always overworked and overstressed with 30 kids per classroom and never ending state tests? I make their lives possible and help their students make it pretty far in life”{linebreak}{linebreak}## What you really will be doing{linebreak}{linebreak}Architect, design and develop new web applications, tools and distributed systems for the Front Row ecosystem in Haskell, Flow, PostgreSQL, Ansible and many others. You will get to work on your deliverable end-to-end, from the UX to the deployment logic{linebreak}{linebreak}Mentor and support more junior developers in the organization{linebreak}{linebreak}Create, improve and refine workflows and processes for delivering quality software on time and without incurring debt{linebreak}{linebreak}Work closely with Front Row educators, product managers, customer support representatives and account executives to help the business move fast and efficiently through relentless automation.{linebreak}{linebreak}## How you will do this{linebreak}{linebreak}You’re part of an agile, multidisciplinary team. You bring your own unique skill set to the table and collaborate with others to accomplish your team’s goals.{linebreak}{linebreak}You prioritize your work with the team and its product owner, weighing both the business and technical value of each task.{linebreak}{linebreak}You experiment, test, try, fail and learn all the time{linebreak}{linebreak}You don’t do things just because they were always done that way, you bring your experience and expertise with you and help the team make the best decisions{linebreak}{linebreak}## What have we worked on in the last quarter{linebreak}{linebreak}We have rewritten our business logic to be decoupled from the Common Core math standards, supporting US state-specific standards and international math systems{linebreak}{linebreak}Prototyped and tested a High School Math MVP product in classrooms{linebreak}{linebreak}Changed assigning Math and English to a work queue metaphor across all products for conceptual product simplicity and consistency{linebreak}{linebreak}Implemented a Selenium QA test suite 100% in Haskell{linebreak}{linebreak}Released multiple open source libraries for generating automated unit test fixtures, integrating with AWS, parsing and visualizing Postgres logs and much more{linebreak}{linebreak}Made numerous performance optimization passes on the system for supporting classrooms with weak Internet bandwidth{linebreak}{linebreak}## Team{linebreak}{linebreak}We’re an agile and lean small team of engineers, teachers and product people working on solving important problems in education. We hyper-focus on speeds, communication and prioritizing what matters to our millions of users.{linebreak}{linebreak}## Requirements{linebreak}{linebreak} - You’re smart and can find a way to show us.{linebreak} - A track record of 5+ years of working in, or leading, teams that rapidly ship high quality web-based software that provides great value to users. Having done this at a startup a plus.{linebreak} - Awesome at a Functional Programming language: Haskell / Scala / Clojure / Erlang etc{linebreak} - Exceptional emotional intelligence and people skills{linebreak} - Organized and meticulous, but still able to focus on the big picture of the product{linebreak} - A ton of startup hustle: we're a fast-growing, VC-backed, Silicon Valley tech company that works hard to achieve the greatest impact we can.{linebreak}{linebreak}## Benefits{linebreak}{linebreak}- Money, sweet{linebreak}- Medical, dental, vision{linebreak}- Incredible opportunity to grow, learn and build lifetime bonds with other passionate people who share your values{linebreak}- Food, catered lunch & dinner 4 days a week + snacks on snacks{linebreak}- Room for you to do things your way at our downtown San Francisco location right by the Powell Station BART, or you can work remotely from anywhere in the US, if that’s how you roll{linebreak}- Awesome monthly team events + smaller get-togethers (board game nights, trivia, etc)

See more jobs at Front Row Education

Visit Front Row Education's website

# How do you apply?
Apply for this Job

πŸ‘‰ Please reference you found the job on Remote OK, this helps us get more companies to post here!

When applying for jobs, you should NEVER have to pay to apply. That is a scam! Always verify you're actually talking to the company in the job post and not an imposter. Scams in remote work are rampant, be careful! When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.