DescripciĆ³ del projecte
The University of Barcelona offers two PhD positions in collaboration with the Catalan industrial sector. As such, the industrial component of the PhD revolves around the development and verification of legal software in Coq. This work will be complemented with the formalization of parts of logic/mathematics. Since the group where this project will be embedded works on ordinal analysis via modal logic and reflection principles, we expect collaboration with the main group to arise, but we are open to alternative proposals. As to tell the two PhD positions apart, we tentatively call them `The Syntax Road’ and `The Semantics Road’ respectively. It is true that indeed one part of the formalization of our mathematics project involves modal calculi whereas another part will emphasize on Relational (Kripke) semantics but choosing at this stage for one of the Syntax or Semantics road does not imply any irreversible decision.
We offer two three-year positions in the PhD program in Mathematics and Computer Science which is located in the very center of Barcelona. Apart from the usual PhD trajectory, the candidates will participate in cutting edge developments in formalization in an industrial setting. The travel allowances can vary to exceeding 2200 Ā per year and the gross salary varies between 18 K and 22 K per year depending on how much financial support this project will receive from the Catalan authorities.
We are looking for candidates with a background in theoretical computer science and/or mathematical logic. It is a strict requirement to have finished a relevant Master with an average score of at least 6.5 (out of 10) over all courses taken in both the master and the undergraduate studies. Apart from the required knowledge of Coq and Ocaml, other IT skills are recommended, especially knowledge/experience with other functional programming languages. Previous commercial work experience is a plus and working proficiency in English is a must.
Interested candidates should make their first statement of interest through the official AGAUR site. After a first selection, interested candidates will be asked to file their application package not later than September 10. The application package should contain:
(+) CV;
(+) Motivation letter;
(+) Transcript of obtained academic results in the relevant master and undergraduate;
(+) Email addresses of three references to whom we might refer in case we consider this desirable.
Further information about the positions can be obtained by writing an email to Joost J. Joosten at jjoosten@ub.edu.
