What You'll Be Doing

📍Designing and implementing a compact and efficient finite state machine (FSM) for blockchain use cases, including state transitions, application of individual transactions/blocks and post-processing activities. 📍Developing an OS-like program and sub-VMs for executing both trusted and untrusted bytecode, including future capabilities for untrusted native code. 📍Engaging in both operating system engineering and embedded development within the constraints of a system akin to, but smaller than, the Linux kernel. 📍Utilizing Rust for implementation, potentially exploring formally verifiable subsets of the language. 📍Working at the intersection of OS engineering, embedded development, and full system design based on FSM principles. 📍Conducting independent research, design, implementation, documentation of solutions, and potentially leading a team in these efforts.

What We Look For In You

📍Note: This is a challenging task as we do not require a candidate to have experience in everything we list below. We encourage engineers with different backgrounds to apply as multiple people are required for this project. 📍Relevant experience in OS development and/or embedded system design. 📍A strong foundation in strongly typed languages (proficiency with Rust is a bonus). 📍Background in blockchain execution layer design or familiarity with blockchain technologies and concepts. 📍Experience in designing and implementing software solutions from scratch. 📍Creativity and adaptability in solving complex problems, particularly in a blockchain context. 📍Commitment to producing high-quality, efficient, and scalable software solutions. 📍Strong problem-solving skills, with an ability to grasp and work with new technologies quickly. 📍Excellent written and verbal communication skills in English. 📍A minimum of 5 years of relevant experience in software engineering, with a focus on OS and embedded systems.