[TYPES/announce] Job offer for a Mathematician or Computer Scientist researcher in Barcelona

[Ana Borges]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200521/ccbca874/attachment.html>