Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
- Start-up operator / business lead (currently unlisted, email luke.sandquist@protocol.ai with CV and a brief cover letter describing your experience driving the business end of deep technical projects in the web3 space)
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
- Start-up operator / business lead (currently unlisted, email luke.sandquist@protocol.ai with CV and a brief cover letter describing your experience driving the business end of deep technical projects in the web3 space)
MLabs is hiring Haskell/Nix/Rust Developers (100% Remote, Worldwide )
We are one of the leading Haskell/Rust consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a 100% remote developers to join our team.
If you are excited about Haskell, Rust or Nix, about robust and clean software and are up for a new challenge, you’ve come to the right place!
We have both developer roles from Junior to Senior, as well as roles in Delivery Management.
Requirements
Strong skills in the language you want to work
Strong software engineering and architecture skills
Strong problem solving and analytical skills
Basic knowledge of security, concurrency, backend systems, system scaling and databases
Experience with blockchain, smart contracts, compilers, nix and/or purescript is a bonus
Benefits
Focus on learning and individual growth in Haskell and Computer Science
Work with other great Haskellers, open source contributors and computer scientists
Interesting and challenging projects
Talk with anyone in the organization, regardless of team
Remote work
Flexible working hours
6 weeks of paid vacation
Competitive salary
Also, I forgot to mention we're also looking for Backend Engineers. Our entire server is written in Clojure. We're looking for candidates with experience in any "weird" language: Clojure, Scheme, CL, Haskell, OCaml, Erlang, Brainfuck.
Lumi is transforming the manufacturing and packaging industries by building tools that help brands find and work with suppliers more easily than ever before. Our goal is to enable seamless collaboration between brands and suppliers to deliver sustainable, memorable and cost-effective packaging.
We use Haskell and Postgres on the backend and PureScript/React on the front-end. On the Haskell side, we primarily use Servant and Esqueleto. We get an enormous amount of utility from all aspects of Haskell's type system, from the most basic features like newtypes and sum types, to type families and GADTs. On the PureScript side, we use our own purescript-react-basic bindings, purescript-lumi-components, and Spago.
Protocol Labs | Various Roles | Remote | Full-time |
Protocol Labs is a research, development, and deployment lab for network protocols. Protocol Labs creates software systems that tackle significant challenges, aiming to solve them with new technology breakthroughs, great user experience design, and an open-source approach to creation.
Lumosity is an online program consisting of games claiming to improve memory, attention, flexibility, speed of processing, and problem solving
We are looking for a senior backend engineer (node/typescript and ideally some ruby over AWS/serverless) to help us develop our next generation of shared infrastructure services.
The company is fully remote at this point (with an office in SF we may use after covid). This particular team is on the East Coast. Incredible energy and company culture, compensation, equity and benefits.
Please email me directly at pablo.puerta@lumoslabs.com
ForAllSecure | Senior or Staff Rust Backend Engineer | Remote (US/Canada)| Full Time
ForAllSecure helps companies fuzz their code to find security & reliability issues. Our claim to fame was winning the DARPA Cyber Grand Challenge back in 2016. We are launching a new product targeting web APIs.
You will join a small team passionate about API testing. We believe that there is a better way to develop and test web APIs, and that fuzzing is part of the solution. We are driven to deliver that and help out all the API developers out there.
We are building everything but the frontend in Rust: our custom fuzzer, our web service, our CLI. It's been a blast!
We have offices in Palo Alto, CA & Pittsburgh PA, and many remote folks across the US and Canada.
Lumi | https://www.lumi.com | Remote (US) | Full-time
Lumi is transforming the manufacturing and packaging industries by building tools that help brands find and work with suppliers more easily than ever before. Our goal is to enable seamless collaboration between brands and suppliers to deliver sustainable and cost-effective packaging.
We use Haskell and Postgres on the backend and PureScript/React on the front-end. On the Haskell side, we primarily use Servant and Esqueleto. We get an enormous amount of utility from all aspects of Haskell's type system, from the most basic features like newtypes and sum types, to type families and GADTs. On the PureScript side, we use our own purescript-react-basic bindings, purescript-lumi-components, and Spago.
FP Complete ( https://github.com/fpco ) is hiring! We're known primarily for our Haskell and DevOps automation work but we're also using Rust internally.
We're hiring for a senior DevOps and an associate sysadmin role right now. You can see the postings here:
Lumi is looking for Haskell and PureScript engineers to grow our supply chain platform. Lumi helps manufacturers around the world make their capabilities available directly to ecommerce brands. We are open to remote candidates in the US and UK.
We are looking for a full-stack developers with skills in both backend and frontend development.
We use PureScript and React on the frontend and Haskell and Postgres on the backend. On the PureScript side, we use our own purescript-react-basic bindings, and purescript-lumi-components, a UI component library that we built and open-sourced. We get a lot of utility from PureScript’s type system, leveraging the compiler in order to ensure that we don’t get IDs for different entities mixed up, that all API calls are type correct, and that all form data is appropriately validated before it is used. On the Haskell side, we primarily use Servant and Esqueleto. We don’t expect candidates to have experience with all these things. We’d like to find engineers who are interested in learning more about these, and we’ll be happy to teach you.
Lumi was recently acquired by Narvar, where we are continuing to grow the team and leveraging Narvar’s experience building the software infrastructure that powers billions of e-commerce shipments for companies like Patagonia, Nike, GAP, Home Depot, etc.
ResNetLab supports the research efforts of two of Protocol Labs' flagship projects: IPFS and libp2p. Its mission is to build resilient distributed systems, by creating and operating a platform where researchers can collaborate openly and asynchronously on deep technical work.
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
The ideal candidate would have a background in cryptographic protocol design (e.g. Signal protocol, Noise protocol, TLS), distributed systems protocol design (e.g. Raft, PBFT, replicated SQL) and a penchant for quickly understanding and finding both design & implementation mistakes in unfamiliar systems. You might also have experience in systems hacking, capture-the-flag competitions, penetration testing, or similar activities. Experience in mechanism design, game theory, or cryptoeconomic design is a bonus but not a requirement.
Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
For anyone looking for something right now we are very much hiring over at https://snyk.io/ for engineers and more in Tel Aviv & London. All interviews are remote at this time but we are not stopping hiring.
Here is a small description of what we do:
Ecosystems Group
My team is responsible for introducing support for new Languages, Build Tools and Package Managers to help Snyk users test & fix their projects. We do so by understanding the language rules & dependency resolution rules for each tool and building libraries & services in TypeScript that can extract project dependencies so that they can be tested for known vulnerabilities. Expect to learn a lot, pair a lot and be challenged while delivering incremental value to our users
We're hiring functional programmers for development and DevOps positions. Our tools of choice are Haskell and NixOS, and we apply purely functional principles anywhere we can.
You'll be working with an experienced team, but you'll still have the opportunity to influence the design of our systems. We sell fashion products online in Southeast Asia, and the work involves building out a new NixOps-managed network, writing daemons/tools for a service-oriented architecture (primarily web-based), and the odd data science/machine learning problem (if that interests you).
We can assist you with relocation to Singapore, or you can work remotely and travel there occasionally. Apply via our jobs board at http://jobs.zalora.com/
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
The ideal candidate would have a background in cryptographic protocol design (e.g. Signal protocol, Noise protocol, TLS), distributed systems protocol design (e.g. Raft, PBFT, replicated SQL) and a penchant for quickly understanding and finding both design & implementation mistakes in unfamiliar systems. You might also have experience in systems hacking, capture-the-flag competitions, penetration testing, or similar activities. Experience in mechanism design, game theory, or cryptoeconomic design is a bonus but not a requirement.
Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
If interested, email jobs+hn@heliax.dev or apply from the link above and reference HN in your application. (Note - the Protocol Security Lead position has yet to be posted on our website).
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
The ideal candidate would have a background in cryptographic protocol design (e.g. Signal protocol, Noise protocol, TLS), distributed systems protocol design (e.g. Raft, PBFT, replicated SQL) and a penchant for quickly understanding and finding both design & implementation mistakes in unfamiliar systems. You might also have experience in systems hacking, capture-the-flag competitions, penetration testing, or similar activities. Experience in mechanism design, game theory, or cryptoeconomic design is a bonus but not a requirement.
Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
If interested, email jobs+hn@heliax.dev or apply from the link above and reference HN in your application. (Note - the Protocol Security Lead position has yet to be posted on our website).
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
The ideal candidate would have a background in cryptographic protocol design (e.g. Signal protocol, Noise protocol, TLS), distributed systems protocol design (e.g. Raft, PBFT, replicated SQL) and a penchant for quickly understanding and finding both design & implementation mistakes in unfamiliar systems. You might also have experience in systems hacking, capture-the-flag competitions, penetration testing, or similar activities. Experience in mechanism design, game theory, or cryptoeconomic design is a bonus but not a requirement.
Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
Heliax is a public goods lab which was built on years of pioneering experience across distributed systems, programming language theory, and zero-knowledge cryptography. All our work is open-source. Examples of some of our projects are Namada (https://github.com/anoma/namada), a sovereign proof-of-stake blockchain; Juvix (https://github.com/anoma/juvix), an experimental programming language; and Taiga (https://github.com/anoma/taiga), a framework for generalized shielded state transitions.
We are currently actively hiring for a number of positions, most notably Senior Rust Engineers, Senior Full Stack Engineers, and a Protocol Security Lead.
For the Senior Rust Engineer position, we are looking for experienced Rust developers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. You'll be working on distributed ledger technology implemented in Rust, all the way up and down the stack from the P2P layer to consensus algorithms, smart contract systems, proof-of-stake incentive mechanisms, privacy-enhancing cryptographic components, and on-chain governance procedures.
For the Senior Full Stack Engineer position, we are looking for either web developers with experience using TypeScript and other modern web frameworks or software developers who have experience with Rust. Some representative examples of features you’ll be working on in this role are: adding support for Ledger hardware wallet connectivity, support for generation and use of file-based keys, generation of shielded transactions using cryptographic libraries, display of any digital asset (including NFTs) and associated transaction history, and on-chain management of staking and governance. It's a plus if you've previously worked with WebAssembly.
For the Protocol Security Lead, you'll be responsible for breaking protocols both in theory and practice in and outside the company, and assembling a team to help them do so. You'll receive a high degree of latitude and autonomy to prioritize tasks and search for the weakest links in complex systems in order to break them. The rough structure could be compared to Google Project Zero, but with a focus on cryptographic protocols & implementations instead of web technology writ large.
The ideal candidate would have a background in cryptographic protocol design (e.g. Signal protocol, Noise protocol, TLS), distributed systems protocol design (e.g. Raft, PBFT, replicated SQL) and a penchant for quickly understanding and finding both design & implementation mistakes in unfamiliar systems. You might also have experience in systems hacking, capture-the-flag competitions, penetration testing, or similar activities. Experience in mechanism design, game theory, or cryptoeconomic design is a bonus but not a requirement.
Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
We are hiring for:
- Rust Cryptography Engineers, https://grnh.se/d94e94ec4us
- Software Engineers for Lurk Application Development, https://grnh.se/de7e82424us
- Documentation Engineer, https://grnh.se/10e2ca4d4us
- Start-up operator / business lead (currently unlisted, email luke.sandquist@protocol.ai with CV and a brief cover letter describing your experience driving the business end of deep technical projects in the web3 space)
reply