The seL4 foundation is seeking to contract support for the following duties:
- address open github issues in the seL4 organisation repositories, with prioritisation directed by the TSC delegates; this includes:
- documentation, tutorials
- bugs
- tests
- docsite and possibly website in coordination with Foundation people
- help keeping an eye on making sure questions on mailing lists, discourse and github issues are answered (by someone)
Requirement for the person working on these tasks are:
- multiple years of experience with seL4, both at kernel level and user-level code
- good familiarity with the seL4 organisation repositories
- active contributor to one or more seL4 repositories
- fluent in written and spoken English
The seL4 foundation would contract a service company, initially for 6 months. The service company should identify the person that will be performing the work, ideally on a full-time basis.
To bid for the contract, send email to foundation(a)sel4.systems before March 4th, 2022 AOE, with the resume of the person that will be performing the work and a cover letter addressing the requirements.
