News aggregator

Functional Jobs: Functional Software Developer at Moixa Technology (Full-time)

Planet Haskell - Thu, 01/15/2015 - 1:07am

Green energy / IoT startup Moixa Technology is seeking to add to our software team.

We're a small team dedicated to developing technology that enables a radical change in the way that energy is used in the home. We are just ramping up to deliver a project (working with large energy companies) demonstrating how communities can use the Maslow system across a group of homes to share energy in that community. We will need to deploy software that addresses some challenging problems to make this possible.

The code that we develop is built around providing services based on the hardware systems that we are deploying and so needs to work with the constraints and characteristics of the hardware & low level firmware we have built.

We're looking for individuals with generalist approach that are willing and and able to participate in all aspect of design, implementation and operation of our platform. The candidate must be happy in a small team, and also able to work autonomously. We are expanding as we ramp up to deliver the next generation of control software to our increasing number of deployed system. This is an exciting moment for the company.

Tasks:

  • Design & implemetation of all parts of our software stack (web frontend & backend, data analytics, high-level code on IoT devices)
  • Operations support (expected <20% of time)

Our current stack involves:

  • Scala (Akka, Play) / ClojureScript / Haskell
  • Postgres, neo4j
  • Raspberry PI / Arch Linux
  • PIC32 microcontroller / C

Skills and Requirements:

  • Experience in one or more functional languages
  • Familiarity with at least one database paradigm
  • Linux scripting and operation

Advantages:

  • Familiarity with (strongly) typed functional languages (Haskell/ML/Scala)
  • Embedded programming experience
  • Experience in data analytics (Spark or similiar)
  • Experience in IoT development
  • Open Source contributions

Moixa technology is based in central London (Primrose Hill), Salary depending on experience + performance based share options.

Get information on how to apply for this position.

Categories: Offsite Blogs

PhD position

General haskell list - Wed, 01/14/2015 - 10:26pm
****************************************************************** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ****************************************************************** Applications are invited for PhD study under the supervision of Prof Neil Ghani and Dr Conor McBride on any of the following topics * Dependently Typed Programming * Homotopy Type Theory * Coalgebra * Category Theory in Computer Science The position is fully funded for EU students (apologies to non EU-citizens for this ridiculous piece of non-meritocracy) and will last for 3 years.The applicant's motivation must centre on a desire for beautiful mathematics of lasting value. The applicant should also have an innate sense of the wonder of learning allied to the capacity to work hard and achieve their goals. The Mathematically Structured Programming G
Categories: Incoming News

Haskell IDE/Text Editor for Windows?

Haskell on Reddit - Wed, 01/14/2015 - 8:54pm

I'm in a computational physics class that is based on the Haskell programming language. My professor uses a linux machine and I have a windows machine (64 bit).

I'm having trouble finding a quick/simple/easy to use IDE/Text Editor for Haskell. So far, the best/easiest I've found is Sublime Text 2 with the Haskell extension (incredibly easy to install, very fluid interface)

It pains me to admit that I'm not too command line savvy... so a lot of these things go over my head. Do you guys know of any simple to install Text Editor that works with Haskell? I'm hoping I can just run a .exe and have the program install and work, rather than having to navigate through a maze of directories that I'm unfamiliar with.

Thanks for any help you can provide!

submitted by sqrlsattack
[link] [25 comments]
Categories: Incoming News

Strathclyde PhD position

Haskell on Reddit - Wed, 01/14/2015 - 8:26pm
Categories: Incoming News

TYPES 2015 call for contributions

General haskell list - Wed, 01/14/2015 - 7:43pm
CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Berge
Categories: Incoming News

Number of widgets extant and displayed varying overtime? (FRP, reactive-banana)

haskell-cafe - Wed, 01/14/2015 - 4:39am
Dear list, I want to write an application in which the set of widgets in existence, and the subset of them that is displayed, depends on user input. I am using reactive-banana. So far the simplest spec I have imagined for it is this: Initially there is just a text entry box and an empty (hence invisible) collection of labels. The user can do two things: enter the word "add", or enter an integer. Entering the word "add" causes a label to be added to the collection, but not displayed. The labels require no text content. Entering an integer N causes the first N labels to be displayed onscreen. The text entry box remains visible. I am totally baffled. In particular, the Behavior paradigm, though it is elegant and beautiful whenever I study it, I have no idea how to apply. Thank you, Jeff _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Categories: Offsite Discussion

ocharles.hs

del.icio.us/haskell - Wed, 01/14/2015 - 3:59am
Categories: Offsite Blogs

ocharles.hs

del.icio.us/haskell - Wed, 01/14/2015 - 3:59am
Categories: Offsite Blogs