Openings for brilliant Haskell developers!
As we grow our business further at Functor Group, Functor and Functor Consulting, we look for extraordinary Haskell developers to further strengthen our exceptionally skilled teams in our spinoff and startup Functor Group AB, Kista/Stockholm, Sweden, with subsidiaries. We look for a broad range of skills, but key is your commitment to our mission and considerable experience that fits into our teams at Functor, and an excellent background fitted for extremely advanced state-of-the-art software technology and our core technology. Not all developers in our teams have PhD's, and this is not required as such.
- Openings for exceptionally skilled Haskell developers for a startup/spinoff in Sweden; EDSLs, type theory and more
- Several Haskell developers (globally) and three experienced Scala developers (in Sweden) @ Swedish spin-off Functor Group AB with subsidiaries
An impressive background in computer science, with industrial experience and first-class academic education including certainly advanced functional programming. Compiler design skills are valued highly. Experience of static code analysis (tools or research), safety-critical software and embedded software development are all relevant to this startup and spinoff.
You would be part of a team with extraordinary skills and work with other talented individuals which, for those with the right mindset, is extremely rewarding.
It's relevant with skill sets that include AFP, EDSLs, type systems, Martin-Löf type theory, dependent types, formal methods, standard-type static analysis tools (as we offer a new kind that adds dependent types to the abstract interpretation approach), experience from tools form e.g. Coverity, Klocwork, MathWorks,, Spec#, Coq, Agda, Epigram, Twelf or other such tools, LLVM, ANSI / ISO C, MISRA C, software testing, various programming languages and their implementation, (E)DSL, logical frameworks, meta languages, theorem provers. You should be able to contribute to very demanding, challenging, creative teamwork as it manifests itself in a pioneering high-tech spinoff.
This means great responsibility, important contributions to be made, with multiple and varying roles in our highly dynamic work environment where you would be working with other exceptional talents and contribute with your passion for functional programming. You are assumed to share our enthusiasm for and commitment to the new constructive programming paradigm, and recognise the value and great importance of our research foundation, our core technology, being made available in the industry. You would share and nourish our vision for the future of the software industry with the new constructive programming paradigm based on type theory research and the next level of functional programming with EDSL integrated in programming as never done before.
Most important are your documented talent and experience in Haskell development at an industrial level as well as great teamwork skills and enthusiasm about relevant technologies, and being aligned with our mission. Several of our developers have higher academic degrees such as a PhD in computer science, logic or mathematics, including two of our Research Engineers, who are professors. (two advisory board members who are also professors), but we emphasize that we seek to optimise our two teams by considering the entire competence we have, which must simultaneously intersect on our core technology and AFP, and at the same time be suitably differentiated.
Your experience may include software development in segments such as safety-critical software and embedded software, hardware modelling, advanced DSL implementation, compiler design and compiler technologies, GPU applications, implementing software testing tools and tools for formal methods.
We do not expect you to have all these listed skills, but we expect you to be exceptionally talented and contribute to the success and further growth of Functor Group and its subsidiaries. We are now in an extremely interesting but demanding phase as a spinoff eg with one extraordinarily high-profile customer. You will be part of that project and other very exciting customer projects where we deploy unmatched new technology that brings a new programming paradigm to the software industry, with customers internationally, and an exciting journey into a future where research progress is finally bring aligned with best-practices also in software engineering in a world where innovation drives innovation and much of growth, but where our technology opens up for much needed improvements in the way software is being developed, designed and tested.
Mail your application with resume, cover letter, references, and such like, to firstname.lastname@example.org.
We advise that applications arrive by email, although you can also use our contact form if required or deemed appropriate. Links to GitHub, BitBucket projects, research projects, publications, FOS contributions, and if possible also one or more references is helpful to us. However, more material can be provided in later stages when recruitment proceeds as per protocol.