coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Multiple Research Positions, IMDEA Software Institute, Madrid, Spain

From: Aleksandar Nanevski <aleks.nanevski AT imdea.org>
To: coq-club AT inria.fr
Subject: [Coq-Club] Multiple Research Positions, IMDEA Software Institute, Madrid, Spain
Date: Thu, 7 Feb 2019 12:27:05 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aleks.nanevski AT imdea.org; spf=Pass smtp.mailfrom=aleks.nanevski AT imdea.org; spf=None smtp.helo=postmaster AT estafeta21.imdea.org
Dkim-filter: OpenDKIM Filter v2.10.3 estafeta21.imdea.org 4B40C42550F
Ironport-phdr: 9a23:RE2pLRfIlMmSrOzfoymuMe6rlGMj4u6mDksu8pMizoh2WeGdxcuzZh7h7PlgxGXEQZ/co6odzbaO4+a4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahYr5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM37mHZhNFzgqxVrh2uqABwzpXOb42JLvdzZL/RcN0YSGdHQ81fVzZBAoS5b4YXE+cBOfhXr4rmp1QUqxuxGBOjBPnywTFQnHD227M10/o6EQHF3QwrAtUDv27QrNrrN6cSSvq5zK/SwjXFcfxWxyz96IvJch06oPGMWK9/ftTLxkU1EAPFlFqQpJXjMjiI2OoNtG2b4PBhVeKpk2MnqgRxrSWxycg2kIXJgZgVyl/C+C5kw4g1PcW1RFN/bNOqCpdcqi6XOotsTs8/Q2xkoik3x7wetZKmeCUHxo4rywPQZvGFaYSE/w7vWeSLLTp3hH9ofq+0iQyo/ki60OL8U9G50FZUoSpBldnBrm4C1wfP6sedRPty4Fuh1iyR2wzO8O1EIEU0mrfFJJE72LIwkYATsUvbEi/3nkX5krOWe1059uWs5enreKjqq5CcOoNulw3zMr4il8O+DOggNwgBRWmb+eCy1L35+k35Ra1HgecykqbHs5DaPt4XpqijDA9TzIkj9Q2/DzSn0NkDnHkHKU9KdwydgITzPFHOOv/4Ae+lg1uwiDdr2+zGPrr5D5rRKXjDia7tcqp5605B0wU+1stf5pJRCrEZOv3/QE7xtNrCDh84KQO42ejnCM8unr8ZDGmIG+qSNL7YmV6O/OMmZeeWN6EPvzOoAvwo5OXni3Mwgxc7dK+kw4AUaTjsF/BrIF7fZ3Pqj8kaEmYivw8yQeWsj0eNB20AL02uVr4xs2loQLmtCp3OE9j00e6xmRyjF5gTXVhoT1WFEHPmbYKBAq5eaSeeL8YnlSYLB+H4F90RkCq2vQq/8IJJa/LO83RB55Pm2NV8oerJmkNqrGEmP4Gmy2iIClpMsCYISjsxhvotrFdhw1mOzaEi2rpZENBe7rVOSAhobZM=

Applications are invited for multiple positions
(PhD/Postdoc/Scientific Programmer) at the IMDEA Software Institute,
Madrid, Spain.

Selected candidates will work under the supervision of Aleks Nanevski
(http://software.imdea.org/~aleks/). The topic of the research, to be
determined based on the common interests of the candidate and the
supervisor, will be in the areas of software verification, logics for
concurrent programs, and language-based security. The research will be
funded by Aleks' ERC Consolidator award "MATHADOR: Type and Proof
Structures for Concurrent Software Verification", which aims to
investigate the type-theoretic foundations for verification of
concurrent software.

PhD candidates should have an excellent MSc or BSc degree in computer
science or a related subject, with an interest in the above areas, and
a strong commitment to research.

Postdoc candidates should have, or expect shortly to obtain, a PhD in
computer science. The ideal candidate will have expertise in program
semantics and program logics, concurrent or distributed computing,
type theory or interactive theorem proving, as they apply to the above
areas.

Scientific programmer candidates should hold a BSc or MSc degree in
computer science, with experience in and passion for functional
programming and interactive theorem proving (eg., Coq).

All positions require good teamwork and communication skills,
including excellent spoken and written English. Salaries at IMDEA
Software Institute are internationally competitive.

For any questions about these positions, please contact Aleks directly
(aleks dot nanevski at imdea dot org).

Deadline for applications is March 31st, 2019. Review of applications
will begin immediately.

Applications should be submitted online at:
https://careers.imdea.org/software/

Postdoctoral candidates should select option "4 - Postdoc researcher"
and reference code "2019-02-postdoc-mathador"

PhD candidates should select option "5 - PhD Student" and reference
code "2019-02-phd-mathador"

Scientific Programmer candidates should select option "6 -
Research/Development Engineer" and reference code
"2019-02-programmer-mathador"

[Coq-Club] Multiple Research Positions, IMDEA Software Institute, Madrid, Spain, Aleksandar Nanevski, 02/07/2019