coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Job offer for a Mathematician or Computer Scientist researcher in Barcelona
Chronological Thread
- From: Ana Borges <ana.agvb AT gmail.com>
- To: undisclosed-recipients:;
- Subject: [Coq-Club] Job offer for a Mathematician or Computer Scientist researcher in Barcelona
- Date: Thu, 21 May 2020 21:00:28 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ana.agvb AT gmail.com; spf=Pass smtp.mailfrom=ana.agvb AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f169.google.com
- Ironport-phdr: 9a23:RHO3rxWXQwBpwR5x8VZj/arpIKTV8LGtZVwlr6E/grcLSJyIuqrYbBKHt8tkgFKBZ4jH8fUM07OQ7/m9HzVZuN3Y6iFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAXcutMLjYd/N6o9xQbFrmVMdu9L2W5mOFWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQKJbAjo7LW07/dXnuhbfQwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/86dmTQLjhSkbOzIl9mzcl8t/jL9doB28phx/2JLbYIWSNPplYKzSYM4RSW5OU8pNUiBMBJ63YYkSAOobJetXoInzqVUNoxWjGQahGfjixSVUinLsx6A2z/gtHAPA0Qc9H9wOqnPUrNDtOaoOV+C61rTDwCjEb/NM1jfy9pPIeQ0mrP6WW7J/a9DdxlMgFwPblVqdsoPlPzaP2eQMt2iX9fZvVeWqi2M+rQx6vzegyNs2hIbTmoIV1k7L9T9/wIstK9O1VlJ3bNylHZVfuSyUN4t4T8IiTWx1pio0xaMKt5G5cSQXy5kqxALTZuKFfoaI4hzuVeifLSt6iX9her+zmRC/+lWuxO37U8m7yldKrixdn9bSq3ANzRvT6tCdRfdn4EihxDCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1rPEjLylUnskaObd0Ep9+614Or9eLrmvIWTN4pshwH+LKsunsu/DPw9MgcUXmib/f2w1b348kHkWblKgOA6n6jdvZzAKsQboam5AwBR0ok98RqwEzCm0NEAkXkGKlJKZg6HgpD3N13SJP30F/SyjlS2nDt12vzLOqftDojMI3XHiLvheKxy609YyAo919Bf4JdUB6kbL/L1QED9rsbXDhAnMwOv2OvnB9B92ZkfWWKLGKOWLKTSsVqQ6uI1P+aMfJMVuCr6K/U9+/HuimY5lUYBcqmtwJsYc2u1Hu9mIkWceXrjmM0NEWYMvgokTezlkkeOUTBJZyX6Y6Vp+zc3CZmtCYDYS4zomrGK3T+6E5tKfTIVWX6WFnK9XoONE90Lci2fOYc1mzoNE7GuVYUJ2hSntQu8wL1ieLmHshYEvI7ugYAmr9bYkgs/oGAsVpjP4yS2V2hx21gwaXouxqkm+B5yz16C1e5zhPkKTYUCtcMMaR8zMNvn98I/DtnzXgzbedLQEQSpR9ynBXc6SddjmoZTMXY4IM2ri1X45wTvA7IRkObVVpk986aZznKoYsgklSeA264mgF0rBMBIMD/+iw==
We are looking for a full-time Mathematician or Computer Scientist researcher to participate in a 3,5 year project.
We are an active and diverse team lead by Dr. Joost J. Joosten, which comprises several PhD and Master students with a background in Mathematics and Philosophy, among others. Our group's research involves, but is not limited to, proof theory (pure and applied), provability, interpretability and other modal logics, fragments of first and higher-order arithmetic, algebraic logic, formalized meta-mathematics, and ordinal analysis. We are based in the Philosophy Department of the University of Barcelona, located in the city center of Barcelona. Our PhD students are all enrolled in the doctorate program of mathematics and computer science. Most of us are also affiliated to the Institute of Mathematics of the University of Barcelona and to the Barcelona Graduate School of Mathematics.
In our applied proof theory group we are developing an industrial product with social impact value for the legal infrastructure of transport of people and goods by road. The project is funded by the European Regional Development Fund and the Ministerio de Ciencia, Innovación y Universidades.
Our software is developed using formal methods, with the goal of high reliability in mind. We are using Coq as our main tool.
The successful applicant will be expected to have:
- Proven experience with Ocaml or similar
- Proven experience with LaTeX
The following will be valued:
- Experience with Coq
- Ability to solve problems
- Self-learning skill
- Creativity and cooperation capability.
Required documents:
- Motivation letter
- Curriculum vitae including list of publications
Please send your application to Aleix Solé <aleix.sole AT ub.edu>.
This announcement can be found at https://euraxess.ec.europa.eu/jobs/471949
Project title: Error free software (Software de fallo cero).
Funded by the European Regional Development Fund (ERDF/FEDER) - and the Ministerio de Ciencia, Innovación y Universidades – Agencia Estatal de Investigación.
Project reference: RTC-2017-6740-7
Priority will be given to people with disabilities.
Female applicants are explicitly encouraged to apply.
We are an active and diverse team lead by Dr. Joost J. Joosten, which comprises several PhD and Master students with a background in Mathematics and Philosophy, among others. Our group's research involves, but is not limited to, proof theory (pure and applied), provability, interpretability and other modal logics, fragments of first and higher-order arithmetic, algebraic logic, formalized meta-mathematics, and ordinal analysis. We are based in the Philosophy Department of the University of Barcelona, located in the city center of Barcelona. Our PhD students are all enrolled in the doctorate program of mathematics and computer science. Most of us are also affiliated to the Institute of Mathematics of the University of Barcelona and to the Barcelona Graduate School of Mathematics.
In our applied proof theory group we are developing an industrial product with social impact value for the legal infrastructure of transport of people and goods by road. The project is funded by the European Regional Development Fund and the Ministerio de Ciencia, Innovación y Universidades.
Our software is developed using formal methods, with the goal of high reliability in mind. We are using Coq as our main tool.
The successful applicant will be expected to have:
- Proven experience with Ocaml or similar
- Proven experience with LaTeX
The following will be valued:
- Experience with Coq
- Ability to solve problems
- Self-learning skill
- Creativity and cooperation capability.
Required documents:
- Motivation letter
- Curriculum vitae including list of publications
Please send your application to Aleix Solé <aleix.sole AT ub.edu>.
This announcement can be found at https://euraxess.ec.europa.eu/jobs/471949
Project title: Error free software (Software de fallo cero).
Funded by the European Regional Development Fund (ERDF/FEDER) - and the Ministerio de Ciencia, Innovación y Universidades – Agencia Estatal de Investigación.
Project reference: RTC-2017-6740-7
Priority will be given to people with disabilities.
Female applicants are explicitly encouraged to apply.
- [Coq-Club] Job offer for a Mathematician or Computer Scientist researcher in Barcelona, Ana Borges, 05/21/2020
Archive powered by MHonArc 2.6.19+.