From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=MISSING_SUBJECT autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 67B1DBC37 for ; Mon, 25 May 2009 13:35:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjMHABIfGkpbugeU/2dsb2JhbACOBwGIRLUxgkmBQgU X-IronPort-AV: E=Sophos;i="4.41,243,1241388000"; d="scan'208";a="29879369" Received: from semmle.com (HELO one.semmle.com) ([91.186.7.148]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 May 2009 13:35:26 +0200 Received: from oege by one.semmle.com with local (Exim 4.69) (envelope-from ) id 1M8YSj-0001ZH-Hs for caml-list@yquem.inria.fr; Mon, 25 May 2009 12:35:25 +0100 To: caml-list@yquem.inria.fr Message-Id: From: Oege de Moor Date: Mon, 25 May 2009 12:35:25 +0100 X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: oege@semmle.com X-SA-Exim-Scanned: No (on one.semmle.com); SAEximRunCond expanded to false X-Spam: no; 0.00; oege:01 moor:01 oege:01 moor:01 consultants:98 consultants:98 revolution:98 12.:98 caml-list:01 interfaces:01 functional:02 referees:03 programming:03 programming:03 discipline:03 To: Subject: 10 jobs in declarative programming TEN DECLARATIVE PROGRAMMING CONSULTANTS SOUGHT Semmle and LogicBlox are creating a platform for declarative programming in Datalog, a pure logic programming language. Semmle is based in Oxford, headed by Oege de Moor; LogicBlox is based in Atlanta, headed by Molham Aref. To configure our solution at a number of large corporate clients in the retail, insurance and software quality industries, we urgently require 10 full-time staff to act as consultants. These consultants will work with clients to write custom queries in Datalog, and to create user interfaces in a declarative framework. This is a unique opportunity to change the way enterprise software is constructed, and to become part of the revolution to adopt declarative programming in mainstream applications. Semmle and LogicBlox offer a vibrant, intellectually stimulating environment to work on exciting applications of cutting-edge technology. Requirements: You must be passionate about simplifying the construction of complex software systems. A good undergraduate degree in computer science or related discipline is necessary. Substantial programming experience, and familarity with declarative programming (both functional and logic) is a must. Some travel will be required. Starting date and renumeration: The openings are available immediately. The renumeration depends on experience and qualifications; it is especially competitive for recent graduates. Further information: To find out more about this opportunity, write to Oege de Moor (oege@semmle.com) and Molham Aref (molham@logicblox.com). To apply: Send a CV and the names of three referees (at least two of whom must be able to comment on your programming abilities) to recruit@semmle.com, by June 12.