coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France
Chronological Thread
- From: Julien Signoles <julien.signoles AT cea.fr>
- To: SIGNOLES Julien <julien.signoles AT cea.fr>
- Subject: [Coq-Club] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France
- Date: Tue, 1 Feb 2022 09:46:32 +0100
- 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-data: A9a23:ExaAuaiCMddUDOj8z7z7y+45X161bxYKZh0ujC45NGQN5FlHY01je htvXW+FPauMa2b1e4x2bdy3pB5QuZDSy9FmT1Ztrn1jFypjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKidUsxIbVcMpB0J0HqPoMZkxN446TSFK1nV4 4mq+ZWGYAbNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ NplpMLqQxUPAZz2uPUmXCd4NDxAPvB00eqSSZS/mZT7I0zudGvlx/RiAQQtOJEAv+FqHSdD5 eACIXYGYxnFifjeLLCTE7I2wJ19fI+xZt9Z4yoIITLxVZ7KRbjBXqHL6NkexzY/gMdKEO32b McQLzR1BPjFS0QeYg5NVMti9AuurnPkK2NegwKsn60YxzaQky1P7bKuE+OAL7RmQu0PzxjE+ T2Yl4jjOTkRM8Xawj6Y+Fq3l+rXlGX6XpgTHfu27JZXbEa7wXwaDBwaWB6gpOWhz0mjR5RSO 1AO82wloKF0+lbDosTBswOQsSDetAw6ZOtqM/wB5z+t7bfq4FurLz1RJtJeU+AOuMgzTD0s8 1aGmdL1GDBi2IGopWKhGqS88WPiZHhPRYMWTXVfFltaizX2iNxr1nryosBf/LmdoOedJN0d6 zeapSw/i7hWlssXz+C84EyBjiKwvJGPRQM8oAvNNo5E0u+bTND/D2BLwQGGhRqlEGp+ZgLe1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323zpyX+Ld4OvWkjfh0B3iM4ldnBO xW7VeR5v887AZdWRfYfj3+ZUpV6k/W+fTgbfqmLPrKinaSdhCfdrX8yOhHOt4wcuEMhmOQkM JyfeNfEMJrpIfgP8dZCfM9EieVD7nlmmwv7HMmnpzz6j+b2TCPLGN8tbQrWBshkvfjsiFiEo 75i2z6ikEg3vBvWOXWMrub+7DkicRAGOHwBg5UJLrbdelY3RzBJ5j246epJRrGJVp99zo/gl kxRkGcBoLYmrXGYewiMdF55b7bjAcR2oX4hY34nMF/u1WJ6OdSj66IWdp0We7g79bMzna8tE 6ldI8jQUO5STjnn+igGacWvpoJVchn21xmFODCoYWRicpM5H17J99bocxHB7i4LCibr58Iyr 6f+hAjWSNwNXV06XsrRbfuuyXK3vGQcx7IiDhKUcoELdRy1ooZwKiH3gvsmGO02KE3OlmmAy gKbIRYEvu2R8YU7x9/E2PKfpICzHuoiQ0dXEjWJ7buyMiWGrGOvzZUaAbSPbTnZVW/5vb6ne f0QyOzgdvAXgExD9YFxGvBl1/tmtdfoorZbyCViHWnKMAT7W+o8ciHe0JkdrLBJy59YpRCyB hCF9O5cNOjbI8jiClMQeFcoY7jRz/0SgTWOv/05LF+gtX1w7LODUElfegKJlDQYK6Zpdo413 f0o/sUb4kqxkENyYNqBiylV8UWKL2ABDPV358hGUNezh1p50ExGbLzdFjTyvMOFZeJKPxR4O TSTnqfD2+lRy0eqn6DfzpQRMTexRKjiuSymCHcFN12Nm9bIw+QywAUU9ikrCAlF0g9Olel+M y5lLSWZ4ElIEyhA3KB+s6KEQmmtxyF1PmT6xlJPmnexo4yASDnWNGNkUQqS1Blxzo+fFwS3O JmTxW+jXyyCkAQdGMctcRYNlsEPhuCdOuEPdA5L0ihF81QHjeLZv5KT
- Ironport-hdrordr: A9a23:lpx2+qi0x78wzilT+d+oQDtTU3BQXtMji2hC6mlwRA09TyXqrb HNoB19726MtN9xYgBHpTnuAsi9qB/nhPtICOoqXYtKPjOJhILAFugLhuGOr1Ld8kbFh4pgPM lbAs9D4ZHLfDtHsfo=
- Ironport-phdr: A9a23:QU0GyRGojT5zR8DOwMi7hJ1Gf9BGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31hmVBM6CtqgMy7KP9fy6ACpYudfJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+M gu6oR/eu8ULjoduN6Y8xgXUqXdMZ+ha2HlkKF2Nkxrh/Mu84IJv/yFNsP896sBMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzZb3Wc88ESmVdX8ZRTy1BDZ26b 4sTFOoKIOJUo5Dgq1cSsReyAA+hC+TzxzJGmnP6wLQ23/g8HQrb2AAsAtIDvHHSod7oNqkdT Pq1wbHLwzvNYPxZ1zfz5pXWfB89rv+BRq5wfMnLxEUzCw/IgFedpIr4ND2VzOQNtG2b4vJkW +Kyj24nqh9+oj6yzckxi4nJiYQVylfA9Spn24Y+ONq1SExmYd6gEZtfqSeaO5FtQsMjTGFov iE6yrkYtp6gZyUF1IooyATFZ/yJaYiF+xTuX/ueLjlknnxqYq6/hwqs/ki6zO3xTsa63VVKo CdFjtXBtXIA2hzc5MaIS/Zw8Fqt1SiA2Q3d9+1JP0M5mK7VJZAh3LI9mYQfvVnBEyLohUj7j 6+YeEsi9+O15ernZbDmqYWdN49ykgz+MLkumsi+AesmNAgCRnOb+eWz1L3l+k35RKtFjuYsn qnXqpDXI9kQqK2hAwJNz4ou5QizAy273NkZnnQLNkxJdAyIgoTzJl3DLuj0Aeqxjliyijtn2 vHLM7z7DpnQKnXPjq3tcatj50Na1QE918pQ54hOBbEEOP/zWlH+tNjfDhIhNAy1zPzoCNF81 owDR22DG7SZMKbOsV+Q/+4vJPSMZJMPtDnjJPkl++TugmUjlVABY6amx4EbaH6iHvh+IkWZZ 2TjgssZHGsXsAcyUvbmhECDXDNQfXq+Qbww6z4hBI67A4rPXoWtj6aA3Ce/EJ1WfGdGClWUH HfqaoWEX/YMZzyUIsN7iTwEVLehS4km1RGqqgD60KFqIfbK9SICr57j2sJ16/XJlR4u7Tx0E 9id02aVQm5omWMIXiY607x7oUxg0ViOyrN4gvxdFdxL/fxFSAY6NZjGz+x7Ed/+QAzBfs3aA GqhF+6HLhcWav8Ki/0TZ0dwHZ32jA3H3iesRaQUmLqMAJEv2qnR1j7/PZAu5WzB0fwDkl0nT 80HDmypgKl7+hObU4zUl0SUkeCxdKsa2yrA70+IwGPIslsOA104arnMQX1KPhielt/+/E6XC u/zYVxGGg5IyMrYb7BPdsWsl1JNAvHqJNXZZWu13Wa2HxeBgL2WP8LxY2tI+iLbBQAflhwLu 26cPF08GyOgrmSYFz1hE1XrbljE+uR37n2hHQcv1w/fV0R6zPKu/wINw/mVSvcdxLUB7SU8r zR5GhCm3t3QDN6NvCJqcawab8luqExf2zf/sApwdoelM7gkhlMadFFvuFjy0hxsFohauc86p XcrwAc3MqeEyBZGai/e0IDsILSRIWT7uh61A0LP8nfZ1tveuqIG6fBi7k7moBnsDE0ptXNuz 9hS1XKYoJTMFgsbF5zrAA4x8FBhqrfWbzNYhcuc3GBwMaSyrj7J2s44TOojxBG6et5DMaSCX AbsGsweDsKqJaQkgV+sJh4DOelT8uYzMabEP7OExaqqMeAmhzOpi2ND7ZtV2U+FsSRmC6bJ0 5sD3/CEz16fTT6v6TXp+svzmI1CeXQTBj/mknKiXdABIPcoIcBSUjTLQYX/3Nh1ip/zVmQN8 VeiAwlDw8q1YV+IaFe72wRM1EMRqHjhmC2izjUynSt6y8jXlCHI3enmcwIKf2BRQ2w3x1XxJ Ym5iZYBXUeuaAwkjzOu6E+8ybIR98EdZyHDBFxFeST7NTQoULa0t7eEJdVO55UvtShMeO+xa BaUUPSuxnlSmzOmFGxYyjchcjissZishB12hlWWK3NrpWbYc8V9rfvGzOTVXuUZnj8PRS0iz CLSGkD5Jd6iu9Odi5bEtOm6EWOnTJxaNyfxn8uMsy6y5GsiBhPa/bj7mMDjEAU8lzT62N9tU SjThB3xa8/lzey2PPlmcU9hGFLno5MhQMcnzNt23stMnyFBzpyOtWIKi2LyLclW1cecJDIWS DgHzsSUqAnp1Ut/L26YkofwV3GT2MxkNJGxZmIb3D547tgfUfzOquUazW0v+Ab+9FmCBJo11 i0QwvYv9nMA1uQAuQ53iz6YHqhXB05TeyrlixWP6dm66qRRfmemN7aqhy8c1ZisCq+PpgZEV TP3YJAnSGVy88F+PVSKy3z87IbgdcL4Zt8a8BOO2USl7aAdONcqm/wGiDAyc2DguXwozaggj BNo2pW3p6CMJmwr8rjzUXs6fnXlIsgU/D/ql6NXmM2bipuuEptWETIORJL0TPisHWFapbH9O g2JCjF5tmaDFO+VA1qE8Ek/5SGqcdjjJzSNKXIe19knWBSNOBkVnlUPRDtj1p8hSlLzn5anK RkmoGlAvBig7UEQr4AgfxjnDjWG/13uM2lkDsLFcFwOqVser0LFY8eT56R9BWlO95ml5mRhM 0S9YAJFRSEMU02AXRX4O6W2oMPH+K6eD/a/KP3HZfOPr/ZfXrGG38Dn1Iwu5DuKOsiVWxsqR /QmxkpOW2x4EMXFin0OTSIQjSfEc8+col+15CR2qsm19PmjVhjo4MODDL5bMNMn/B7T4+/LL +mLmCNwMipVzLsL1XbMybQSmUUXlzkrcCSxV7kQqTTECqndk+lZFV9Tai9+MtdJ87Np3gRJP p2+6Ju93bp5g/gpTlZdAAW6wIfwO5xMeTvhcgqcVyPpfPycKDbGwt/6e/a5QLxU1qBPsgGo/ CycGAnlNyiCkD/gU1auN/tNhWeVJk872sn1fxBzBGzkVN+jZAe8NYo9jyAywLAywGjLOmgbN TVnW0hAp/ue92kL55c3U3wE9XdjIeSezmyB6PLEL58NrfZxKiNknuZb7Hl/0L5J9GRDWeAzl TvOtNcoqFyv1OeVgGkCMlIGunNAg4SFul9nMKPS+8xbWHrKyxkK6H2ZFxUAo9YN4jjHsK1Zj NbVxvqbwNZq9MLd+coQCo3PLd6fdX08LVzkCCLOBU0OQDftO3uN3yS1f9mZ+3TToIJo8/DR
- Ironport-sdr: rYlh9wu5a3048Ni58q5VnKA/YwXn2OKEv4Qd+Qy1IXVtHUGYPs9VvTvqjrhSmi+66Znzc+bIYA Of1SHyg+rI3s/1nZlI7OJtl+e43X5GdWq0eNaIzDX6K1C/Ovk5mc6Zomxv3G5IVTNQIJioG9Tg DzYhhgXenV5QDzrriBEkK6pCWOZBjssfniEhiVLTjLb/0IEEq3KVy+ziFMX639UvxsmDj4Pzow 7/InFz1acb44EVq52i0ajc21zMp4KP8IcZOAJ34OJp3Aqwc4DSrPh+2ArYdkmMlJ7VebCOf2Or g+xbo+QuvmoENWzBLrQuMCYb
Dear all,
The Software Safety and Security Lab at CEA LIST, Université Paris-Saclay, France has 2 open postdoc positions in the area of runtime verification for code safety and security:
- Designing Compilation Techniques for Improving Efficiency of E-ACSL, a Runtime Assertion Checker for C Programs
http://julien-signoles.fr/positions/postdoc-eacsl.pdf
- Control Flow Integrity for Remote Attestation
http://julien-signoles.fr/positions/postdoc-cfi.pdf
The postdoc researchers will:
- solve challenging research problems;
- implement their results in Frama-C, an industrial-strength open-source framework for analyses of C code;
- evaluate their solutions on concrete benchmarks or/and use cases;
- publish their results in international conferences and journals.
Strong knowledge in at least one of the following areas is welcome:
- programming
* OCaml and C
* formal semantics
- formal verification
* runtime verification, static analysis, formal specification languages, ...
- compilation
* code generation, program transformation, type system, ...
Interested applicants should send a CV and a motivation letter to Julien Signoles (julien dot signoles at cea dot fr).
Best regards,
Julien Signoles
--
Researcher-engineer | Scientific advisor
CEA LIST, Software Safety and Security Lab | Department of Software and
System Engineering
Julien.Signoles AT cea.fr | tel:(+33)1.69.08.00.18
- [Coq-Club] 2 postdoc positions on Runtime Verification at CEA LIST, Université Paris-Saclay, France, Julien Signoles, 02/01/2022
Archive powered by MHonArc 2.6.19+.