Hello Here is the latest OCaml Weekly News, for the week of February 01 to 08, 2022.
Table of Contents ───────────────── Functori is hiring full-time engineers and Interns Permanent position for Computer Scientist in cybersecurity verification at CEA List, France pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications Old CWN Functori is hiring full-time engineers and Interns ══════════════════════════════════════════════════ Archive: <https://discuss.ocaml.org/t/functori-is-hiring-full-time-engineers-interns/9266/1> Mohamed Iguernlala announced ──────────────────────────── Functori, a young and dynamic company based in Paris, is hiring talented engineers/PhDs to expand its team. Please find more details in the announcement (in French): <https://functori.com/annonce-recrutement.pdf> We are also looking for interns in the fields of programming languages, formal methods, and blockchains (details available on request). Feel free to share with anyone who may be interested. Permanent position for Computer Scientist in cybersecurity verification at CEA List, France ═══════════════════════════════════════════════════════════════════════════════════════════ Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2022-02/msg00004.html> ANTIGNAC Thibaud announced ────────────────────────── We would like to share with you an exciting opportunity to join the Frama-C team at CEA List (a French public research institute). We are opening a permanent computer scientist position to work on formal verification of cybersecurity properties. More details about the position and the qualifications expected are available here: <https://frama-c.com/jobs/2022-02-01-permanent-computer-scientist-cyber-security-verification.html> Please do not hesitate to reach out or to share with potentially interested people! pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications ════════════════════════════════════════════════════════════════════════════════════════════ Archive: <https://discuss.ocaml.org/t/ann-pyml-bindgen-a-cli-app-to-generate-python-bindings-directly-from-ocaml-value-specifications/8786/5> Ryan Moore announced ──────────────────── New version ╌╌╌╌╌╌╌╌╌╌╌ I wanted to announce a new version of `pyml_bindgen' has been merged into the opam repository, version 0.2.0. Whenever it hits, feel free to try it out! The main addition is now you can embed Python files directly into the generated OCaml module and it will be evaluated at run time. In this way, you don't need your users to mess with the `PYTHONPATH' environment variable or need them to install a particular Python module when using the generated OCaml code. (Another thanks to UnixJunkie and Thierry Martinez for their help with this!) There were also a few bugfixes and some nice new [examples] added to the GitHub repository. One cool thing about the examples is that they show you how to set up your project to use Dune rules to automatically generate Python bindings whenever the value specification files change! [examples] <https://github.com/mooreryan/ocaml_python_bindgen/tree/main/examples> Old CWN ═══════ 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]. [Alan Schmitt] [send me a message] <mailto:alan.schm...@polytechnique.org> [the archive] <https://alan.petitepomme.net/cwn/> [RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss> [online] <http://lists.idyll.org/listinfo/caml-news-weekly/> [Alan Schmitt] <https://alan.petitepomme.net/>
_______________________________________________ caml-news-weekly mailing list caml-news-weekly@lists.idyll.org http://lists.idyll.org/listinfo/caml-news-weekly
