Yatima Inc

Stream: job postings

[Anders Christiansen Sørby]

Work with me on the Yatima + Lean ecosystem

In Yatima Inc we want a verifiable and decentralized software future.
That is why we want to leverage Lean to build an entire ecosystem of provable software.

Our funding and application area is from the blockchain economy like Filecoin.
We are committed to ensure that our technology will lead to social good and environmental sustainability.

Everything we are making is open source. Good software comes from good communities. We are committed to giving back
because this would not be possible without the community in the first place.

You are not on the clock. We do not monitor when you work. There is no timetables to submit.
Your work will be based around independence and asynchronous communication.

What will you do?

• Build usefull libraries for the Lean + Yatima ecosystem (Http.lean, Parsec.lean, Nix.lean, Radiya.lean, ...).
• Support developement of the Yatima platform and parachain.
• Integrate Lean with WASM.
• Work on our Lean compatible kernel Radiya (Radyia.lean, radyia.rs).

Who are you?

• Independent. Can work without supervision and manage your own time.
• Curios and passionate about programming and theory.
• Interested in open source and decentralization.
• Capable of independently learning new skills to complete tasks.

What do we offer?

• A fully remote contractor position with freedom to manage your own time and tasks.
• A competitive salary.
• Ability to work on cutting edge technology which may shape the future of computing.
• A collaborative, flat structured team of like minded engineers.

Contact

If you are interested contact me here or on email anders@yatima.io :smile: and we will take it from there. Including your CV is nice.