<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="">Hi folks,</div>
<div class=""><br class="">
</div>
<div class="">There are openings at Functor, Sweden, including also remote work, except for Scala consultants who must immediately relocate:</div>
<div class=""><br class="">
</div>
<div class=""><b class=""><font color="#05238f" class="">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.</font></b></div>
<div class=""><br class="">
</div>
<div class="">Please apply on LinkedIn, closing soon take action if interested:
<div class=""><a href="https://www.linkedin.com/jobs2/consumer/overview/60296037" class="">https://www.linkedin.com/jobs2/consumer/overview/60296037</a> </div>
</div>
<div class=""><br class="">
</div>
<div class="">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
<i class="">one</i> 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.</div>
<div class=""><br class="">
</div>
<div class="">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
<a href="http://www.domainspecific.org" class="">www.domainspecific.org</a> 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
<a href="http://www.functorprevent.com" class="">www.functorprevent.com</a> or <a href="http://www.static-analysis.org" class="">
www.static-analysis.org</a>, and also the standalone tool <a href="http://www.functor.se/prevent" class="">
www.functor.se/prevent</a> 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!</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://www.linkedin.com/jobs2/consumer/overview/60296037" class=""><img apple-inline="yes" id="56815FE8-AB42-49E3-ABDB-210738E8E8BC" height="367" width="640" apple-width="yes" apple-height="yes" src="cid:BA7C0361-C40F-4993-820E-420FB0B1543B@in.functor.se" class=""></a></div>
<div class=""><br class="">
</div>
<div class="">Instructions and information, please read carefully the last paragraph on what we need to evaluate candidates adequately:</div>
<div class=""><a href="https://www.linkedin.com/pulse/openings-functional-programmers-swedish-startup-johan-glimming" class="">https://www.linkedin.com/pulse/openings-functional-programmers-swedish-startup-johan-glimming</a> </div>
<div class=""><br class="">
</div>
<div class="">Read up with links above to our webpages (last link), and postings on LinkedIn and Facebook:</div>
<div class=""><a href="https://www.linkedin.com/pulse/future-software-engineering-johan-glimming?trk=mp-reader-card" class="">https://www.linkedin.com/pulse/future-software-engineering-johan-glimming?trk=mp-reader-card</a></div>
<div class=""><br class="">
</div>
<div class="">Facebook eg:</div>
<div class=""><a href="http://www.facebook.com/functor" class="">http://www.facebook.com/functor</a></div>
<div class=""><br class="">
</div>
<div class="">Webpage has more information, linked to one the main posting above for some key webpages to check:</div>
<div class=""><a href="http://www.functor.se" class="">www.functor.se</a> </div>
<div class=""><br class="">
</div>
<div class="">
<div style="margin: 0px; font-size: 12px; font-family: Helvetica;" class=""><a href="https://www.linkedin.com/pulse/openings-functional-programmers-swedish-startup-johan-glimming" class=""><img alt="3230fbd.png" apple-inline="yes" id="7A30FE0A-9E0F-4480-920C-E1202324DB3D" height="367" width="640" apple-width="yes" apple-height="yes" src="cid:A0F9EEBF-11B2-4A49-9CD3-E7BC3AD6479B@in.functor.se" class=""></a></div>
</div>
<div style="margin: 0px; font-size: 12px; font-family: Helvetica;" class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">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.</div>
<div class=""><br class="">
</div>
<div class="">
<div apple-content-edited="true" class="">
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="" style="orphans: 2; widows: 2; margin: 0px;">
<div apple-content-edited="true" style="orphans: auto; widows: auto;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="" style="orphans: 2; widows: 2; margin: 0px;">
<div class="" style="orphans: auto; widows: auto; word-wrap: break-word;">
<div class="" style="word-wrap: break-word;">
<div class="" style="word-wrap: break-word;">
<div class="" style="word-wrap: break-word;">Best,
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">
Johan</div>
<div class=""><br class="">
<div apple-content-edited="true" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="" style="orphans: 2; widows: 2; margin: 0px;">
<div apple-content-edited="true" style="orphans: auto; widows: auto;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="" style="orphans: 2; widows: 2; margin: 0px;">
<div class="" style="orphans: auto; widows: auto; word-wrap: break-word;">
<div class="" style="word-wrap: break-word;">
<div class="" style="word-wrap: break-word;">
<div class="" style="word-wrap: break-word;"><span style="color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgba(255, 255, 255, 0);" class="">— </span><br class="">
<div class="">
<div class="" style="color: rgb(0, 0, 0); letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div class="" style="orphans: 2; widows: 2; margin: 0px;">
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px; min-height: 14px;">
<br class="">
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); margin: 0px;"><span class="" style="orphans: auto; widows: auto;">Dr Johan Glimming</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); margin: 0px;"><span class="" style="orphans: auto; widows: auto;"><br class="">
</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Chief Executive Officer at </span><span class="">Functor AB, Chairman at Functor Group AB</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class=""><br class="">
</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Request a meeting or schedule a call:</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<a href="http://www.doodle.com/glimming" class="">www.doodle.com/glimming</a></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<br class="">
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">
<div class=""></div>
</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Mobile:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<a href="tel:+46-76-7646000" x-apple-data-detectors="true" x-apple-data-detectors-type="telephone" x-apple-data-detectors-result="1" class="">+46-76-7646000</a></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
Direct:<span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"></span><a href="tel://+46-8-55005505" style="orphans: 2; widows: 2;" class="">+46-8-55005505</a></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Main:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-tab-span" style="white-space: pre;"></span><a href="tel:+46-8-55005500" x-apple-data-detectors="true" x-apple-data-detectors-type="telephone" x-apple-data-detectors-result="2" class="">+46-8-55005500</a></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
Assistant:<span class="Apple-tab-span" style="white-space: pre;"> </span><a href="tel://+46-8-55005501" style="orphans: 2; widows: 2;" class="">+46-8-55005501</a></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<br class="">
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<div class="" style="background-color: rgba(255, 255, 255, 0); margin: 0px;">Skype: <span class="Apple-tab-span" style="white-space: pre;">
</span><span class="Apple-tab-span" style="white-space: pre;"></span><a href="skype://glimming" style="background-color: rgba(255, 255, 255, 0);" class="">glimming</a></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); margin: 0px;"></div>
<div class="">Twitter:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-tab-span" style="white-space: pre;"></span><a href="https://www.twitter.com/glimming" style="background-color: rgba(255, 255, 255, 0);" class="">@glimming</a></div>
<div class=""><br class="">
</div>
<div class="">LinkedIn:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<a href="http://se.linkedin.com/in/glimming" target="_blank" class="">se.linkedin.com/in/glimming</a> </div>
<div class=""><br class="">
</div>
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class=""><span class="">Functor AB, </span><span class=""><a href="x-apple-data-detectors://3/1" x-apple-data-detectors="true" x-apple-data-detectors-type="address" x-apple-data-detectors-result="3/1" class="">Box 7070, 164 07 Kista, SWEDEN</a></span></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class=""><br class="">
</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Web:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<a href="http://www.functorgroup.com/" class="">www.functorgroup.com</a></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">Twitter:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<a href="https://www.twitter.com/functors/" class="">@functors</a></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<br class="">
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">UK tel:<span class="Apple-tab-span" style="white-space: pre;"> </span>
<span class=""><a href="tel:+44-1223-911400" x-apple-data-detectors="true" x-apple-data-detectors-type="telephone" x-apple-data-detectors-result="5" class="">+44-1223-911400</a></span></span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">US tel:<span class="Apple-tab-span" style="white-space: pre;"> </span>
+1-(415)-513-0090</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<br class="">
</div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px;">
<span class="">—</span></div>
<div class="" style="background-color: rgba(255, 255, 255, 0); orphans: auto; widows: auto; margin: 0px; min-height: 13px;">
<br class="">
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<span class="" style="background-color: rgba(255, 255, 255, 0); orphans: 2; widows: 2;">
<div style="orphans: auto; widows: auto;" class=""><font size="2" class="">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 <a href="mailto:LEGAL@FUNCFTORGROUP.COM" class="">LEGAL@FUNCFTORGROUP.COM</a> OR +46-8-55005517
 ARE AVAILABLE AS NEEDED.</font></div>
</span></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br class="">
</div>
</body>
</html>