[Haskell-cafe] Several Experienced Developers for Advanced Functional Programming - Ocaml, Haskell, Scala - compiler technology, LLVM, C, etcetera, and Martin-Löf type theory, static analysis, our main target is embedded software

[Johan Glimming]

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.org<http://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.com<http://www.functorprevent.com> or www.static-analysis.org<http://www.static-analysis.org>, and also the standalone tool www.functor.se/prevent<http://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 at 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-startup-johan-glimming

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?trk=mp-reader-card

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.se<http://www.functor.se>

[3230fbd.png]<https://www.linkedin.com/pulse/openings-functional-programmers-swedish-startup-johan-glimming>


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/glimming<http://www.doodle.com/glimming>

Mobile: +46-76-7646000<tel:+46-76-7646000>
Direct: +46-8-55005505<tel://+46-8-55005505>
Main: +46-8-55005500<tel:+46-8-55005500>
Assistant: +46-8-55005501<tel://+46-8-55005501>

Skype:  glimming<skype://glimming>
Twitter: @glimming<https://www.twitter.com/glimming>

LinkedIn: se.linkedin.com/in/glimming<http://se.linkedin.com/in/glimming>

Functor AB, Box 7070, 164 07 Kista, SWEDEN<x-apple-data-detectors://3/1>

Web: www.functorgroup.com<http://www.functorgroup.com/>
Twitter: @functors<https://www.twitter.com/functors/>

UK tel: +44-1223-911400<tel:+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 at FUNCFTORGROUP.COM<mailto:LEGAL at FUNCFTORGROUP.COM> OR +46-8-55005517 ARE AVAILABLE AS NEEDED.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150720/e759e9a4/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AAEAAQAAAAAAAAJyAAAAJDY0ZmQ2NDc1LTY5ZjAtNDBlNC1hN2JmLTNmYzllZTllMjg5OA.jpeg
Type: image/jpeg
Size: 46048 bytes
Desc: AAEAAQAAAAAAAAJyAAAAJDY0ZmQ2NDc1LTY5ZjAtNDBlNC1hN2JmLTNmYzllZTllMjg5OA.jpeg
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150720/e759e9a4/attachment-0001.jpeg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 3230fbd.png
Type: image/png
Size: 320803 bytes
Desc: 3230fbd.png
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150720/e759e9a4/attachment-0001.png>