Job Opening as OS Developer. Microkernel, TEE, Firmware.
Posted: Mon Jul 13, 2020 3:52 pm
gapfruit is a well funded, early-stage high tech company founded in the beginning of 2018. gapfruit builds systems that answer the following question:
How can we prove the trustworthiness of a product?
Its groundbreaking Trustworthy Execution Platform (TEP) offers unprecedented customizable Trusted Execution Environments with an easy-to-use API. gapfruit TEP proves that a certain output was generated from a specific input, executed at a specific time with specific code. Currently active in the high end banking sector, gapfruit is aiming to expand its technology to the IoT/EDGE market.
gapfruit is seeking software engineers at nearly every level of the software stack. From firmware, device drivers, protocol stacks, microkernels, hypervisors, higher-level management software to interacting with cloud environments.
You have an affinity for designing computer systems that matter. You most likely have done work in C/C++ on Linux, the Genode Framework or real-time operating systems. You know your way around git and CI/CD environments. You have a desire to go deep into gnarly systems problems. While you enjoy playing with new technologies, you are comfortable taking ownership of robust feature design and implementation. You long for a team with open and inclusive ideals. You enjoy working with and contributing to open source communities. You appreciate diversity and nurture a culture of openness and collaboration. You may even developed safety/mission critical software using ADA/SPARK and done formal verification. You know the concepts of PKI and capability-based security.
The nature of the problems we're solving favors candidates with experience. However, we are open to engineers at entry level who feel motivated to be a part of building the next generation of trustworthy systems.
While we prefer on-site in Zug, Switzerland, we support remote work as well.
Apply now!
[email protected]
How can we prove the trustworthiness of a product?
Its groundbreaking Trustworthy Execution Platform (TEP) offers unprecedented customizable Trusted Execution Environments with an easy-to-use API. gapfruit TEP proves that a certain output was generated from a specific input, executed at a specific time with specific code. Currently active in the high end banking sector, gapfruit is aiming to expand its technology to the IoT/EDGE market.
gapfruit is seeking software engineers at nearly every level of the software stack. From firmware, device drivers, protocol stacks, microkernels, hypervisors, higher-level management software to interacting with cloud environments.
You have an affinity for designing computer systems that matter. You most likely have done work in C/C++ on Linux, the Genode Framework or real-time operating systems. You know your way around git and CI/CD environments. You have a desire to go deep into gnarly systems problems. While you enjoy playing with new technologies, you are comfortable taking ownership of robust feature design and implementation. You long for a team with open and inclusive ideals. You enjoy working with and contributing to open source communities. You appreciate diversity and nurture a culture of openness and collaboration. You may even developed safety/mission critical software using ADA/SPARK and done formal verification. You know the concepts of PKI and capability-based security.
The nature of the problems we're solving favors candidates with experience. However, we are open to engineers at entry level who feel motivated to be a part of building the next generation of trustworthy systems.
While we prefer on-site in Zug, Switzerland, we support remote work as well.
Apply now!
[email protected]