Functor AB is looking for enthusiastic, highly skilled and experienced Haskell developers for our core technology, who are interested in a challenging opportunity partly at the JET fusion reactor (Oxford) and in collaboration with some renowned researchers.
Functor collaborates with the JET fusion reactor run by EFDA CCFE outside Oxford, UK. JET is currently the largest reactor in the world of its kind and there is an on-going technology transfer at JET to the emerging ITER project, which is some decade ahead as far as operation is concerned. You will be part of this collaboration and have a key role in the development of new programming tools for a new programming paradigm known as the constructive programming paradigm.
At Functor, almost all development is done in Haskell but also to some extent also C and Scala. Although Functor AB is based in Stockholm, Sweden, work may be carried out e.g. in Oxford or otherwise. The developers we look for will be working closely with some senior / well-known researchers within the disciplines of computer science and mathematical logic, collaborate with staff at the JET plant including highly experienced key software engineers at that facility and will face interesting and challenging problems. Developers at Functor can contribute to fusion energy research in the sense of being involved in new technology for software that concerns the stabilisation of the plasma inside a reactor.
A solid background in computer science, documented experience and/or strong academic education in advanced functional programming in Haskell are assumed. Knowledge of type systems, Martin-Lof type theory, dependent types, formal methods, static analysis, Spec#, Coq, Agda, Idris, Epigram, Twelf or other similar tools, languages, theorem provers is desirable but not required. Knowledge of parsing, skills also in other programming languages including experience from C, C#, C++, Objective-C and also Scala, is also desirable but not required. Higher academic degrees such as a PhD in computer science are not required but certainly taken into account. Entrepreneurship skills or industrial experience is not required here - but if such exists it is considered to be a strong merit as well. Knowledge in UNIX and Linux is required. Finally, experience in using Visual Studio, Eclipse or other IDEs is relevant.
To apply, please send your resume, references and other relevant documentation to . If you have any questions, they can be sent to the same address.