Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Verification Jobs @ Cryspen

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Verification Jobs @ Cryspen


Chronological Thread 
  • From: Karthikeyan Bhargavan <karthik.bhargavan AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Verification Jobs @ Cryspen
  • Date: Thu, 5 Jan 2023 09:45:15 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=karthik.bhargavan AT gmail.com; spf=Pass smtp.mailfrom=karthik.bhargavan AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f41.google.com
  • Ironport-data: A9a23:HA+rLa2TH9VzIPo4bfbD5Qx1kn2cJEfYwER7XKvMYLTBsI5bpzNRy 2seUGyDaP2Na2r1edF+btjkph4CucPRyoViSQs/3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hVaYDkpOs/jY8Eo34ayo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0rV/cxsJ3AcBpUZ6MZnPTpr9 b8/cAlYO3hvh8ruqF66Yuxlh8BmM8yyeY1D4zdvyjbWCftgSpfGK0nIzYUAjXFg24YXR6aYO 5NxhTlHNHwsZzVMM00LCJM92u2oj2PweiNRrnqaoKM25y7YywkZPL3FYISNJoHXGZo9ckCwo zrs+k3TIRUgNoKH6T6Jrnigg/LeknauMG4VPOTgqqQCbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SuR9j5GgK9+TuK4kdaVN1XHOk3rgqKz8I4/jp1GEA1dwB4avcXnvQuRC4Kx mPSutOqImRW5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFj5v4oZoYzeJNZnuEZChmrn G/X9HlWa6E7yJ9Uh//irDgrlhr1/sCRJjPZ8Dk7SY5M0++UTIusZojt9l2CqPgcdcCWSV6Ou HVCkM+bhAzvMX1vvHzdKAnuNOvxjxpgDNE6qQA0d3XG32r3k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vvVJ56kPe4T460Dqm8gj9yjn5ZJF/vEMZGNR744owRuBVEfVwXY 8bFLJnzXR7294w2l2LtLwvi7VPb7nlmmTm7qWHTwBOg3r6TDEN5up9UWGZimtsRtfveyC2Mq 4g3H5LTl313DbOjCgGKrtZ7BQ5QcRATW8utw+QJLb7rH+aTMDt+YxMn6ehxJdINcmU8vrugw 0xRrWcCmQWh3SeYcVjaAp2hAZu2NatCQbsAFXREFT6VN7ILOO5DNY9OLMNlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYUs/y8GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq40 QypLw8SjrTPqdVt8f3ip6ONn6G2GcRQQ2tYGGj66+6tFC/4p2CM/65JYNyqTxv8Clzm2fyFT vpH6t3BK9s7pUZun6sgNqd03IQ8ysDKpbQH/j97HX7OUUunOolgLlaCw8NLkK9HnZ1dhiebR WON/ct8K5ySGca4DmMUGhUpXt6D2d4QhDPWy/Y/e2f+xS1v+Yu4QVdgBAaNhANdPYlKHtscm 8l5g/Ev6iu7lhYOGfSFhHoN922zc1oxY59+vZQeWILWmg4nz29ZWqPlCwj03sCrS85NOUwUM DOrlPL8p7BD9HHjLVs3N1bwhNR4u7pfmSp33GcjJkuIkOXrnvUY/gNc2hVpQxV3zido6fNSO G9qPXJbPa+lpmxiuOVfbWKVCyVECAOToEDq+WBUlmeDF0iMfU7OJV0bJuyi0h048WVdXz4D5 5Ce6j/vfgjLdfHL/BkZeBBaudn8a91u5yv+mMyDNOaULakQODbKrPenWjsVlkHBH8g0unzim cBr2+RBMYvAKi8apvwAObmwjLg/ZkiNGz1ffKtH4qgMIGD7fQOy0xioL2SaWJtEB97OwH+CJ /1eHOB9fDXg63/WtREeP7AGHJFslv1w5NYiRKLiFVRbj5Sh9AhWoLDi3Qmgol9zWNh/s9cPG qWIfRK4L2Ggr391mWjMkcp6BlSFceQ0PA3R4eTk39gKRrQisf5te34cyrGbnWuYGyo58gO2v DHsXb73zetj+941n4LTDbhyXVSoCNLsVdan9BK4nMROYOjub+bPlVIxgXv2MztGOYA+X4xMq o2Ml9rszWX5s60TQUmAv7W8T4xy+tSVcM9MF8DGPF12vHClZpf3wh0h/2uYF8R4oOlF7JP6e zriOdqCS9EFfvx8mlhHYDd6ODQAAf3VaqzAm3uMn86UAEJA7T2dfcKVzl63X2R1bSRSBobfD DXzsPOQ5tx1ioRAKRsHJvN+Ca9DP17Rdvo6RuL1qAWnIDGksnGatpvmsCgQ2zXBJ32HMcT9u Jz7H0m0MFz4vazT19hWvrBjphBdXj43neA0eVlb4NJszSyzCGkdN+kGLJEaEddunzfv0I3jL iT4BIf45f4RgRwfGfk93DjiYutbLukHO9O8OTlwuk3IMmG5A4SPBLYn/SBli5uzlv0P08n/Q ezyOFWpVvRy/n2tbekW7/2/x+xgw5s2A1oWrFvlnZWa7wk2WN03Ob8IIOaJfSPCGsDJ0k7MI ADZgIyCrF6TESbMLCqrR5KZ9Nz1ct8iI/XEoBpjGOrihrg=
  • Ironport-hdrordr: A9a23:M1XTYalmoJV5Ld+GxVzBmzmznMfpDfIX3DAbv31ZSRFFG/Fw9v re/sjzsCWftN9/YgBHpTntAtjifZqjz+8T3WBhB8bGYOCOggLBR+FfBOPZogEIcBeOktK1u5 0QCpSWy+edMbG5t6vHCcWDfOrIuOP3iJxATN2x80tQ
  • Ironport-phdr: A9a23:rzfsOhVQyyQvSbf5HcDDrdJUup3V8KxpXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9idtK0P0rCN+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS9bL9oL hi7rwrdutQIjYZsN6081gbHrnxUdutZwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q 6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8 qxmRgPkhDsBOjUk9mzcl85+g79BoB+5pxJw34HbbpyWOvRwYK3TesgXSnBdUsZUTSFBAp+wY 5UJAuEcPehYtY79p14WoBW7HwasHv/vyj9Jhn/1w6I70/4uEQfb1wE9H9IBqm7UrNrvO6cMS ++1yrTDwDLAb/xMwzf99IjIchEiof2WRr1wcdDeyVMgFwzfkFWfs4rlMiia1uQIqWeb7u5gW fizhG4grgF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UFN3bN65HZZStiyXNZd6T94iTmx2u ys3zqAKtYKncSUUyJkqxh7RZv2af4aI7B/tWuWcLClmiX9nd7+zmha8/0amx+bhWMe011NKo TBEktnKrn0N1RvT6smBSvdn4kih3jOP2gbO4e9HOUA5jbTXJ4Ilz7IqlZcesV7PEjLolEj1l qObeVgo9vC15+j5YbjqvJuROoFuhgz9PKkigNGzDOQ3PwUIQmOV4/6z1Kf58k38WLhKjuM5k q3esJ3CIMQUvK+5AwtM3oct7hazEi6q0NoXkHUaNl5FdxWHj4/mO1HKPv/0F+uwg1OpkDtzx vDGOKPuAonVI3TdjLvseaxx5k1cxQYp0NxT+ZFZBqsOLf7uQkPxscbXDh49Mwy62ebnD9B92 5sdWW2VGK+ZLKPSsV6L5u41OOaMZJUauCzyK/c/+f7hl3k5lEQSfamsx5QXaXS4Eu56LEWeZ HrgmtEBHnwSsQokUOPqkEGCUSJUZ3uqQq4w/is7B56+DYffWoCth6SM0zu8Hp1Pf2xJFlSME WrzeIifQPcNaCeSItd7nTAeVLihTZUh1RC0uwPgxbpnNLmcxipNvpX6kdNx+uf7lBco9DUyA d7O/XuKSjRXl3kURz410bF2pwRXyl6Z3qFmivoQQd9a/e9JUwR8P57V1eNzFdn0cg3Ed9aND l2hR4P1UnkKUtstzopWMA5GENK4g0Wbt8LLK7oclrjRQYcx7rqZxX/6YcB013fB0qAlyVggW MpGc2O81eZk7waGIYnPng2CkrqyM7wG1XvO/X2fzWuN+ktYWRR/WLvMW1gQY0LXqZLy4UaRB 6S2B+EfOxBagdWHNrMMb9ToiVtcQ/K2O93Ef2KwmCG6BR+SybqSZYzCdGAU3SGbA08BwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcxxgCOKlJkjv+7pkdTivubRPcemLkDvU/Ns h1SG1Cwl5LTAtuE/U96eblEJMk66xFB3H7YsAp0OtqhKbpjjxgQaVY/uUSmzBhxBoha9Kpi5 Ho30Ap/L76Z21JdZnuZ2573ILjeNmj1+limdafX3ljU1Nve9L0I7bw0rFDqvQfhEURHkT0v0 NBPz3ud5dPADAMIXpvvW0Af+B1zprWcaS44psvV2XBqLaioo2rawdt6YYltgh2kftpZLOaFD FqoS5xcV5XocbZ63QTwPXdmdKhI+aU5Pt2rba6D0a+vZqN7mS6+yH5A68Z7216N8Cx1TqjJ2 YwEyreWxFjiNX+0gVG/v8TwgY0BaysVGz/1yiH+GI5QZet4fY8RBm6wKsufydB3hpqrUHldv g3GZRtOyIqydByeYkaolw5Zz1gXoH/hkyux1TN9jTgvhqWa1S3Khe/lcVBUXwwDDHknhlDqL 4+uitkcV0X9dAklmiyu4kPizrRarqByR4XKaX9BZDO+b2RrU6/q86GHf9YK8pQj9yNeTOW7Z 1meDL/7uRoTlS35TSNSwzUydjfivZuc/VQyi2uHMHZyrzzTechqyh7B7dr0SvtY3z5ATy59w TXaHVmzOdC18M7czc+S9LDjETv7BtsPKGHi1ubi/GOj6HdvAAGjkvz7gdDhHQUgkGf629RsS STUvUP5a4jv2b69NLEvdU1pCVngrstiT9smw81g2ddJgyhc2szGmBhP2X3+Othax6/kOX8ER DpRhsXQ/BCgwkpoaHSA24P+UHyZhMpnfdizJG0MiUdfp4hHDrmZ6LtckG57uF29+EjSaOJhn jYej/Eu4WQViv8AviIiyyycBvYZGkwSbkmO31yYqsuzqqlafjPlcrGqyEp/nparDLiYrQhCU XDRdZIrHCs25cJ6egGpsjW7+sTvf9/easgWvxufnkLbjuRbH5k2k+IDmSttPW+u9W1g0eMwi gZimI2rpIXSYXs457q3W1QLU1+9L9NW4DzmirxS29qbz5z6VIs0AS0FBdPpVa76S29U7KW/c VzST3tk7S3HUbvHQV3BtAE89CmJSs7zcSnQfSh8r50qRQHBdhIBxllMBnNi2MZ+TFjixdS9I hknoGpNtxio8l0UjbgwfxjnDjWA/kHxNnFtGcLZdF0PvmQgrw/UKZDMsb41RnsFuMXn9EvUd CSaf1gaVDlZHBXbWBazeOHpv4CI8vDEVLPhdL2XMOnI8aoGEK7WoPDnmop+o2TWbpTJbiQkV qdrnBIEBC8xGtyFyW9WFWpKx2SUPpTd/FDlq2V2tpztqq21Hli0tM3UUf0Kdow+nnL+ybGKM +ra7MpgARBf0J5EhXrBybxFmUUXlzkrbT6mV7IJqS/KSqvU3K5RFR8SLS1pZoNO6Oon0w9BN NS+6Ju936NkjvMzF1ZOVEDw0sCva8sQJmihNVTBTE+VPbWCLDfPzon5e6S5AbFXiexVsVW3t 1P5Wwf7OS+fkjDySx21GeRFjSXeIxkH/Y/hK1BiDm/sSN+gYRq+cZd2gTAw3bwolybKOGobY l0eOwtGqryd6z8dg+0qQTQQqCo4a7Dey2DFtrq9SN5eq/ZgDyVqmvgP5X07z+EQ9yRYXLlvn yCUqNdyolagm+3Jyzx9URMIpCwY4eDD9UhkJ6jd8YFNHHje+xdYp2aZEQgKptgjAN3moa9Z1 NHJvK32ITZGtdnT+IFPYqqcYNLCK3cnPRfzTXTMCxAZSDewKWzFr0lUkfXX6XjM65Zm897jn 50BTrIdX1swXKB/aAwtDJkJJ5F5WSkhmLiQgZsT5HawmxLWQd1TopHNUv/66RrHJzOQjL0Cb BwNk+qQxWU7M4T63wl9bwA/ktiTXUXXWt9Jr2tqaQpm+C2lFVBxS2Qy3wTubQb/uBcu
  • Ironport-sdr: 63b68e1e_xWG2HUoXer2J1MPXJauMJ9tAibhD1fec8PPPEiYDAb98/Gk u1Sa34UlR7nsh8uBtckvNGsKnyPfA95U8ePYjrg==

Cryspen is a small research-oriented company that seeks to apply formal verification tools to build high-assurance production-ready cryptographic software. We have a few open roles at Cryspen right now in Germany and in France.

In particular, we are looking to hire a Software Verification Engineer who will focus on implementing and verifying high-assurance software, which includes writing and maintaining proofs for the code. This position requires expertise in verification frameworks like Coq, Lean, Isabelle, F*, etc. and the willingness to apply them to production software.

To apply: https://join.com/companies/cryspen/6735887-crypto-software-verification-engineer
For more information or any questions, feel free to email info AT cryspen.com

Best regards,
Karthikeyan Bhargavan


  • [Coq-Club] Verification Jobs @ Cryspen, Karthikeyan Bhargavan, 01/05/2023

Archive powered by MHonArc 2.6.19+.

Top of Page