Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Research engineer position: proof assistant / OCaml

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research engineer position: proof assistant / OCaml


Chronological Thread 
  • 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


  • [Coq-Club] Research engineer position: proof assistant / OCaml, David Baelde, 04/20/2021

Archive powered by MHonArc 2.6.19+.

Top of Page