coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Job] Thales (France) is hiring an expert engineer in formal methods

From: Julien Signoles <Julien.Signoles AT cea.fr>
To: coq-club AT inria.fr, Krizenecky Milan <milan.krizenecky AT thalesgroup.com>
Subject: [Coq-Club] [Job] Thales (France) is hiring an expert engineer in formal methods
Date: Mon, 17 Jun 2019 18:20:56 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Julien.Signoles AT cea.fr; spf=Pass smtp.mailfrom=Julien.Signoles AT cea.fr; spf=None smtp.helo=postmaster AT oxalide-smtp-out.extra.cea.fr
Ironport-phdr: 9a23:QIZmfRe4ORWI7cdn02fj36yHlGMj4u6mDksu8pMizoh2WeGdxcW7YB7h7PlgxGXEQZ/co6odzbaP6ua5BzNLsMbJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusQXg4ZuJaI8xxjUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU063/chNBug61HoRKhvx1/zJDSYIGJL/p1Y6fRccoHSWZdQspdUipMCZ6+YYQSFeoMJfhWoYngqVsJrhWwCwejC+zzxTFHnXL2wa833v49HQ3a0gEtHdQDu2nUotXvM6cSVPi4wq3VzTXHbvNZxzH945XVfBAgrvGMW7Vwcc7Pxkk0CgjIiVGeqZHhPzOUyOsNtXKX4fdhVeKgjW4nrAVxrSa0xso3lobGmJgaxkrK9SVj2Ys4I8CzRkB8Yd6hCpRQtieaOpNqQsMiWW5ovDg1yqYJuZ6heygK1YwnywTDZPyAdoiF5A/oWuWJITpgmX5odqyziwyv/UWhyeDwTNe43EhFoyZfj9XBuGgB2wHd58SZUPdx40as1DeV2wzO7uxIP1o4mbfVJpMn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw7OTmba/pppudN4BplA7yK78umsmjAeQgKwQOWHWb+fim2LL98kz5XK9KgecsnqbFrp/VP94XpqCjAwNN04Yj7QiwDyu+3dgFk3QLMkhJdA+GgoXqIV3CPu70APilj1ixnjpn3/XGMafgApXJIHjDirDhfbNl5kBY1QozydFf6IxSCr0bPfzzW0DxtNrfDh89LQO02P3qB8lj2YwEQ26PDLWZPLvIsVCU/uIvP/WMZIgNtTnhLPgl/ufigmM9mV8AZqakxoAXaXC9HvR+OUqVe3vsgtEbEWcLpAUyVuLqiEfRGQJUMn21Ruc34iwxIIOgF4bKAI63xPSixiapE5tbbWNXQnWNFX7uP9GBWvMFbmSROM5znzoJXruwY5Mh3BWjrwDgzKd/aOHT/3tLm4jk0Y1X+unSmBd6zj17CcOZ3nrFG0NpmmIFQXkN3a95pkhw0X+I3KE+jeYORo8b3O9ATgpvbc2U9Od9Ed2nH1uZJo7YGmbjec2vBHQKdvx0xtYPZ0hnHNDy3BvO1mykGe1MzuDZNNkP6qvZmkPJCYNl0X+WhqIshh8oWJkXbDD0tutE7wHWQrXxvQCZmqKtLv1O2z7E8GaPwC+VuV1AFQltTePITWwFbw3doN2/6FmQF7I=
Organization: CEA LIST

Hello,

Thales (Meudon offices, Paris area, France) is hiring an expert R&D engineer in formal methods:

https://emploi.thalesgroup.com/emploi/meudon/formal-methods-expert-engineer/27306/11575918

Knowledge of Coq and/or Frama-C is appreciated. Please contact Milan Krizenecky (Cc-ing milan.krizenecky AT thalesgroup.com) for details.

Best regards,
Julien Signoles
--
Researcher-engineer
CEA LIST, Software Reliability and Security Lab
tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95
Julien.Signoles AT cea.fr

[Coq-Club] [Job] Thales (France) is hiring an expert engineer in formal methods, Julien Signoles, 06/17/2019