Jobs in the seL4 ecosystem.
This page matches member organisations looking for seL4 expertise and
people looking for jobs in the seL4 ecosystem.
The list is in chronological order, more recent at the top.
If you are a member of
the seL4 Foundation!
and would like to post job offers here, email firstname.lastname@example.org with:
Company description and position in seL4 ecosystem: short (a few
sentences) description of the company's profile and its role or
interest in the seL4 ecosystem.
Position details and link to seL4: short (a few sentences)
description of the type of profile and expertise sought
(systems/verification/etc, engineering/research/etc), the location,
the number of positions open, etc. The description should include an
explicit description of how the job will be linked to seL4.
How to apply: explicit contact or application process.
(Optional) Logo or picture to add to the post.
23 May 2021: EXAMPLE-ONLY: seL4 Systems Engineer positions open at Company X