coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time)

From: Danko Ilik <dankoilik AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time)
Date: Fri, 21 Aug 2020 11:41:23 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dankoilik AT gmail.com; spf=Pass smtp.mailfrom=dankoilik AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f51.google.com
Ironport-phdr: 9a23:bvbTihK9wb1vbQgDSNmcpTZWNBhigK39O0sv0rFitYgeLfzxwZ3uMQTl6Ol3ixeRBMOHsqwC0rOM+Pm6EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe8bL9oMRm6sBvdusYLjYd8N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhTwZPDAl7m7Yls1wjLpaoB2/oRx/35XUa5yROPZnY6/RYc8WSW9HU81MVSJOH5m8YpMAAOQBM+hWrJTzqUUSohalHwagGPnixyVUinPq36A31fkqHwHc3AwnGtIDqHrao8/zNKcRVuC+0arGzTHCb/NVxDzw75XHfQonofGPWrJwcM7RyUgsFw7egVWQrJbqPzKR1ugXr2eb6O9gWPuphmU6pA5/viKhyd0wionVmI0V0FbE+D12zYg1J9C0Vk51bcO4HJdMsyyUOJZ7Tt88Tm9nuSs3yaMLtJC6cSUEyJoqxxDSZvyFfoWL/B/vSeecLzdkiX9nfr+0mhi88U+lyuLmV8m01k5HrjFEktbSs3ACyRrT6tOdRvRh+Ueh3DCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1rPEjL1lUnsjKKaa0Mp8fWy5ev9eLXpvJqcOpd0ig7gNqQundSyAeEiPQgPW2iX4Pqz1L/+8UHgTrVHjuA6nrPWsJDdIsQbqaq5DBFP3ok/7Ba/Ci+q0NUenXYZMFJIYAyLg5TtNl3UI/31De2zj0qxnDpo3fzLPqDtDo3ILnfZkbfhebh961RbyAo21d1Q+ohbCrcCIPL0W0/xsN3YDhwiPgy7xuboEtR91ocEVW2TBa+ZNbvesUWU6eI3P+mMeIgVtS7hJPgi/v7ilGM2mVsAfaayxpYXc3C5HvF+I0qDe3bsg9EBEX0LvgUkVuDqhkeCAnZvYCOZWLt0zTUmAsryBoDaA4upnbap3SGhH5QQaHoQWX6WFnK9W4yCWPBESSaTIYc1njUCVr+gT44i/R6rvQ7+jbFgK7yHqWUjqZv/2Y0ttKXonhYo+GkxVpzFijzffyRPhmoNAgQO8uV/rEh6kArR1KF5h7lVF4UW6a4QFAg9MpHYwqpxDNWgAludLOfMc06vR5CdOR90Vsg4moZcbEN0GtHkhRfGjXLzUu0l0oeTDZlxyZrymn34JsJz0XHDjfBzgFwvQ88JPmqj1Pdy

Dear all,

Some of you may be interested to know that we have open full-time proof engineering positions at Siemens Mobility in Chatillon, close to Paris.

We are looking for people more or less experienced with formal methods development, from recent graduates to post-doc researchers. Remuneration depends on previous experience. The knowledge of French is however imperative.

Do not hesitate to forward this announcement or to contact me by e-mail if interested.

More details: https://jobs.siemens.com/jobs/214774?lang=fr-fr&utm_source=hellowork&utm_medium=jobboard&utm_campaign=hellowork

Best regards,

Danko

[Coq-Club] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time), Danko Ilik, 08/21/2020