* Senior Developers: Outstanding PhDs with at least 3 years of research experience in functional languages and/or formal verification and the ability to manage a small technical team.
* Developers: PhDs with strong FP skills. Applications from PhD students defending their thesis soon are also welcome.
Ever heard of something called... LINUX!?