Hi folks, There are openings at Functor, Sweden, including also remote work, except for Scala consultants who must immediately relocate: Do you want to be part of the journey as the Functor startup research spin-off innovates the future of software engineering? Do you want to make a difference? Do you want to devote your talents where it can have incredible impact on the entire software industry? Functor, Sweden, is again looking for brilliant minds, essentially co-founders as a generous equity program will after a certain threshold time make sure developers, building the company indeed, also own what they are building. Please apply on LinkedIn, closing soon take action if interested: https://www.linkedin.com/jobs2/consumer/overview/60296037 We use Haskell, OCaml, LLVM and our tools are closely tied to the C programming language and indeed to functional programming. Embedded software market is one target market, and skills in compiler design, type systems and operational semantics is key to our teams though we look for optimised teams as a whole, and your particular skill set may or may not include a PhD, but surely industrial experience. We have openings for Research Engineers and have some renown Research Engineers already. Research collaboration is key to our success and projects planned including a large EU project CONSTRUCTOR next year. We have strong industrial partners and some very high-profile customers internationally. The customer-driven journey is still at an early stage, while founded in 2011, and your contributions would be key to our success. Scala consultants will be sent straight from the top down into projects at Ericsson for very challenging work. For these three consultants we require an exceptionally strong background with Scala projects as we team up with Typesafe and secure projects that can only be matched by exceptional Scala developers. Our Functor Scalor™ is oriented somewhat differently than Scala, see www.domainspecific.orghttp://www.domainspecific.org for some initial information on that products that appeals to very large companies at this stage, while Functor Prevent™ is suitable for just about any software development projects, currently doing static analysis with dependent types and automatic testing for C code, such as the Erlang code base, Twitter’s MySQL branch or embedded software at large, see www.functorprevent.comhttp://www.functorprevent.com or www.static-analysis.orghttp://www.static-analysis.org, and also the standalone tool www.functor.se/preventhttp://www.functor.se/prevent which secures systems including a project at a customer with a range of 100 MEUR/each equipment investments, all relying on the VxWorks C code where our Functor Prevent™ delivers its value to prevent up to 50% of the bugs in certain projects, already with its current R1 feature set! [cid:BA7C0361-C40F-4993-820E-420FB0B1543B@in.functor.se]https://www.linkedin.com/jobs2/consumer/overview/60296037 Instructions and information, please read carefully the last paragraph on what we need to evaluate candidates adequately: https://www.linkedin.com/pulse/openings-functional-programmers-swedish-start... Read up with links above to our webpages (last link), and postings on LinkedIn and Facebook: https://www.linkedin.com/pulse/future-software-engineering-johan-glimming?tr... Facebook eg: http://www.facebook.com/functor Webpage has more information, linked to one the main posting above for some key webpages to check: www.functor.sehttp://www.functor.se [3230fbd.png]https://www.linkedin.com/pulse/openings-functional-programmers-swedish-start... Welcome to apply and be part of an exciting journey ahead with a very important mission to turn software engineering into a discipline at last, backed by industrial productification for years and R&D that have never reached the software industry due to its inherent complexity, now mature, and now with proven market fit with Functor Prevent™ and Functor Scalor™ being used in heavy duty projects but much more to come! It’s Martin-Löf / dependent type theory inside our tools. Best, Johan — Dr Johan Glimming Chief Executive Officer at Functor AB, Chairman at Functor Group AB Request a meeting or schedule a call: www.doodle.com/glimminghttp://www.doodle.com/glimming Mobile: +46-76-7646000tel:+46-76-7646000 Direct: +46-8-55005505tel://+46-8-55005505 Main: +46-8-55005500tel:+46-8-55005500 Assistant: +46-8-55005501tel://+46-8-55005501 Skype: glimmingskype://glimming Twitter: @glimminghttps://www.twitter.com/glimming LinkedIn: se.linkedin.com/in/glimminghttp://se.linkedin.com/in/glimming Functor AB, Box 7070, 164 07 Kista, SWEDENx-apple-data-detectors://3/1 Web: www.functorgroup.comhttp://www.functorgroup.com/ Twitter: @functorshttps://www.twitter.com/functors/ UK tel: +44-1223-911400tel:+44-1223-911400 US tel: +1-(415)-513-0090 — ANY INFORMATION DISCLOSED DIRECTLY OR INDIRECTLY IN, OR IMPLIED BY, THIS EMAIL, INCLUDING ATTACHMENTS, EXTERNAL REFERENCES OR APPENDICES, IS STRICTLY CONFIDENTIAL AND/OR PROPRIETARY AND IS INTENDED ONLY FOR USE BY FUNCTOR GROUP AB, SWEDEN, REG. NR. 556972-3736, AND ITS SUBSIDIARIES – OR BY A THIRD PARTY STRICTLY IN FUNCTOR GROUP AB’S OR ITS SUBSIDIARIES' DIRECT INTEREST, BUT ONLY FOR THOSE PARTIES LISTED AS DESIGNATED RECIPIENTS AND PARTIES WITH PRIOR WRITTEN PERMISSION. ANY UNAUTHORISED RELEASE OR USE OF THIS INFORMATION IS PROHIBITED AND PUNISHABLE BY LAW. YOU SHOULD IMMEDIATELY UPON RECEIVING THIS E-MAIL, YOU SHOULD IMMEDIATELY CONTACT THE SENDER OR FUNCTOR. OUR LAWYERS AT LEGAL@FUNCFTORGROUP.COMmailto:LEGAL@FUNCFTORGROUP.COM OR +46-8-55005517 ARE AVAILABLE AS NEEDED.