11/12/2019

Mathematician (ref. 600111)

This job offer has expired


  • ORGANISATION/COMPANY
    FUNDACIÓ BOSCH I GIMPERA
  • RESEARCH FIELD
    Computer science
  • RESEARCHER PROFILE
    First Stage Researcher (R1)
  • APPLICATION DEADLINE
    10/06/2020 00:00 - Europe/Brussels
  • LOCATION
    Spain › BARCELONA
  • TYPE OF CONTRACT
    Temporary
  • JOB STATUS
    Full-time
  • HOURS PER WEEK
    37,5
  • OFFER STARTING DATE
    01/07/2020
  • REFERENCE NUMBER
    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

OFFER DESCRIPTION

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.

 

Required documents:

  • Motivation letter
  • Curriculum vitae including list of publication

 

Please send your application to: aleix.sole@ub.edu

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.

 

More Information

Selection process

  • 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

Offer Requirements

  • REQUIRED LANGUAGES
    ENGLISH: Excellent
Work location(s)
1 position(s) available at
FUNDACIÓ BOSCH I GIMPERA
Spain
BARCELONA
BARCELONA
08028
BALDIRI REIXAC, 4-8

EURAXESS offer ID: 471949

Disclaimer:

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 support@euraxess.org if you wish to download all jobs in XML.