coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: David Baelde <david.baelde AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Research engineer position: proof assistant / OCaml
- Date: Tue, 20 Apr 2021 16:16:08 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.baelde AT gmail.com; spf=Pass smtp.mailfrom=david.baelde AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f169.google.com
- Ironport-hdrordr: A9a23:o4jZrK8yeUYt9nt2j7Juk+AhI+orLtY04lQ7vn1ZYxpTb8CeioSSh/wdzxD5k3I8X3snlNCGNsC7IU/035hz/IUXIPOeTBDr0VHIEKhO5ZbvqgeLJwTQ7ehYvJ0QEZRWLP3VIRxEgd3h4A++euxP/PCi/LqzjenTi1dhJDsaCJ1I1AtyBgaFHkAefmAvbqYRLoaW5cZMulObFUg/U8LTPBQ4dtTYq8aOvJzrZgNuPXEa1DU=
- Ironport-phdr: A9a23:jQjFShxlLcxnyDvXCzJ1ylBlVkAck4WxBRYc798ds5kLTJ7L16rrMEGX3/hxlliBBdydt6sVzbCO7uu7BiQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngu6oRnRu8UZj4ZvKLs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZoga1UoByvqR9xzZPKbo6JL/dxZL/RcMkASGZdQspcVSpMCZ68YYsVCOoBOP5VoYfnqFsQrBuxGBSnCf71xTBWgn/5wLM12PkmHA7bxgMgAdMOv2nOoNruLqgdT+S1w7TWwjjYYPNW3C3y6InMchw7vf6MWrdwfNPXxEIyGAzLkk+eppb5PzOJyOsNqW6b4vJ+WeygiWMqpA98rzasy8ouiofHiYIYxF/L+yh2z4s7K8G1RkB/bNOlDZddtzyXOoR2TM8/XmxltyQ3x6EEtJOleiUB1Zopxxnaa/OdcoiI5AruVOeLITd5n3JqYqizhxio8UWm1+byVdG03U5UoiZZltTArHMA2hzJ5sSZVPdx4F2t1SuO2g3X7OxPPFo6mrDBK5E7x749jpoTvlrHHi/xgEj2ibWZdkQg+uSx8uTnYajqqoaSN4NpiwzzNr4imsO4AeQ/PQgOW3aU9f6g273k+E31WLRKjvsonanFqJ3WO9gXq6qjDwJW0osv8QizAym43NgCgHUKLVZIdAqCj4fzOlHOJP74De24g1SpiDpk2urJPqPgAprQNHTMi63ucqh560FB1gU+1t9f55dOBbEAJPL/QFP+tNvdDhMhKQy73/7nCMlh1oMZQW+AHqiZMLrLvVCU4uIvPvKDaZQOuDf9Lvgl/+ThgWU4mV8bZ6mp3IEYZGq2HvR8cA2lZi/nhc5EGmMXtCI/SvbrgRuMS219fXG3Co41+DA3QKivAIPPS8j5jLWf3Sv9FJRbYmxLIl+JGHbsMY6DXqFfO2qpPsZ9n2lcBvCaQIg72ET23CfKjoF/J++RwRU28Ir53bBd6OjalBV0/jtxXZz1+1HIdHl9myYzfxFz2al+pUJnzVLr+ad9iv1cU9dU4qEQOi8KcKXExuk/MOjcHwLMetDhYFOvQ9HjGDJoC9xonY5IbEF6FNGvyBvE2njya4I=
Dear colleagues,
The ERC project POPSTAR is recruiting an engineer to support the development of Squirrel, an interactive theorem prover for security protocols.
See the full job description for all details:
https://people.irisa.fr/Stephanie.Delaune/internship/sujet-engineer-squirrel.pdf
Do not hesitate to spread this announce to potential candidates with skills in OCaml, formal methods, automated deduction, logic, security...
Best regards,
David Baelde
The ERC project POPSTAR is recruiting an engineer to support the development of Squirrel, an interactive theorem prover for security protocols.
See the full job description for all details:
https://people.irisa.fr/Stephanie.Delaune/internship/sujet-engineer-squirrel.pdf
Do not hesitate to spread this announce to potential candidates with skills in OCaml, formal methods, automated deduction, logic, security...
Best regards,
David Baelde
- [Coq-Club] Research engineer position: proof assistant / OCaml, David Baelde, 04/20/2021
Archive powered by MHonArc 2.6.19+.