FINN.no | Software Engineer | Full-time | ONSITE / HYBRID | Oslo, Norway
FINN.no has a unique position as the leading digital marketplace in Norway - everyone has a relation to and story about FINN: either buying your first house, finding your dream job or selling your wedding dress. Every week, FINN torget has more than 2 million unique visitors.
Our high performing engineering unit of 180 + developers is a large part of the success story. We have spent the last 10 years going from a monolith to an asynchronous, event driven micro services architecture. Our infrastructure allows our developers to push new code to production more than 1800 times every week. We are now working in a hybrid office, where we mix our days at the home office and some together with the team at the office at Grensen 5-7 downtown in Oslo.
You will work with tools like Docker, Kubernetes, Prometheus, Kafka, Grafana and Consul. Most of our codebase is written in Java, Kotlin and Node.js, but we do also use other languages, like Haskell and Scala.
MLabs | Full Time | Worldwide remote (UK-based) | mlabs.city
MLabs is a rapidly growing, globally distributed software consultancy, working with Haskell, Rust, and Python. Currently, we are looking to fill the following positions:
- Haskell Developer (Junior through Senior)
- Technical Delivery Manager
Experience and/or interest with any of the below technologies/business fields are an asset:
- Blockchain, Especially Cardano or Ergo
- Functional programming- Finance
- Consultancies/Agencies
- NFTs
- Web Stack
- Formal Methods, Dependant types, theorem provers
- Sales engineering
- systems design
- Cybersecurity
Due to our fast rate of growth applications are currently open all year round. We offer competitive salaries and varied shift patterns to suit everyone. Whether you want to work one day or a week or five we want to hear from you!
For more information about these roles and applications, check https://apply.workable.com/mlabs/j/63DAAA4AEF/
We will get back to you as soon as possible!
Symmetry Investments | Many Varied Roles | REMOTE or VISA (London, Hong Kong, Singapore, Jersey) | D, Julia, Kotlin, other functional and systems languages | Full-Time, Fixed Term, Flexible
## Roles we are hiring for
- Business Analysts: business analysis, documentation, team and tool design
- Native Code Developers: We are looking for outstanding native code developers who would like to write D. Our experience has been that strong C and C++ developers can learn D quite quickly.
- Functional Developers to work with Practitioners using Symmetry Integration Language to deliver value to the business.
- Documentation: At Symmetry we recognise the value of writing and have for example a Pulitzer prize-winning former WSJ journalist and a maintainer of Linux Kernel Newbies documentation. We are looking for people to write technical documentation and to document data structures and processes (open to varying range of technical ability depending on the project).
- Designers for documentation. Now that non-programming internal work is moving to markdown in git, we are hiring designers to work on templates and mini-logos for documentation and other work.
- Data Science: time series analysis in particular, including high frequency data sets that are too big for simple tools
- Information Security: incident response, threat intelligence, vuln management
- Platform: Platform as Code, Site Reliability Engineers, Windows desktop support; frontline server support and administration; application support
- Legal and Compliance: #lawyerswhocode or who are very comfortable working with markdown in git
- Accounting: are you the sort of person who would use #ledger-cli ? If so, we would like to hear from you.
- Business: risk, operations, administrative, organisational design and business strategy, investor relations processes
- Investment: Economics, Quant, Portfolio Research, Investment Research, Portfolio Management and Trading
- Market Data: contract administration, data cleaning, alternative data research and management
Location: Remote or sponsorship for a visa in London, Hong Kong, Singapore, Jersey
Term: full-time permanent, fixed-term contract, flexible hours.
## Languages
- Dlang (D)
- Julia
- Kotlin
- we do not use but value experience in modern C++, beautiful C, Haskell, Ocaml, Rust, Elm
## Qualities and traits we value
- Courage and daring
- Phronesis (practical wisdom), common sense and commercial orientation
- Practical people who are at the same time unreasonable when they ought to be
- Highly individual people oriented to promoting survival and flourishing of the group
- Inclination and ability to notice and understand links between seemingly-unrelated things
- Curiosity
- Extreme motivation
- Mechanical sympathy
- Extreme and unusual intellectual capabilities
- A love of tinkering
- Resourcefulness
- Good taste and love of beauty
## About Us
Symmetry Investments is a post startup USD 7+ billion alternative asset management company with around 230 people across multiple time zones and locations.
Our core technology team has been remote-first for some time, and the whole company is following suit, post-COVID.
I'm one of the three people running the firm, responsible amongst other things for technology across the firm and I’m posting this myself. That should give you an idea both about how seriously we take technology and the culture of the firm.
We are four years into a period of transformation from what was initially a fairly standard enterprise finance technology approach to something new that recognises the importance of both the humane and the technical for discretionary portfolio management and for the business of running an alternative investment manager. [Amaury Sechet](https://www.youtube.com/watch?v=AhR4PSExnqk), [Andrei Alexandrescu](https://www.youtube.com/watch?v=es6U7WAlKpQ) and [Atila Neves](https://dlang.org/blog/2019/10/15/my-vision-of-ds-future/) have been working with us as long-term consultants and we have many other talented people with lower public profiles.
It's not easy to integrate practitioners who may spend most of their day programming, but are oriented towards solving business problems, with developers who are specialists in programming. To achieve this, we wrote a little functional DSL that's now in production. Type inference of returns and parameters using inequality constraints is in a feature branch and there is plenty more to do on the language itself as well as the ecosystem around it. SIL can compile and call C++ and D at runtime; Python interop is in alpha; and C# is on the way. What might be a project in itself elsewhere can be just a set of functions in Symmetry Integration Language.
The language is written in D and we have a close involvement with the D Foundation and community, hosting DConf in London. So we are looking for outstanding native code developers who would like to write D as well as people to work with practitioners writing Symmetry Integration Language. Also looking for people to write documentation and work on the build.
It's quite a creative place where we encourage a degree of courage amidst practical constraints, and we are open to doing things a different way if it's commercially sound and in the interests of our investors.
We look for virtues and capabilities over only experience and credentials although those things aren't a disadvantage. Do not let a lack of credentials or qualifications prevent you from applying. We've recently hired experts with C++, Common Lisp, D, Haxe, Haskell, Julia and Perl backgrounds, and are happy to bring them up to speed with the tools we use.
Compensation is currently not quite at Netflix standards but is generous to very generous over time by broad technology industry standards. We recognise and reward technical accomplishment and have a very flat structure - don't be surprised if our founder and CIO starts asking you questions about your work.
## Symmetry Talks
- Presenting SIL-cling to Compiler Research Group at Princeton (https://youtu.be/7teqrCNzrD8)
- Symmetry Internship Project - calling C++ from SIL (http://dconf.org/2020/online/index.html#alexandru)
- All Spreadsheets Must Die (https://youtu.be/FZi9CSB9_kk)
- Lessons from a DSL where all you have is Ranges (https://www.youtube.com/watch?v=BtuzSlKRmzA)
- Alternative Investment Management (https://youtu.be/1rMq-4rWgis)
## Links
- Symmetry GitHub (https://github.com/symmetryinvestments)
# Contact
- Please apply using this link (https://jobs.lever.co/symmetryinvestments/c8a9b95e-bdf0-459c...).
NoRedInk | Full-Stack Engineers, Growth Engineers, Platform Engineers, Engineering Managers, Quality Assurance (QA) Engineers, Data Analysts, and Tooling & Infrastructure Engineers | REMOTE from time zones between (and including) Pacific Time (PST) through Central European Time (CET)
We’re a growing ed-tech company on a mission to help all students become better writers! NoRedInk is used by 1 in 2 school districts in the US, and students have answered over 5 billion questions on our platform. If you're looking to join a team of friendly people who listen to and learn from each other, discuss past mistakes openly as we adapt to the challenges that come with progress, all while realizing our mission, then you'll be excited to learn more about us.
Our colleagues span six time zones, California to Berlin and points in between, with lively discourse flowing freely across Slack, Zoom, and the office when we're able to be there. Wherever we're working from, we've always delighted in our work to ship new features—beginning with our curriculum and product teams, designers, through to testing by our dedicated quality assurance folks—that put teachers and students first. [1]
Our engineering team [2] takes prides in producing innovative, maintainable software. We use the cutting-edge Elm programming language for all our front-end development. Our back-end is primarily Ruby on Rails by lines of code, though we're actively moving toward Haskell; the majority of our traffic now goes through a Haskell service. We use Amazon AWS for our infrastructure orchestrated primarily using Kubernetes. We write a lot of tests, and use Jenkins for continuous integration. We've also developed and maintain several useful open-source projects. [3] You can read about our experiences with these technologies on our team blog. [4]
We’re looking for engineers who want to work on a mission that makes a difference and who are the type of collaborators that value kindness and open-mindedness. If that's you, you can learn more about our interview process [5] and on-boarding experience [6], and you should definitely apply through our jobs page! [7]
[1] https://www.noredink.com/about/values
[2] https://www.noredink.com/about/team
[3] https://github.com/NoRedInk/
[5] http://tech.noredink.com/post/145260396603/our-engineering-h...
[6] http://tech.noredink.com/post/143787279069/on-boarding-as-a-...
Input Output (Marlowe) | https://iohk.io/ | International | Full-Time | Only REMOTE
The company builds high-assurance blockchain infrastructure solutions for public, private sector and government clients. It is also the driving force behind Cardano blockchain platform.
Marlowe: https://marlowe-finance.io
Marlowe is a DSL for financial contracts that will run on Cardano. Marlowe contracts can be statically analysed automatically and can be written using a visual programming environment, using JavaScript, or Haskell.
Tech stack: purescript, haskell, nix, webpack, servant, quickcheck
Open roles for Marlowe:
- Frontend Software Engineer (Purescript) - https://apply.workable.com/io-global/j/5610B808DC/
- Backend Software Engineer (Haskell) - https://apply.workable.com/io-global/j/162205208B/
- Software Test Engineer (QuickCheck) - https://apply.workable.com/io-global/j/1AC76A210A/
- UX/UI Designer - https://apply.workable.com/io-global/j/9AFC89D911/
Supercede | Software Developer (Haskell) | REMOTE | Full Time
Supercede (formerly Riskbook) builds industry-leading risk placement and analytics software for the reinsurance industry. We are currently a team of 18 people distributed across eight countries. About half of the team are developers, all of which spend most of their time writing Haskell, Elm, and Nix. We're all-in on functional programming, and we're looking for more help.
You must have demonstrable experience building things in idiomatic Haskell, and you should have a solid understanding of how web applications typically work. You should be able to communicate clearly in English, but you do not need to speak excellent English (our team speaks Russian, Ukrainian, Polish, Dutch, German, Italian, French, and more). You'll have flexible working hours and you can work from anywhere, though this is a full-time position and the expectation is that of work based on a traditional 40 hour week, with 25 days of paid annual holiday in addition to your country's national holidays.
We favour asynchronous communication, and try to hire "managers of one". We don't do daily stand-ups. We don't count your hours. We don't work weekends. We support each other in working and learning, and we have a dedicated fortnightly "Research Day" where every programmer is free to not do chores for the product, and instead investigate/learn/play with whatever technology they choose. Want to learn more about type-level programming? Property-based testing? Expert systems? Go right ahead!
Please write me a brief email introducing yourself with your résumé attached to jezen@supercede.com.
Primer | Data Engineer, Front/Back End Engineer, Technical Lead, Software Architect | REMOTE | https://www.sayprimer.com
We're building the "CircleCI of Growth Marketing" at Primer. Growth marketing has boomed in recent years and every B2B company needs a tailored, data-driven approach to their market in order to win business. Primer is enabling our customers to accomplish this much faster without having to engineer an expensive system.
Here are some reasons to work with us:
* We bootstrapped ourselves to $700k in revenue with a team of 4 in 2020 and just raised a small round to grow.
* We invest in our team and catapult careers. Many people end up at top-tiered companies like Dropbox, Facebook, and Tesla beyond working together.
* Our team is fully distributed, supports flexible schedules, and we spend 95% of our time outside of meetings. Many of us have young kids and we prioritize work/life balance.
* Our engineering ceremonies and technology are world-class, put engineers in the drivers' seat, and emphasize transparency.
* Our culture is high-achieving, genuinely kind, and collaborative.
The roles we'd like to fill are:
* Data Engineer (ETL/API)
* Technical Lead / Software Architect
* Senior Software Engineer (Back End)
* Software Engineer (Front End, Back End)
We welcome all applicants. The only requirement is having 1+ years of professional experience.
Our stack is React / Javascript / Node / Postgres, but we welcome polyglots. In general, we're looking for thought partners to help us architect a solution for the future so experience with other languages (e.g. Elixir, Go, Clojure, Kotlin, Haskell, Rust) is a plus.
Interested? Want to learn more? Feel free to contact me directly at juan [at] sayprimer.com
MuKn | Remote, all timezones | Full-time or contract | https://mukn.io/
Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are implementing Glow (https://glow-lang.org), an open-source domain-specific language to build Decentralized Applications (DApps). Glow simplifies DApp development by offering higher-level abstractions than standard solutions (e.g., Solidity) and a "write once, run on- and off-chain" workflow.
We're looking right now for Rust programmers that would like to work on blockchain infrastructure (malleable transactions for our AVOUM technology), and generalists that are interested in working on our language and compiler. We are looking for experienced developers who can work autonomously, but know when to ask for help.
Glow’s metalanguage is Gerbil Scheme (https://cons.io), but we use other languages where necessary, including JavaScript, Haskell, and Rust. Some background in Lisp, Scheme, or a purely functional family would be helpful, but is not required; experience with language design and implementation is also a plus. Other relevant domains include: blockchains, smart contract technologies (e.g., the EVM and also (E)UTxO models), distributed systems, cryptographic protocols, information security, economic modelling, game theory, automated theorem proving, and zero-knowledge proofs.
We’re a fully remote team spread across many time zones. We like to keep meetings and policies to a minimum, and expect team members to manage their own time and communications. We have one mandatory weekly meeting, structured as an informal code walk-through and review; this helps keep everyone aware of what the rest of the team is up to and how everything fits together.
Please send resumes to jobs@mukn.io. Any notable public discussion (on a mailing-list, GitHub issue, etc.) where you changed your own mind or someone else’s mind would be great to see, too.
Sentenai | Multiple Roles | Remote (US) | Full-time | US citizens only Sentenai helps organizations make decisions at the speed of their data. Our data fusion platform uses autonomous data engineering to organize data from sensors, logs, machines and other operational data sources, optimizing data for use in realtime intelligence and historical analysis applications.
Sentenai's primary customers fall under the DoD umbrella; unfortunately that means we are currently unable to consider any applicants who are not US citizens or are located outside the US.
Sentenai is hiring multiple roles:
- Software Engineer - Help us evolve our data fusion platform
- Haskell - Erlang - Front End Engineer - Develop data intensive user interfaces - Typescript - Tailwind - Vue - D3 - Flask Contact us at jobs@sentenai.com