Here is the latest Caml Weekly News, for the week of November 12 to 19, 2013.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2013-11/msg00097.htmlRomain Bardou announced:
Cryptosense is a start-up company which develops formal tools for finding and fixing security flaws in cryptographic systems. We use model-checking and symbolic machine learning techniques, amongst other technologies. Our tools are developed in OCaml. Cryptosense is recruiting a junior and a senior software engineer. Profile ======= You are an experienced programmer or recently qualified PhD. You are proficient in at least one functional language. You want to be part of a team of developers who follow agile programming principles, and exchange and review each other's code. You like to think outside the box to discover unexpected behavior that might lead to security flaws. You are at ease holding technical conversations in English. Job description =============== You will be part of a small team during the exciting times of the emergence of a new company. Your work will have great impact on the company's products, which are already being used to secure critical infrastructure of organisations worldwide. You will contribute to the design and code of robust software. Depending on your skills and interests, you might work on one or several of the following: - automatic reverse engineering and learning of the behaviour of API implementations; - model-checking algorithms dedicated to finding cryptographic key management vulnerabilities; - domain-specific language to model cryptographic key management APIs, similar to software verification; - use of this DSL to model new APIs; - robust monitoring and filtering tools; - graphical user interfaces. Expertise in system and server administration (Linux) is a plus. You could be given responsibility for the stability of our server for our clients. Salary is negotiable and will depend on experience. Stock options are a possibility. The positions will be available from December 2013. Location ======== Our office is located in Paris, between Montparnasse and the Jardin du Luxembourg. Contact ======= Send your CV and cover letter to firstname.lastname@example.org. Informal enquiries are also welcome. http://cryptosense.com/
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2013-11/msg00098.htmlTom Ridge announced:
Project ======= The goal of the EPSRC-funded "Future filesystems" project is to apply formal methods to the specification, validation, implementation and verification of filesystems. The PI is Tom Ridge (Leicester). We have 2 positions available. Position: engineer (6 months) ============================= We seek a skilled programmer/developer/engineer to help with validation of a specification of POSIX-like filesystems. The specification is written in a pure subset of OCaml, and much of the supporting infrastructure is also written in OCaml. Further details are here: http://www.jobs.ac.uk/job/AHM580/computer-science-engineer/ The closing date for applications is ***Wednesday, November 20th*** (i.e. very soon). Position: PhD student ===================== We may also have funds to support a PhD student. The student may work on the project described above, or may choose to work on another topic broadly in the area of formal methods and theorem proving. Please contact Tom Ridge (tr61 at le.ac.uk) if you are interested (include a CV and a statement describing your proposed research topic). A formal advert may appear in the future, depending on availability of funds.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2013-11/msg00131.htmlOCamlPro announced:
We have been contributing to the OCaml ecosystem for more than two years now, with open-source tools (opam, ocp-indent, ocp-build, etc.), open-source libraries (ocplib-endian, ocplib-wxOCaml), websites (try.ocamlpro.com) and documentation (Cheat Sheets), all gathered under the code name TypeRex (http://www.typerex.org/), and thanks to our long term and close partnership with Jane Street who has helped fund a large part of these projects. Some of these projects, like opam, already have a major impact on the accessibility and usability of OCaml. We think that many of our upcoming projects, already partially released or still under development, will also change a lot the OCaml open-source ecosystem. That's why we decided to launch, alongside with our existing services (training, custom development, compiler optimization...) a subscription service, TypeRex-Pro, which is an annual subscription with OCamlPro. You may want to subscribe to TypeRex-Pro if you want : * to get technical expertise in your daily use of OCaml, OCamlPro's open-source software, and the OCaml open-source ecosystem in general * to support our work of developing open-source tools and libraries for OCaml * to be the first to access our new open-source projects, before they are officially released * to get involved in the discussions about our open-source roadmap More details are available on the TypeRex-Pro webpage: http://www.ocamlpro.com/services/typerex-pro.html
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the recent posts from the ocamlcore planet blog at http://planet.ocaml.org/. Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong: http://jobs.github.com/positions/0a9333c4-71da-11e0-9ac7-692793c00b45 Erasable coercions: a unified approach to type systems: http://gallium.inria.fr/blog/type-systems-as-coercions Using Docker to bulk-build OPAM packages on Linux: http://anil.recoil.org/2013/11/15/docker-and-opam.html
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.