coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Searching for a remote part-time position

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Searching for a remote part-time position
Date: Thu, 25 Feb 2021 15:00:26 -0300
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=beta AT mpi-sws.org; spf=Pass smtp.mailfrom=beta AT mpi-sws.org; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
Ironport-phdr: 9a23:47M8Jx8d6Yck/v9uRHKM819IXTAuvvDOBiVQ1KB20+wcTK2v8tzYMVDF4r011RmVBNSdu6IP1beempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffgFFiCC+bL5xIxm7rAXcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhzkbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe84RS2hcUcZLTyFODYOyYYUMAeQcI+hXs5LwqEESoRakHwSgGP/jxz1Oi3Tr3aM6yeMhEQTe0QE9Ad0OrG7bp8j2O6cTVeC1zbPHzTPCb/hL3jry85bHcgw7rvyXWLJwacvRxVA0FwLLlVWcs4vlPyma1ukUtWWQ8uVvW/61hWE9twFxviagxt0qioTRm44Z1FHJ+Dt3zosxK9C1SVN3b9GrHpZQty+XN5Z7TMw/T29ntis31LwLtIK1ciULzJkq2xHSZfKDfoWW/x/uVeCcKip2inJifbKwnRey8U64x+3zV8m0zFZKrjdendXWqn8N0BnT5tCCSvtl/0etwC2P1g7I6u1eJkA0j6XbJpg8ybAzjpoeqVnPEyHylUnskaObcl8o9+up5uj9f7nrpoeQO5Fohgz6KKgjmcyyDf4mPgQTUGWX4/mw2b/+8UD/Xb5ElOc5krPDv5DfPckbprC2AwtS0os76Ra/Ei+m0NUEnXYZNlJJYheHj5DoO13XI/D4Cey/jE+2nDdu3/DGMaftDYjTIXTbkbfhe6hy61JExQYuw91S44hYBqwFLf7pWUL8tcbUAgI5PgCsxuboEtR91ocQWWKVBa+ZNbvfvkSW6eIzOeaBf4oVuC78K/Q8/P7vg2Q5lUUafamz0psbcGq4Eeh+I0WFfXrshc8MHnsNvgonVeDllFmCUSNIaHupRKI95jQ7CJq8AovZR4CthqaB3CahEZFMaGBGEAPELXC9XIKdE9wIdSjadsRmi3kPUaWrY44nzxCn8gHgnelJNO3RrwcVqZur5tlx5uTVlFlm/zFoBuyYy2DIVH5v2GQSSGllj+hEvUVhxwLbguBDiPtCGIkWvqsRC1toBdvn1+V/TuvKdEfZZN7QEwSjWtTjGi4qCNUrzI1WOhsvK5CZlhnGmhGSLfoVmriMXsFm8L/E3mT8PYB403eD1606hR8jWsQJOWD03vcupTiWPJbAlgCir4jvcK0d2CDX82LaljiLpEAdSxFrF6LfUiJGaw==

Dear list,

I decided I need to move away from academia.¹ Given the pandemics, and as a father of two small kids, I can't really go for a full-time position. Therefore, I'm looking for a 20hs a week position in a company where my experience as a researcher and as a Coq and OCaml developer can be appreciated. Of course, this includes jobs in related exciting languages. If you happen to need one such a person, please contact me :-)

Regarding my two main Coq projects, Mtac2 and Unicoq, I plan to keep maintaining them (and documenting them!), unless for the near future and until a replacement is found.

Best,
Beta Ziliani

¹ A combination of our low salary here + personal reasons to stay in Argentina.

[Coq-Club] Searching for a remote part-time position, Beta Ziliani, 02/25/2021