ESP 32/IDF Programmer:
The Planet Earth Society, a Social Purpose organization, is seeking systems level programmers to harden and grow our platform: an unhackable network of IoT devices.
Unhackable starts with a new class of chips upon which we have built a new Actor programming environment. Unhackable requires proof, provenance, and tolerance for inconsistencies.
We are a very small team of, well, superstars, so it certainly could be considered a learning experience. Work with people who invented the stuff you've been using for decades.
We are looking for a systems level programmer familiar with hobbyist chips - the ESP32 in particular. We have developed an Over-the-Air update prototype and are looking for someone to dive into the bits and work on the encrypted secure boot component. This expertise could transition to other chips with the same capabitlies - NXP in particular.
This is C level programming using Espressif IDF environment as a host. Our "application" layer is written in a new computer environment called HacktorScript. It is a multi-core scripting language based on pure Actor principles. It uses functional data structures, first class closures, garbage collection, and is a blast for us to rethink everything.
You will be working with an eminent software architect who play crucial roles at Bell Labs joining the Unix family together, at NeXT and Apple building out their application infrastructure (Objective-C etc.), and whose ideas were copied into Java.
About the recuiterMember since Mar 14, 2020 Laurent Gagnon
from South Holland, Netherlands