From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 992B27F6CC for ; Tue, 3 Feb 2015 19:19:48 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of examachine@gmail.com) identity=pra; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="examachine@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of examachine@gmail.com designates 209.85.212.170 as permitted sender) identity=mailfrom; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="examachine@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="examachine@gmail.com"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CXAQCxENFUm6rUVdFahDEEgn2vRQaZSAdDAQEBAQERAQEBAQEGCwsJFC6EJREdARsRDQMSEDcCJAERAQUBIicHB4d2AQMRsQWDKz4xiy6Ba4J3iyQKGScNVIU9AQUOhXaECohZgUEFlGiDSoEXgwOMexIjgQwJgWcBCwEwHIFSPDGCQgEBAQ X-IPAS-Result: A0CXAQCxENFUm6rUVdFahDEEgn2vRQaZSAdDAQEBAQERAQEBAQEGCwsJFC6EJREdARsRDQMSEDcCJAERAQUBIicHB4d2AQMRsQWDKz4xiy6Ba4J3iyQKGScNVIU9AQUOhXaECohZgUEFlGiDSoEXgwOMexIjgQwJgWcBCwEwHIFSPDGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.09,514,1418079600"; d="scan'208";a="120102526" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Feb 2015 19:19:47 +0100 Received: by mail-wi0-f170.google.com with SMTP id bs8so24381355wib.1 for ; Tue, 03 Feb 2015 10:19:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=jqHc5RiguRJ7MG04bANRAeyToCHG5X/cTOHCxV1qJxA=; b=HyfqMggVk1xnL66NVwnLKGV2yRFarQFPeSE3NVTAtrfO29rnA1/oQywYh4ZylUSARt RAla7GdqI79WsY3kWRjN0dVwkTxFrY8/R3huELoqLS9OOPzuupMYxdqcdKo248MZbp+r 6HMc/Q/rRiN3ZwuLJ6Lij1eZRcliKRUzy611KHKAMUWCKFnQbnxpiIK5T2GDYBdMwnEn ETm5n0bbQ69YIWNq0ZcKWCYKA7nYfvPX05ubfPrXXTfAGesNDKqBXg3eL9LfJq0HDbO+ LjuKR4DAr70BsCbDPynGImguqrZ2IpcSID2sOU2A/88ydd/kPxvhgNc3X4iC+fduv1YC LSKQ== MIME-Version: 1.0 X-Received: by 10.180.98.162 with SMTP id ej2mr37426196wib.39.1422987587448; Tue, 03 Feb 2015 10:19:47 -0800 (PST) Received: by 10.194.200.226 with HTTP; Tue, 3 Feb 2015 10:19:47 -0800 (PST) Date: Tue, 3 Feb 2015 20:19:47 +0200 Message-ID: From: Eray Ozkural To: Caml List Content-Type: multipart/alternative; boundary=f46d04428274ab76c7050e331daf Subject: [Caml-list] Celestial Intellect Looking to Expand their Team --f46d04428274ab76c7050e331daf Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear members, Please find some job adverts below, we are communicating open positions involving OCaml development. I anticipate that there would be enthusiastic and talented researchers in the OCaml community who might be interested in working on general-purpose machine learning. I am aware that the desired skills are a tall order; we do need the best programmers in the world. Please correspond directly with me for enquiries. Kind Regards, =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D We are a general purpose artificial intelligence startup with an emphasis on universal machine learning methods and parallelism. We wish to expand our team, and we would like to work with competent researcher-programmers who will be able to advance our prototypes. *Machine Learning Researcher:* We would like to work with bold researchers who are capable of advancing the state-of-the-art in artificial general intelligence algorithms. The bulk of the work requires analyzing and improving existing proprietary models and methods at our firm, however we would like the ideal candidate to propose entirely new general-purpose machine learning models and methods, and address open problems in mathematical artificial intelligence. Job responsibilities: =E2=80=93 Improve existing universal machine learning algorithms =E2=80=93 Propose, design and implement new machine learning methods =E2=80=93 Analyze theoretical properties of proposed methods =E2=80=93 Experimentally verify machine learning methods Desired Skills and Experience: =E2=80=93 PhD in a relevant subject (machine learning, statistics, data min= ing, neuroscience, etc.), or equivalent research experience =E2=80=93 Functional programming experience =E2=80=93 Experience in Artificial General Intelligence methods =E2=80=93 Experience in stochastic/deep-learning models =E2=80=93 Experience in logical reasoning methods =E2=80=93 Able to design and execute machine learning experiments *Functional Programming Researcher:* Our prototypes are written in OCaml, and C++. We would like to move into a purely functional direction since multi-core programming is essential to high-performance. We are also interested in inventing domain-specific languages for AI tasks. The ideal candidate for this position would be able to make good use of existing functional programming technology to better express our algorithms and models, and optimize existing code. He/she would be competent in expressing parallelism in a functional fashion. He/she has good command of programming language semantics and can design a new domain-specific functional PL for given requirements. He/she can design an efficient runtime system and is familiar with problems in scientific computing, and/or data mining. Job responsibilities: =E2=80=93 Design, and implement functional and imperative algorithms =E2=80=93 Implement new domain specific functional language interpreters and runtimes =E2=80=93 Propose and implement parallel programming libraries =E2=80=93 Optimize, refactor, and expand existing functional codebase Desired Skills and Experience: =E2=80=93 PhD level or similar experience required =E2=80=93 OCaml and Haskell experience =E2=80=93 Experience in purely functional algorithms and data structures =E2=80=93 Experience in programming language semantics and design =E2=80=93 Experience in runtime design and implementation =E2=80=93 Experience in functional approaches to parallelism =E2=80=93 Experience in scientific computing and/or data mining *Parallel Computing Researcher:* Implementing a human-level AI system requires a high degree of parallelism. We purpose to build systems that will scale well to billion cores on heterogeneous parallel computers. The ideal candidate for this position would be able to design scalable algorithms for computationally intensive AGI algorithms with non-trivial data structures. He/she would have experience with advanced task and data partitioning methods, and a variety of parallel computing architectures (both MIMD and SIMD, both shared and distributed memory, grid computing, at least). He/she would like to design middle-ware/library code that will facilitate ease of implementation across many architectures, and has working knowledge of both explicit and implicit parallelism. Job responsibilities: =E2=80=93 Design, and implement scalable algorithms to solve grand challeng= es in AGI =E2=80=93 Design, and implement solutions for heterogeneous architectures =E2=80=93 Design, and implement programming methods and paradigms for exa-s= cale computing =E2=80=93 Analyze and Improve existing parallel algorithms Desired Skills and Experience: =E2=80=93 PhD level or similar experience required =E2=80=93 Experience in designing scalable parallel algorithms =E2=80=93 Can program with functional and imperative languages =E2=80=93 Solid understanding of functional parallel programming =E2=80=93 Experience with heterogeneous architectures =E2=80=93 MPI, CUDA, C++ experience. =E2=80=93 Experience with GPGPU algorithm design =E2=80=93 Scientific computing and/or data mining experience =E2=80=93 Grid/cloud computing experience =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --=20 Eray Ozkural, PhD. Computer Scientist Founder, Celestial Intellect --f46d04428274ab76c7050e331daf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear members,

Please find some job = adverts=20 below, we are communicating open positions involving OCaml=20 development. I anticipate that there would be enthusiastic and talented=20 researchers in the OCaml community who might be interested in=20 working on general-purpose machine learning. I am aware that the desired sk= ills are a tall order; we do need the best programmers in the=20 world.

Please correspond directly with me for enquiries.
Kind Regards,

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

We are a general purpose artificial intelligence startup with an emphasis on universal machine learning methods and parallelism. We wish to expand our team, and we would like to work with competent researcher-programmers who will be able to advance our prototypes.


Machine Learning Researcher:

We would like to work with bold researchers who are capable of advancing the state-of-the-art in artificial general intelligence algorithms. The bulk of the work requires analyzing and improving existing proprietary models and methods at our firm, however we would like the ideal candidate to propose entirely new general-purpose machine learning models and methods, and address open problems in mathematical artificial intelligence.

Job responsibilities:


=E2=80=93 <= font>Improve existing universal machine learning algorithms
=E2= =80=93 Propose, design and implement new machine learning methods
= =E2=80=93 Analyze theoretical properties of proposed methods
=E2=80=93 Experimentally verify machine learning methods

Desired Skills and Experience:

=E2=80=93 PhD in a relevant subject (machine learning, statistics, data mining, neuroscience, etc.), or equivalent research experience

=E2=80=93 Functional programming experience
=E2=80=93 Experience in Artificial General Intelligence methods
=E2=80=93 Experience in stochastic/deep-learning models
=E2=80=93 Experience in logical reasoning methods
=E2=80=93 Able to design and execute machine learning experiments


Functional Programming Researcher:

Our prototypes are written in OCaml, and C++. We would like to move into a purely functional direction since multi-core programming is essential to high-performance. We are also interested in inventing domain-specific languages for AI tasks. The ideal candidate for this position would be able to make good use of existing functional programming technology to better express our algorithms and models, and optimize existing code. He/she would be competent in expressing parallelism in a functional fashion. He/she has good command of programming language semantics and can design a new domain-specific functional PL for given requirements. He/she can design an efficient runtime system and is familiar with problems in scientific computing, and/or data mining.

Job responsibilities:

=E2=80=93 Design, and implement functional and imperative algorithms

=E2=80=93 Implement new domain specific functional language interpreters and runtimes
=E2=80=93 Propose and implement parallel programming libraries
=E2=80= =93 Optimize, refactor, and expand existing functional codebase

Desired Skills and Experience:

=E2=80=93 PhD level or similar experience required

=E2=80=93 OCaml and Haskell experience
=E2=80=93 Experience in purely functional algorithms and data structures
= =E2=80=93 Experience in programming language semantics and design
=E2=80= =93 Experience in runtime design and implementation
=E2=80=93 Experience in functional approaches to parallelism
=E2=80=93 Experience in scientific computing and/or data mining


Parallel= Computing Researcher:

Implementing a human-level AI system requires a high degree of parallelism. We purpose to build systems that will scale well to billion cores on heterogeneous parallel computers. The ideal candidate for this position would be able to design scalable algorithms for computationally intensive AGI algorithms with non-trivial data structures. He/she would have experience with advanced task and data partitioning methods, and a variety of parallel computing architectures (both MIMD and SIMD, both shared and distributed memory, grid computing, at least). He/she would like to design middle-ware/library code that will facilitate ease of implementation across many architectures, and has working knowledge of both explicit and implicit parallelism.

Job responsibilities:

=E2=80=93 Design, and implement scalable algorithms to solve grand challenges in AGI

=E2=80=93 Design, and implement solutions for heterogeneous architectures=
=E2=80=93 Design, and implement programming methods and paradigms for exa-scale computing
=E2=80=93 Analyze and Improve existing parallel algorithms

Desired Skills and Experience:
=E2=80=93 PhD level or similar experience required
=E2=80=93 Experience in designing scalable parallel algor= ithms
=E2=80=93 Can program with functional and imperative languages
=E2= =80=93 Solid understanding of functional parallel programming
=E2= =80=93 Experience with heterogeneous architectures
=E2=80=93 MPI, CUDA, C++ experience.
=E2=80=93 Experience with GPGPU algorithm design
=E2=80=93 Scientific computing and/or data mining experience
=E2=80=93 Grid/cloud computing experience

=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D


--
Eray Ozkural, PhD. Compu= ter Scientist
Founder, Celestial Intellect
--f46d04428274ab76c7050e331daf--