Software engineer (Kassel, Germany) updated

Eisfeld Engineers ( based in Kassel, Germany is
looking for Lisp hackers to fill two positions participating in the
development of ConEd (, a sophisticated GUI
application for designing building structures. ConEd allows the user
to directly manipulate structural objects and continuously
recalculates load relations between those objects. Various import-
and export formats are supported to allow the interaction with CAD
software and analysis programs.

We offer a friendly and flexible working environment and the
opportunity to use your Lisp skills to create, extend and maintain a
complex Common Lisp application used in real-world building

Lisp programming experience is required, as is dedication to the task,
a willingness to learn and the right measure of pragmatism. Bonus
points for knowledge of Allegro CL, Common Graphics, OpenGL and C.

Applicants have to be able to communicate in German and work on-site.

For more information, please contact Michael Eisfeld at

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,

Applications and queries to:
“Barak A. Pearlmutter” <>

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 for more details.