Logic List Mailing Archive

Research position in applied proof theory, Barcelona (Spain)

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@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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam