ORGANISATION/COMPANYFUNDACIÓ BOSCH I GIMPERA
RESEARCH FIELDComputer science
RESEARCHER PROFILEFirst Stage Researcher (R1)
APPLICATION DEADLINE10/06/2020 00:00 - Europe/Brussels
LOCATIONSpain › BARCELONA
TYPE OF CONTRACTTemporary
HOURS PER WEEK37,5
OFFER STARTING DATE01/07/2020
REFERENCE NUMBERFunded 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
A full-time Mathematician or Computer Scientist researcher is required 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:
- Proven experience with Ocaml or similar
- Proven experience with LaTeX
It will be valued:
-Experience with Coq
-Ability to solve problems
-Self learning skill
-Creativity and cooperation capability.
- Motivation letter
- Curriculum vitae including list of publication
Please send your application to: email@example.com
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.
- First selection of candidates based on CV and letter of interest
- Interviews by a panel of academics from the University of Barcelona (via skype or in person)
- Possible invitation to on-site interview with a short presentation
REQUIRED LANGUAGESENGLISH: Excellent
EURAXESS offer ID: 471949
The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.
Please contact firstname.lastname@example.org if you wish to download all jobs in XML.