Functional Programming and Automatic Differentiation postdoc: Hamilton Institute, NUI Maynooth, Ireland

Seeking PhD students and postdocs interested in an elegant combination
of functional programming and big-iron style numeric computing.

Functional Programming and Automatic Differentiation

PhD Studentships
Postdoctoral Positions

We are adding exact first-class derivative calculation operators
(Automatic Differentiation or AD) to the lambda calculus, and
embodying the combination in a production-quality optimising compiler.
Our research prototype compiler generates object code competitive with
the fastest current systems, which are based on FORTRAN.  We are
seeking PhD students and postdocs with interest and experience in
relevant areas, such as programming language theory, numeric
computing, machine learning, numeric linear algebra, differential
geometry; and a burning drive to help lift big iron numeric computing
out of the 1960s and into a newer higher order.  Specific sub-projects
include: compiler and numeric programming environment construction;
writing, simplifying, and generalising numeric and machine learning
algorithms through the use of type theory and AD operators; and
associated type/lambda calculus/PLT/real computation issues.

Project headquarters: Hamilton Institute, NUI Maynooth, Ireland,
http://www.hamilton.ie/.

Applications and queries to:
“Barak A. Pearlmutter” <barak+ad-fp-job@cs.nuim.ie>

SBCL Programmer, ICE Lab, MIT

The Imagination, Computation, and Expression Laboratory (ICE Lab) at MIT is looking for an SBCL programmer to help debug issues with an existing Lisp socket server program.  The server will eventually handle connections from multiple web-based clients in support of a number of student projects – experience with threading and exception handling in SBCL are a plus.  Project is likely to be smaller in scope since much of the system is already functional.  Remote candidates are fine, but strong communication skills are required.  Contact bperry@mit.edu for more details.

Backend Developer, Deskwanted, Berlin, Germany

Engineering – Javascript, Ruby, Lisp, PostgreSQL
Full Time – Berlin, Germany

Deskwanted is a coworking space search and management web application based in Berlin. We are searching for a backend developer to join our small and energetic team as we improve and expand Deskwanted.

As Deskwanted’s Backend Developer, you’re a passionate about web application. Our ultimate goal is to build strong, scalable systems while building upon existing infrastructure. We think that the best software is developed in iterations and rapidly deployed to customers, and that learning happens best in short feedback loops.

We’re a motivated team of people with a diverse range of interests. We love Berlin, and we make our collaborative workspace and our company a great place to work.
What we are looking for

  • 3+ years development experience
  • Significant experience in a dynamic object oriented language (Javascript/Ruby/Perl/Lisp)
  • Excellent skills in database design and programming (PostgreSQL)
  • Exceptional proficiency using HTML/CSS3/Javascript/AJAX in a production environment
  • Strong Linux system administration background
  • Ability to write clean, beautiful code
  • An aptitude for backend engineering sense, and an understanding of problems faced by high
  • traffic sites
  • Someone who thrives in a start-up environment

What you’ll do

  • Develop and maintain the software architecture, which includes frontend, middleware and database servers
  • Implement new functionality, develop and design scalable code
  • Provide time and resource estimates on proposed features
  • Solving problems with little guidance
  • Work in a small, fast-moving team in a great Berlin coworking space, using agile Kanbaninfluenced workflows

Additional Awesomeness

  • Experience designing for mobile devices

If you’re thinking “That sounds like me”, then you should send an email to matti@deskwanted.com.

About Deskwanted

Deskwanted.com is a global network of coworking spaces and shared offices which offer their vacant desks and meeting spaces to a community of independent workers. Individuals or teams can find a place for short or long periods in shared working locations in hundreds of cities worldwide.

As well as a search-and-booking system, Deskwanted offers a web-based workspace management tool which makes it easy to run a coworking space or shared office. Users can organize finances, book meeting rooms, interact with coworkers and improve the function and profitability of their location.

Deskwanted was founded in Berlin in 2010, and in 2011 it joined the YOU IS NOW start-up incubator program run by Immobilienscout24, Europe’s largest real estate portal. It is using this support to develop better tools for coworking spaces and their communities. Deskwanted also operates Deskmag.com, an online magazine about coworking – the leading source of news and information about coworking.

COMMON LISP/CLOS – Evergreen, Colorado USA

Secure Outcomes is looking for a hardcore Lisp developer with deep experience in Common Lisp/CLOS, image processing and artificial intelligence techniques, advanced cryptography, communications, GUI, and embedded real-time. Direct experience in electronic livescan fingerprint collection, archiving, and transmission, and/or crypto NIST certification is a distinct plus.

Secure Outcomes is a venture funded closely-held Colorado company that designs and manufactures the very best electronic livescan fingerprint collection, lookup, and transmission systems available for the price.

We design all of our systems at our headquarters facility in beautiful Evergreen, Colorado at an elevation of 7,200-feet in the foothills of the Rocky Mountains about 25-miles west of Denver.

Secure Outcomes provides terrific opportunities for fiercely talented and driven people.

Our systems combine advanced FBI-Certified fingerprint scan-head devices and super-compact 21st century low-power control electronics and display touchscreens with custom control and analysis software designed with the user in mind to yield the easiest to use, most capable, and most user-friendly systems on the market – all in Lisp.

Evergreen, Colorado, the home of Secure Outcomes, offers an extremely high-quality of life. World class skiing is just about an hour away at Keystone, Vail, Winter Park, and many others. Lake Evergreen offers excellent night/day ice skating and summer water sports/sailing. Mountain and touring biking and hiking abound during the summer months. In addition, Evergreen supports a thriving cultural community that includes the Evergreen Jazz Festival in the summer and the Evergreen Chorale and Evergreen Players for live music and theater year round. Evergreen has 300+ days of annual sunshine.

Competitive salaries. Fully paid medical.

See our products in action at http://www.youtube.com/watch?v=Ti2q8eK0l58

Resumes to lisp@secureoutcomes.net. No calls please.

http://www.secureoutcomes.net/Employment.html

Common Lisp Programmer, SRI International

Silicon Valley-based SRI International, a nonprofit research and development organization, performs sponsored R&D for governments, businesses, and foundations. SRI brings its innovations to the marketplace through technology licensing, new products, and spin-off ventures. SRI, commemorating its 65th anniversary in 2011, is known for world-changing innovations in computing, health and pharmaceuticals, chemistry and materials, sensing, energy, education, national defense, and more.

For additional information, visit http://www.sri.com.

The SRI Bioinformatics Research Group seeks a Common Lisp programmer to join the BioCyc and Pathway Tools projects. Pathway Tools is a Common Lisp software system with a wide range of bioinformatics capabilities.

We seek a self-motivated individual whose potential responsibilities will include development of desktop and web-based user interfaces, biological network analysis algorithms, and metabolic engineering software.

Experience and/or knowledge of some of the following will be a plus:
Bioinformatics
Object-oriented databases or frame knowledge representation systems
Machine learning
Biology and/or chemistry
Computer graphics, user interface design
AJAX, Javascript, HTML, XML, SQL

Requirements: B.S.-Ph.D. degrees in Computer Science and/or Bioinformatics along with
1-10 years software development in Common Lisp.

HOW TO APPLY: Apply online at http://www.sri.com/jobs. The job ID # is 101434.
SRI INTERNATIONAL IS AN EQUAL OPPORTUNITY EMPLOYER.

AI Programmer (Clojure) at ZenRobotics, Helsinki, Finland

Ever wanted to command an AI-powered industrial robot with Clojure?

ZenRobotics is hiring talented people, naturally, to save the world!
ZenRobotics Ltd., founded in 2007, is based in Helsinki, Finland (we
know, there’s the catch you were looking for). We make ZenRobotics
Recycler the robotic recycling system, a world first. There are over
20 of us, one in three’s a PhD. No wonder ZenRobotics is officially
Europe’s most innovative environmental technology company.

We are looking for professional programmers who have a passion to get
products done, out the door, and into the wild. Typically this drive
to deliver manifests in the capability to make a strong individual
contribution. You can independently verify technical assumptions and
solutions: e.g. profile code, maybe look at disassembly, write unit
tests for code written by you and by others, and you have a keen
interest to set up experiments for testing real-world phenomena.

Your must-haves:

You have shipped software previously, the larger the codebase the better
You got the skill and the will to solve architecture-level
performance issues
You want to apply at least high-school level physics and geometry
to real-life problems
You come with an attitude to the tune of Let’s Get It Done!
You possess excellent team skills
You speak fluent English
You write clean and inherently reviewable code, you attach your best example
You describe the products you’ve worked on, and how you contributed

To really titillate us, tick all of the boxes on this sweet dream wish list:

You have worked on a product that uses sensors, machine vision,
actuators, or automation
You deliver in some of the following: a functional language (in
order of preference Clojure, other Lisp dialects, ML/Haskell), Java,
C/C++, Python/Perl, R/Matlab
You can apply an acceleration limit in robot motion planning,
characterize how a pinhole camera projects in 2d, apply Bayes’ rule
…
You perhaps pack a somehow technology-related MSc or PhD, but you
might as well be self-taught to the same level

We, on the other hand, would be proud to offer:

A ticket to change the world, for good
A superprofessional, utterly not uptight working environment
A chance to work with somewhat humble gurus
A competitive compensation

… and so we will! Contact us at: ifeellucky at zenrobotics dot com
to describe in concrete terms, and with references, as to how you
would fit this position.