Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Job offer / Research-Engineer / IRT Railenium, France

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Job offer / Research-Engineer / IRT Railenium, France


Chronological Thread 
  • From: Kenza KRAIBI <Kenza.kraibi AT railenium.eu>
  • To: "ocaml-jobs AT inria.fr" <ocaml-jobs AT inria.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "smt-announce AT googlegroups.com" <smt-announce AT googlegroups.com>, "gdr.gpl AT univ-grenoble-alpes.fr" <gdr.gpl AT univ-grenoble-alpes.fr>, "gdr-im AT gdr-im.fr" <gdr-im AT gdr-im.fr>, "eutypes AT cs.ru.nl" <eutypes AT cs.ru.nl>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "frama-c-discuss AT groupes.renater.fr" <frama-c-discuss AT groupes.renater.fr>, "why3-club AT groupes.renater.fr" <why3-club AT groupes.renater.fr>, "rsd-forum AT groupes.renater.fr" <rsd-forum AT groupes.renater.fr>
  • Cc: Guillemette Dujardin <guillemette.dujardin AT railenium.eu>
  • Subject: [Coq-Club] Job offer / Research-Engineer / IRT Railenium, France
  • Date: Tue, 21 Jun 2022 09:07:05 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=railenium.eu; dmarc=pass action=none header.from=railenium.eu; dkim=pass header.d=railenium.eu; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Vwq0NhsbRnBnK/oI1yxdIVvnbL/VhUbZwrxzB34QYmI=; b=EAJtYHW4u764M3sOu5Ci2s90DFIuLTp0KZzCX+K9XuVbKCWa6r+IunwgNjPDbVeQjXdJRxwLtyC6WdTiQyXJidFQiWOYhcXkI/+lCqS26ELODJeeTsWIeYHzqxjSMRKPoHTju+YZIU3dbhIjmqDEDqRJsNkHcxYvgLt/K71svMxkqF1fdnsaNpUXsEnWB4WAR2iu18jmeyzNKSTn13R09/ci5y+WZqbZLl8YwQTU822Yh6fAQFqgpKL73X8wjt2fyvTyHqs6CVqSn0QlGZERwEGZkolIwMCKjagsgmCA9I+7p4iNLf05ZVMPvpZ/RdE3QcthUGrgm5pDV7lWIccUVw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kKbe131wPBHSGdRO34huly73yKDQVgqDCiEScWpULPqY1Zf59JekZWaxTOiuk4FRxIG1Txi1fB/zmIdQlfg3upNP1+kq4GpcHVmMogJaVHKfmMxhDRS3g4VvOt8HvUdp0kgnJTbOKJgipy38WyMdgJkFa2MeTPlixqM5w9ydstRvKeYLH1nvocN8OlwXTy2169RGnRCimCTZBoKgyXjAH7xPBZ8oqFWGlaeR996IgErF923ymf7HA1LYZmMu5ISTpxWvM/Q3tVGAVaH5pI1qtcZMsrbhbZTVhiGCpGtTL20eAHcVCpHWBeVQMJdMRsG04GapiFTHPvtQkUx2PUl8Ww==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Kenza.kraibi AT railenium.eu; spf=Pass smtp.mailfrom=Kenza.kraibi AT railenium.eu; spf=Pass smtp.helo=postmaster AT EUR05-VI1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:DfhAbqjanPmv24rMD+ymwuqPX161eBUKZh0ujC45NGQN5FlHY01je htvXT2FMvuLYzOjfdsgb9m18RkAusDSyoAwT1Q6qCFkRntjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8y6TSFK1nV4 4mq/ZeGYAbNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Nplt8KpE1cQMbf3ss9HXAJDSyJjL5UFweqSSZS/mZT7I0zuXkbWm6grMmBveIoS96BwHH1E8 uEeJHYVdBefiumqwbW9DO5xmsAkK8qtN4Qa0p1i5W2BS69+HtaZGuOTv4QwMDQY3qiiGd79a swLYHxsdh3BaRxnIF4WDJ84nfqtwHTiG9FdgA7P/PBuuzeNpOB3+IThO/XuS+O0eZt6uFaDn Wz2+GqmKyhPYbRzzhLeqyn32YcjhxjTX4kbEbn99Plgm3WI12kLAVsXU0G6qL+3kCaWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/9gDUx7fOu1ueADJdFGUHb8E6vsgrQzBsz kWOg97iGT1otvuSVG6Z8bCX6zi1PED5MFPuewcGExJfs+DsuroZpUjAVc07E7Ontp7MTGSYL y+xkAAygLAajMgu3qq9/Ezajz/EmnQvZl5qjukwdjL6hj6VdLJJdKT0uQGKtqsowJKxFwfa4 yJa8ySLxLpWZaxhghBhV80kINlFDd67MTDah1cH83IJrmzxoxZPkahu4Tx4Ik4BDyrpUTrgY UuWpwII6YJJZCata/UuOdn3DNk2x6/9E9ijTurTctdFfpl2ckmA4T1qYkmTmWvqlSDAcJ3T2 7/ELq5A7l5DVcyLKQZaoc9AitfHIQhjnwvuqWjTlUjP7FZnTCf9pU05GFWPdPsly6iPvR/Y9 d1SX+PTlUgCD7GvMnKMq99JRbzvEZTdLcCmwyCwXr7TSjeK5El6Upc9PJt9Jtc0xfQEyI8kA FnkChYBkQKXaYL7xfWiMSk4M+yHsWdXqHMwJys3Oli0k3Mke56o9q4DdpwxFYTLB8QypcOYu 8ItIp3aatwWEmqv021EMfHV8dI+HDz22lrmF3f0OFAXIs87LySUq4+MVlW1qEEmUHHs3eNg+ OLI6+8uacFfL+iUJJ2LMK7HIpLYlSR1pd+eqGOSeYYIIhq2rtY3Q8Ez59duS/wxxdz47mPy/ 26r7d0w/IEheqc5r4vEg76qtYCsH7csF0ZWBTCBv6y/NC3X+Gu+xMlNTb/QLzzaUWr1/oSkZ PlUlq2tbqdYwQwS64csQax2ya8e5sf0o+MIxApTGniWPU+gDaltIyXb0MQW7v9Ny7ZVtBGYQ EWK/tUGa7yFNNm8SgwLLQshY+KCyPRSlySLtaY5J0Dz5SlW+rubUBwObkfW13EHdON4adp3z /0gtcga7x2EpiAratvW3DpJ82msL2AbV/l1vJ8tBoK22BEgzUtPYMCBByL7vMOPZtFLPhV4K zOYnvaf1Zlh/BKfNkQSTD3K1+cbgokSshdXylNEP06OhtfOmv4w2ltW7CgzSQNWiB5A1rsra GRsMkR0I4SI/itp25ccBjD2R1kZCU3L4FH1xnsIiHbdEBulW2nLG2s3ZrSA8UUfxGRDc2UJ5 7qf0mvkDW3ncZ2jxCc0QkI5+fXvQcYsr1/HkcGjWtqERpQne2K4han0PDBT7Rz6Hck2mUvL4 /Fw+/p9YrH6MihWpLAnD46d1vIbTxXdfD5ORvRo/aUoG2DAeW7thmHecRzpIs4ddebX9UKYC tB1Ip0dWhm70hGIpG9JCKMJJYhyg/N0tsEJfanmJDJdvraSxtazXEk8KsQjaK4Xr9RSfQIVB 77rL2/HLE3JwHxelinKsdVOPXe+bZ8cfgrg0eup8eIPUZUerOVrdkJ02byx15lQGBUy5Aqa5 WsveIePp9GOC6w192cvLkmHLx+9KNf+UuWV9Ua+rryiqPvRZNzWuVp9RkbPZmxr0Hh4Zzizv a6Esdr62kLYufA7Tgg1XnVH+7Zhva2PYQacDi47wLS2U8dPtA8ALibvI1yFFKE=
  • Ironport-hdrordr: A9a23:E8e+AKGx0goV0Pu2pLqFfJHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6fatskdpZJkh8erwW5VoMkmsjaKdgLNhdItKOTOLhILGFvAE0WKP+Vzd8k7Fh6ZgPM VbAs5D4bTLZDAU4/oSizPIcerIteP3lJxA8t2uqkuFIzsLV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqL+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl+ieWrCAu1PhPl3ontprcejau5p+7Qu3+4gowwDX+0mVjUJaKv6/VX4O0aOSAR0R4a LxSl8bTr5OAjXqDyqISFLWqnTd+Sdr5Hn4xVCCh3z/5cT/WTIhEsJEwZlUax3D9iMbzaVBOY 9wrhCkXqBsfGb9deXGlqn1fgAvklDxrWspkOYVgXAaWYwCaKVJpYha+E9OCp8PEC/z9YhiSY BVfbfhzecTdUnfY2HSv2FpztDpVnMvHg2eSkxHvsCOyTBZkH1w0kNdzs0CmXUL8o47VvB/lp P5G7UtkKsLQt4dbKp7CutEScyrCnbVSRaJK26WKUSPLtB1B5sMke+G3FwY3pDURHVT9upPpH 3oaiIniVIP
  • Ironport-phdr: A9a23:1vnYmhPF2KSxVEVcwagl6na5AxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1QSSFtyDo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJfglFijSwbbxvI BmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85 Kl3VhDnlCYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6zaYN0aWHFBXt5PWCNdHoOyY YwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi0+ovDx/L0hE8H9wAs3rbsNr6ObwIX uyp0KXF1ynPY+9U1Dr79YPGcgohofaJXb9odMTe108vFgLfgV6NrILrIy+Y2OcQvmaY8uFtU uehhHAhqwBwuDej3MQsipPTiYIU0V/E9D50wJwvKt25TE50f9ikEJpNtyGfLYd5XN4iTnhut S0nxbIIpYS1czIWyJQ72RHfcfqHfpCV7h/jUOucPTh1inJmdb+whxi+70aux/PzWMS31FtEr i5InNbRu30N2BLe6MqKRPRz8Emh2DuB2Q/d5O5KLE40k6fQNpAvwrk1lpUJsETDGDf7mEL4j aOMckUl+u6l4PnkbLX+vpKROJN4hhvjPqgymMGzG/o0PhUUU2SG5+ix2qXv8VP4TblWgPA7l 7TVvIzAKskao6O1HRNZ34Um5hqiDjqr0NEVkHwJIV9Lfh+MkpLnNEvUIP/iCPeym1Ssnylvx /DBJrDvDZvCIGTfnLrhZLpy5E1SxBcqwdBY/J1bFKsNIPXuWk/tr9PYCQI5MwqpzOr9ENV9z IQeWX6RDaCFLKPSsFiI5uQ1L+mLeY8VpDL9K/8i5/7tl3M2hVgdfayx0ZsWbnC3AOhmLl2Wb HbwmNsNDHsGswgkQOD0lVGOSyNfa2i8Uq4k4zE0EoOmDYPNRoC3h7yB2T+2EJhIaWBAC1GDC 23kd4aeW/gWaSKdOc5hnyceVbe7So8h0Q+htAn7y7p6K+rY4DMXtY/72Nhz/OLcjQsy+iBsD 8SBz2GNSHl5kn0QSz8swK9/uVB9ykuE0aVghPxXCcZc5/ZNUgsjN57cyPd1C8vpVwLaftaJT U6mTc+8DTEwSNIx2d4ObFxnF9WslBDPxzCqDKMNl7yXGJw09brR0GT2J8Zk0nrJyK0hj0Q9T cZULm2nhqt/9xDJCILTkkWZkbyqdaUG0yLX+meD1znGgEYNGgl7WKDBGHIYbFD+rNLj50qEQ aXkQeAgOQJEzYuALaFRQtzvl1RPAvn5bpCWKX6gg2qrQB+OwLSRaoHnU2EcxznGTlMJmhtV4 G6LMw54Cyu86SqKEC12GEmqakXq9vR4o36TSk4v0xrMdEBozPyo4hMTg7qRR+5FmvpOoyI97 jxyGlGg2dnbI9WHoAVlcapGZs4l+xFM0meT/1hmO4DlJqZkgUMYeAlfsETp2BF6BZ9HjNAx6 ngtyVw2YeiX3EkHeCuc9Y32O6OSJXP/+helb6OT01XG3c3Q9L1FoKA3p0+lsxmtPlck8msi3 MNY1XyW4piPBQ4KXIm3XFxhs1AwqL3AJyg4z4zYzzhtNO+6qHWKj90lHq4kzz6vc80aMabCG hWkV4VQCtWyOfQngHCidVQeIaZU8OR8a867a+qe1bWDN/0mhi/gi2ARpMg32UWVsiF4V+Tg3 pAfwvje0BHNH2P3i07kucTqk6hFYysTFyyx036gTMRQfaR4cIIPBCKzOMCt3f11g9jmUnse/ VXlGlBMkJuoYhOYYlj50EhNzkkNulSsnW2zxjkymjpvs6nJmGSEzf7rcRNCMStHRXJpkEz3C YeuiM0CUVPudQUvnQeo/wD03eIT8KplJmzaBEwNcyntJHx5SYO/rL2fe8NUrokltyxLXf76b 0rMDva3vBsLiGboG3ZU7D8hcCyyt46/hRF8gX6QNjB9tjCRLd5w1Eya79jBT9ZexD0bXCRjz yPaAFGgMsPv88/C09+JqPuyEmymTIBWWSbxyp6YuTD9/2BsCAGyhba9gJevRRIh3Wr10MN3U A3HthHheoTwkb63N+t7c1MuCkWquORgHYQrsYY2lphY+kIzp7+0tS4knGHhOJNYw6v/ZnslX zcKx9PT4RXgnkB+eCHaj7nlX2mQl5MyL+KxZXkbj2dgtqiiaY+R5b1Ax25up0ag6BjWar57l ysczv0n7DgbhfsIsUwj1HbVGagcSG9fOyGkjBGU95amtqwCR2upY7H211B3nNqgJKuLowVRX nfkf9EvAHw49d1xZWrFy2a78YT4YJ/VZNMXuAeTlkLjgu5HIdQyjPMLjytPI2v8uXAjyvM+y xFzjtmhpIbSE2x25+qiBwJAcD34Y8RG4jb2kaNXhdqbxaiCI685R3A1fcKtSvilVjUPqf7gK gCCViUmrWuWEqbeGgnZ71p6q3XIENagMHT/yGAx69JkSVHdIUVehFpRRzAmhtsjEQvswsX9c UB/7zRX51jiqxIKxPg6fx/4GnzSogulcFJWANCWMQZW4wde5kzULd3W7+R9GDtd94GgqwrFI 3KSZgBBB2UEEkKeAFWrMr6r7NjGu++WY4j2Z9jDZ6eH7+9EXvaCxLq124pi8jCNK8DJM2QjR /w310xfXGxoTtzDkmZqKWRfnCbMYsiH4Rakr3Ev6Jnnr7KxAUS2v9Dcbtkaec9i8B23n6qZY uuZhSIjbC1dyotJ33jDjr4WwF8VjShqMTirC7UJ8yDXH8ey0udaCQAWbyRrOY5G9aU5i0NuN MjJg5X2zLd5hP8dEV5EUVHnm9ysI8EXaTLYVhuPFAOQObKKKCeeieL6Z7G1D75KheRetjWqs DefHkniIzHFmiSjBHXNealcySqcOhJZooS0dB1gXHPiQNzRYRq+KNZrjDcyzNXYn1vyPHUHe Xh5ekJJ9PiL6D9Ax+94ECpH52ZkKu+Nn2CY6fPZI9AYq6kjDiNxnuNcqHM0rtkdpAJJQu583 ijIp99konm8m+iLxzxmTR8IpysDiI+QvEpkMLnU7dEcATCdpE1LtzzWUk5R79J+b7+n87hd0 N3OiL7+JH9Z/tTY8NFdT8nYJcSbMWYwZB/gGTraFgwAHnagMWDSgVAYkenHqiXT98Bl7MK13 sNUEew+NhR9DP4RB0V7EcZXJZ52WmlhiruHlIsS4nH4qhDNRcJct5SBV/SIAPypJizK6NsML xYO3778Kpwec4Ph3Ek3IHp3mpbDXUnKVNFHowV7Zw4wrUNM7X04Q3B5iCeHIku9pWQeE/K5h Et8qQZ4c+1r9y3l4l02DkDDpS89lkgsnJPonHrCFVy5ZLf1VoZQBS3uskE3OZ6uWAd5Yzq5m kl8PSvFTbZc3PNwMHpmgwjGtd5TCOZRGOdaNQQIy6jdNJBKmRxM7z+qzkhd6a7ZBIt+wUE0J IW0oSsI2ho/PoJtY/2KYvIPlh8J2+qPpnP6irh3mVdBYR5LqCTLJktq8AQJLuV0enDup7Q0r 1TEw3waJCANT6Z4+6o2sB9ifbzGl2W5jPZCMh7jbeXHdvHA4jGSm5LQGgFikR9Y8isNtbluj 5V5ehLNBRl2lemfS0xSZ5iFdVEdbsxZ8GXfcHSVqevBh4pvOJmwHfzpSunIs7sIhkWjH0AiG IFpjIxJW5Co1Auwwd7PFLce0l1t4Q3qIA/AF/FVYFeRlzxBpcijzZhx1I0bJzcHAGw7Pz/lr rrQowYrhrKEUrJUKj8CWZAYM3stRMCgswNkhSwdSQeWi6cewgXE6CLgrCPNCjW6d8BkePqfe RJrDpex5Ck79K+1z1XQ9/C8byn2OM9jtdnG9e4B78rfTaoMEv8n6gGFwdIQTmfiS2PVFN+pO 5X8I5Iha9D5EDfyU1CyjS40U9akPNupKfvt40mgToJVvY+HmTE7YJPlUGhGRFEq/qdavvkvA G9LK4A2ahPpqQkkYqm2IQPCl86rX37oMzxdCf9W0eS9YbVTiSsqdO6zjnU6HfRYh6G691AAQ JYSg1TQ3/GmMsN9XC7hEzpeYQzOrysRjWFgMus0w/o6hh7V+wp5UXjDZKlyZWpIsstpT0uVO mlzA3EkSkW0oLf5ulPp4ZFLuixXkpBTzPFPt2X4stnHejWwVae3qJLT9S09cdwhpK43Oovma Jjj1tuWjnnUS5/etReAWSixGq9Bm9ReFylfReFBhWAvPcFV8ZoE80c6Ud0yYqBeEKR57K7/c iJqVGRBqE1RH5PFxjEJhf2wnqfXhgvFOop3KwQK6d1DmodPD3YwM3lY/On7ENyL326cFjpXe EFKtVsKvERY0dYuG4KtqIvQEM0RkXgP+6oyCm2TUcA0v1rjFjPP2QS+FKrny6rxmlsNhPP0j ItBUUYmWxEEnrRYyhNweuMwd/l13MaCsyfWJxnz5Du/kbL/dlcNkZaGJRqkXMLEs2H4TyERq 2YMS4MJ0GvYCZkZjwt+buAsuUlIJ4elPE354llGj8wsFr28H6hDJn4IkExeGmKUMoMEDOtr9 lXKRDdifpan7o3/PIlfSXNR/5vbrEpFlEJqMGiyzp8OcqmlDRYWVTlLrDOcod70RdARgKee6 rcWK9Z7tnH8BaYCNYXD+xUL
  • Ironport-sdr: HphkdLFZc9XcgGb5jYJwuJBnrRVVMKSXQO2WuX/bewSZcglzMhBMgjTjnHXjJZpd3btoUaD+hb Gmow6AACpQBtQgna9iJ3B2rlAciVdktBsXrYnBUyVRRM1t+wuDGvCZB1H9l8PSd9oj4YCJPPXf 8E7YPWAiEgvrwWl//pWReEBH8DsmnaenWoiQxuATMUnoSIwZ/XGA4sod4Z5jDV+ofwYQG/j8W7 LGjufKgbF0NG+C9NaCoTjWDMYBqncO71lLvunHpINurqcQb7+wM3XQU7oStB5BivgOLt+U33JE PkurJ1CU0mVXpBfqfHbup98A

« POSTDOC – APPLICATION OF FORMAL METHODS FOR RAILWAY SIGNALING »

 

As part of the « Autonomous Train » innovation program, we offer a research engineer in formal methods to work on intelligent rail signaling systems.

 

 

« POST DOCTORANT – APPLICATION DES MÉTHODES FORMELLES POUR LA SIGNALISATION FERROVIAIRE »

 

Dans le cadre du programme d’innovation « Train Autonome », nous proposons à un ingénieur de recherche en méthodes formelles d’intervenir pour les systèmes intelligents de signalisation ferroviaire.

 

 

Best regards.



  • [Coq-Club] Job offer / Research-Engineer / IRT Railenium, France, Kenza KRAIBI, 06/21/2022

Archive powered by MHonArc 2.6.19+.

Top of Page