coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Position in software dependability at the French space agency CNES - Toulouse
Chronological Thread
- From: Danko Ilik <dankoilik AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Position in software dependability at the French space agency CNES - Toulouse
- Date: Thu, 22 Dec 2022 10:52:40 +0100
- 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-wm1-f47.google.com
- Ironport-data: A9a23:PbgXk6OX2MhpX8/vrR1yk8FynXyQoLVcMsEvi/4bfWQNrUpzgjUCz jMYXD2BOKuLZGaneNwiaI6+pkIAsZbRzNEwSnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/jgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQHNNwJcaDpOsfvZ8kk35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX4bES1z/pXJ3gbGolE+KUuE11e3 NkXfWVlghCr34pawZq+Q+how9smdYzlYNxZtXZnwjXUS/0hRPgvQY2QvY4ejGp235oeW6qBD yYaQWIHgBDobxRJOVAWDJM9tOitj3j7NTZfrTp5oIJruDOPklAhjNABNvKWQ8GMWdQPs3/Hr 2/Hz0PrMxYaG/aQnG/tHnWE37eTx0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 0kd+y5rsq1rsUL3EZ/yWBq3pHPCtRkZMzZNLwEkwD+S9fPY7D+yP0UjSmJDK4U0iN8fYDN/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqNXBsoewts4mLnW0jsv7cZo08T/Pt37UZDRm1k m/a9nFv71kGpZdTj/3TwLzRv967SnH0ouMd4wzWWie661o8atL6IYOv7lff4LBLK4Pxori9U Josy5n2AAMmV8nleMmxrAMlQurBCxGtbme0vLKXN8N9nwlBAlb6FWyq3BlwJV1yLuEPciLzb UnYtGt5vcEMZSX2MvMsPNzgVazGKJQM8/y1CZg4ifIeMvBMmPOvoUmCmGbKjj6zyBNw+U3BE cbBK5jE4Ykm5VRPlWLqHY/xIJckwScxwW67eHwI50XP7FZqX1bMEe1tGALWMIgRtfrYyC2Ir Ys3H5bVk313DreiCgGJqtV7BQ5RfRAG6WXe8ZM/mhireVo4RgnMypb5ndscRmCSt/0Ex7uSp izlARYwJZiWrSSvFDhmo0tLMNvHNauTZ1phVcD1FQfzgyoQcsy04b0BdpA6W7Ai+aYxhbR3V vQJMYHISPhGVj2NqXxXYIjfvb5SUk2hpTuPGC65Pxk5XZprHDLS9vHeIwDAySgpDwiMj/UYn YGO7A3hfMc8d1xQN/qOMPOL5HGtjEcZg9N3DhfpIMEMWUDC87pKCi3Wj90xKf4iMR/omzmQj V6XJTw6puD9hZA/3/eUpKKDrqavS/BfGGgDFUblzL+GDwvo1Uv9/p1hCcGjYiL4eF7v3pmbd cF57q3ZIeIWulRnqK9+GOtb9r0/7N7RuLNq9ARoM3HVZVCNCLk7AH258eRQl69K1JlLkBCXX x+Rx9xkJrm5AsPpP1oPLg4DbO7Y9/U1mCHX3MslMnfB+y5707qWY3p8ZyDWpnRmE4J0F4c5z cMKms0csVW/gyV3FOe2tHlf8mDUI0EQV6kiiIohP7bqrQgVm3Viep3XDxHk7K6fM+tsNlYYG R7Kpa7gqYkF+G/8XSsSL0Xd5ctcmpUEhz5SxnAgOVmiu4TIl9037jJr4BU1SQVf8Ttf2ckqY WJXGlFHJ5zV2zJkmsIZU3ueIFxDDkfB+2ja6VgApEvGRWaGC03PK2wcP76W3UY7qmhzQBlSz Iu6+k3EDwn4Wd7X3zQjf3Jlp9jIb81DxieblO+JR826ToQHOxz7iaqQVE80ghrAA/JponbYp ONvrd1CWYeiOQE++6QEWpSnj5IOQxW5JUtHc/Fr3IUNOUr+IDiS+zy/G3qdS/N3Bc7h0BGHU pR1B8d1SR6B+j6ErWkbCY4yMrZEpqMVy+RYSIz7B1wtkuW5nmJyvYPy5xrOojYhY+9TnPYXL qLTcDO/EVKsu0ZEpl+VrOR5PjuXXNpVQiz9w+G/z8sRHb0hruxHUB8/w5m0jVqvISpl+BOm5 lrDbpDJ0t04mJhNnpTtIIpHFQ6bOdP+b8XW0QGR4vBlT8LDDtfKjCwR8mLYBgVxOaAAfeh4j pGfmYfT8H6dmY0pQkf1voKkFZhZwemTB81patnWKltelgu8AP7c2QMJoT2EGMYYgeFj6dmCb CrmTdm7avo+ecpXnV9RYAhgSyctMbz9NPrclHnsvsa3K0Yv1CLcJ4ma7l7vV2ZQcxEIN7DYC gPZv/WP5MhSnL9TBS0rVu1XPJtlHGDNAacWVcX9lT29PFmahlmvvrjDlx155w+SWzPAWIz/7 IneTxfzSAWqteuahJtFuoh1pVsMAGw7neA0eVkH9sVrjyyhSlQLNvkZLY5MH6Q8fvYeD30kT GqlgKoe5STBsfBsdBz95JH8W17aCLBRfNj+ITMt8gWfbCLe6EZsxld+3n8I3pu0UmKLICKbx RU29Xj5Pxz3yZZsLQrWzuLumv9pn5s22VpRkX0QUKXO79I2DrAD1XgnFw1IPcAC/wchi22TT VUIqat4rI1XhKI//QuMu5KYJf3BgA7S8g==
- Ironport-hdrordr: A9a23:OlkRfKv+2IUCUiv3CBLZmv/D7skDR9V00zEX/kB9WHVpm7+j5r mTdZUgpHzJYVMqMk3I9urwXZVoLUmsjaKdgrNhWYtKPjOW2ldARbsKheCD/9SJIUzDH4VmpN xdmsZFebvN5BRB/KHHCcqDf+rIAuPrzEllv4jjJr5WIz1XVw==
- Ironport-phdr: A9a23:WLW9yxQeVpbBAX6ZVAIzejBbgtpsolaVAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOGs7kc1aL/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWhDexe7N/I Am5oQnNt8QdnJdvJLs2xhbVrXREfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmV LJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv4 7t3RBLulSwKMSMy/mPKhcxqlK9UvBGvqRJwzIHafo+bNOdwc7jHct8GX2dMRNpdWiJDD466c oABD/ABPeFdr4TlqVUBtx2+BQqrBOjyyTFIgn723a4n2OkmDA7JxgogH9EJsHTVqNX1NaQSX Pu6zKnN1zrDbvdW1S3h54jPdxAsuPeBVq9/fsTN00cgDR/FjkmOpoz/OTOYzucAvWea4udiS ++ii3Arph9trzWt2sshjpTFi4wLx13Z+yh0wYQ4KcC4RUJmfdOpHplduS6aOYdqQ84sTHxlt To8x7Ybt5C7ey0Kx44mxx7Zc/GIb46I7Qz4VOqLLzd4nnRoc6+8iRaq6UWs1PHwW82u3FtJr idJiMTAum4O2hDJ5cWKSONx8lm71jqTygze7/1LLlsomafYLpMu2bE9m5sWvETNAyD6hFn6g aqIeUk59OWn9uHqbav7qZKTNYJ5jw/zPbo1lcCjBOk0LAYDUmuV+em6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhBg9ayIcj6xKmAzao1dQUgGALLFxKdR+FlYTpNFbOIPf3Dfe7nVugiitkx /fDPrH5A5XNKGbMkKv5cLpj90JRzBA/wNNf6p5OF70NPvH+VlX+udHaFhM5Nha7w+fjCNVzz IMeXmePD7eEP6zIt1+I5eUvI+iIZI8UuzbwMPcl5/v0gn84nV8RZ7Wm3ZwSaHygGPRpOF2WY WDwjdcZDWcKog0+QfT3hFGaSz5ce26yX74g5jE8EI+pEYDDRpm0jLOd2Ce7A4ZZa3tdClGMF Hfob5+LV+0NaCKUOM9hkyYLWaKvS487hlmSs1rxzKMiJe7J8AUZs4ji3Z57/b79jxY3oBB9C ceam0CJTmI8ym8BQTwx3aR+omRyz16C1e5zhPkORo8b3O9ATgpvbc2U9Od9Ed2nAmopH/+MQ VeiGZC9BC0pC8k225kIalp8HNOrilbC2TCrCvkbje/DH4Q6p4Tb2XW5PMNh0zDezqB0g1AgQ cxOMWylrqF6/gnXQYXOlhbRjL6kIJwVxzWF72Kf1SyLtUBcXhR3VPDJVHYcYUrSrNfR6UbLT rvoArMiYUNa0cDXDKxMZ5XyiEleAvfuPNOLe2Wqh2K5HgqF3JuJZYvuPnoYhWDTVBdCnAcU8 nKLcwM5A09Nukr4CzpjXRLqakLoqqxlrW+jC1Qz10eMZlFg0Ly8/lgUg+adQrUdxOBMviBps DhyEFunurCeQ9OduwpserldatIh8R9G02zerQl0Ip2nKehrmFcfdw19u06m2Q9wD81Mls0jr XViywQXS+rQ3FpHdDSZ2ZHzErLSI2j2uhuobu+e213T1sqX5rZa8O4x+B3ouACkEFZn8m0yi YEElSvBoMyQXExODsGUMA5/7RVxqrDEbzNo4orV0SYpKqyoqnrZ3MpvAuI5yxGmdtMZMaWeF Qa0HddJYqrmYOEshVWtaQoJee5I86thdc+vcfiB2aqqP85vmTuniSJM54U3gSfuv2JsD/XF2 ZoI2aTS0gKBVDD9iFaims/ykIFAIzoVGyDsgTihD4lXaKpoeI8NAmr7OMy7yOJ1gJv1UmJZ/ lqub78f8PegYgHaL1n03AkLkF8SvWTigiygiTp9jzAuqKObmi3I2eXrMhQdaCZHQ2xrjFGkJ obR7ZhSUEGubA8okBqmzUn/zqlf4q94KiHfTFxJcC7/M2x5GvHo5/zSPogWssNu7XofWf/0e V2AT7/hvxYWtkGrV3BTwjw2bXDiu5n0mQB7lHPIKX9yqHTDfsQjjRzb5dHaWbtQxm9cHHg+2 WSRXwLseYX2rrD239/Zv+uzVnysTMhWeCjvlsabsTejoHZtGVu5luyyndvuFU471zX63p9kT 3atzl60b4/12qC9Ke8icFNvAQq258N8GYZ/loozrJ4V0HkewJ6S+DBU9AW7ecUewq/4YHcXE HQHytjW5wnh2U5LIXeAxoa/XXKYiJgEBZHyciYd3SQz6NpPAaGf4elfnCd7lVG/qBrYffl3m jpOgetr8nMRhPsF/RY81ijISK5HBlFWZGa/8nbAp8D7tqhcY3yjNKS9xFYr1870F6mM+0ldQ CqrIcpkRH4oqJ8jbxSUlyevooD8JIuOMZRJ7UbSykmYybASccNU9LJChDI7azyj+yR9kahjy 0Qph8nyvZDbeTszuvjlU1gIbnutIJlLsjD10fQBxIDPg8b2T88nQnJSDP6KBbqpCG5A6qihb lzTVmV68jDCR/LeBVPNsR826SuQTNb7cSnQfiBRzM0+FkDCfwoG0VxSBHNi2cdnc2LijM35L BUjvmFXtgO+80EcjLovbka3U3+D9l3xNHFpGN7GfUAQtkYbtg/UKZDMtLstWXsDr9v69krVb TXKAmYARXcAXkjOb7z6Fp+p49SIs+2RB+7lauDLfa3LsutGEfGB2ZOo1IJiuTeKLMSGeHd4X bU93QJYUHZ1Ft68+X1HQjELly/Lc8+QpQutsixxoMel9f33WQXprYKRArpWON9r9li4m6CGf +KXgS94L35f2PZujTfQz6MD2VcJlyx0XzykELBFqiuUCayMxelYCBkUby41P8xNruo90gRLJ c/Hm4b127p/3ZtXQx9OUV3snN3sZNRfeTnscgOaQh/RZPLaem6uoYm/e663RLxOgf8BshSxv W3eCEr/JnGYkCGvURmzMOZKhSXdPRpEuYj7fAw+bAqrBN/gdBC/N8d6yDMsxrhhzH/DM20bM Dx9cGtCq7SR6WVThfA1SAkjpjJ1aPKJnSqU9bySMpENrf5iGTh5jcpf6XU+jqRQtWRKGKMzl yzVodpj5Vqhl6Pcr1gvGAoLoTFNioWRuExkMqiM7ZhMV0HP+xcV5HmRARAHzzOEItjmuqQV1 d2W0ayvd3FN9NXb+cZaDM/Reprv2J8JPh/gGTqSBwwAH2bD3Y73iElUkfXU/XqQ/MFSlw==
- Ironport-sdr: 63a428ea_nbRPom3yHEXeJhvrPyS7e9Os7RHq9dI8LR/pViNF8Ga1lgE 3cQIZD9v/rBQl/Tj7pF7eFgd/KD7Q1HKtrAiHww==
Bonjour,
Une poste en assurance de sûreté de fonctionnement du logiciel est ouverte au CNES-Toulouse :
N'hésitez pas à postuler si ces sujets vous intéressent.
Cordialement,
Danko ILIK
- [Coq-Club] Position in software dependability at the French space agency CNES - Toulouse, Danko Ilik, 12/22/2022
Archive powered by MHonArc 2.6.19+.