Post-doc position

 

1)

We offer a Post-doc position in a project funded by NCN: „Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods”

The qualifications required:
– PhD degree in cognitive science, mathematics or computer science obtained no longer than 7 years prior to the employment day (however, the period can be longer if you are a mother);
– (at least) advanced programming skills in any general-purpose programming language;
– (at least) intermediate programming skills in any functional programming language;
– (at least) intermediate programming skills in numerical computing and data analysis;
– intermediate knowledge of proof theory and some non-classical (e.g. modal) logics – this should be sufficient to co-operate with the leader of the project in proof-theoretical research, favourably on the method of synthetic tableaux.

Tasks in the project:
– participation in the implementation of certain theorem-provers in a functional programming language;
– coordination of the implementation of the meta-layers (part responsible for further analyses) in a general-purpose programming language;
– participation in the data analysis obtained via additional tools in a scientific scripting programming language;
– cooperation in the research on the synthetic tableaux method

We offer a Post-Doc position (full-time employment) with gross salary in the amount of 6500 PLN (which is over 4600 net pay). The position is initially for a period of 6 months, with a possibility of extension to 3 years (in total). Expected day of employment is: 1.12.2018 (to be agreed).

Information clause for jobseekers

Pursuant to Article 13 of Regulation (EU) No. 2016/679 of the European Parliament and of the Council of 27 April 2016 on the protection of individuals with regard to the processing of personal data and on the free movement of such data and repealing Directive 95/46/EC – General Regulation on data protection (Official Journal of the European Union L 119/1 of 04.05.2016) I hereby inform you that:
1. The Controller of your personal data is Adam Mickiewicz University in Poznań with its registered office at 1, Henryka Wieniawskiego Street, 61-712 Poznań.
2. The controller of personal data has appointed a Data Protection Inspector to supervise the correctness of personal data processing, who can be contacted via e-mail address: iod@amu.edu.pl.
3. The purpose of the processing of your personal data is to carry out the recruitment process for the indicated position.
4. The legal basis for the processing of your personal data is Article 6(1)(a) of the General Data Protection Regulation of 27 April 2016 and the Labour Code of 26 June 1974 (Journal of Laws of 1998, N21, item 94, as amended).
5. Your personal data will be stored for a period of 6 months from the end of the recruitment process.
6. Your personal data will not be made available to other entities, except for entities authorized by law. Access to your data will be granted to persons authorized by the Controller to process them within the scope of their professional duties.
7. You have the right to access your data and, subject to the provisions of law, the right to rectify, delete, restrict the processing, the right to transfer data, the right to object to the processing, the right to withdraw consent at any time.
8. You have the right to lodge a complaint to the supervisory authority – the President of the Office for Personal Data Protection, ul. Stawki 2, 00-193 Warszawa.
9. Provision of personal data is obligatory on the basis of legal regulations, in the remaining scope it is voluntary.
10. With regard to your personal data, decisions will not be taken automatically, in accordance with Article 22 RODO.

To apply, please send your:
– Curriculum vitae (please include in your CV the following annotation: „In accordance with Article 6(1)(a) of the General Data Protection Regulation of 27 April 2016 (Journal of Laws of the EU L 119/1 of 4 May 2016) I agree to the processing of personal data other than those indicated in Article 221 of the Labour Code (name(s) and surname; parents’ names; date of birth; place of residence; address for correspondence; education; previous employment), included in my job offer for the purpose of current recruitment.”)
– list of publications, participation in conferences, previous research experience
– short motivation letter explaining why you wish to join our team
to Dorota Leszczyńska-Jasion, e-mail: Dorota.Leszczynska@amu.edu.pl
UNTIL 15.11.2018 23:59

2)

We offer a Post-doc position in a project funded by NCN: „Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods”.

The qualifications required:
– PhD degree in philosophy (with specialisation in logic), cognitive science or mathematics (with specialisation in logic) obtained no longer than 7 years prior to the employment day (however, the period can be longer if you are a mother);
– advanced knowledge of proof theory and non-classical logics;
– advanced programming skills in functional programming languages;
– intermediate programming skills in any general-purpose programming language;
– intermediate programming skills in numerical computing and data analysis.

Tasks in the project:
– coordination of the implementation of the module-layers of DDSs (the main part of our theorem-provers) in a functional programming language;
– participation in the implementation of the meta-layer of DDSs (part responsible for further analyses) in a general-purpose programming language;
– participation in data analysis obtained via additional tools in a scientific scripting programming language;
– cooperation in the (theoretical) description of DDSs;
– cooperation in the proof-theoretical analysis of the results provided by selected computational tools.

We offer a Post-Doc position (full-time employment) with gross salary in the amount of 6500 PLN (which is over 4600 net pay). The position is initially for a period of 6 months, with a possibility of extension to 3 years (in total). Expected day of employment is: 1.12.2018 (to be agreed).

Information clause for jobseekers

Pursuant to Article 13 of Regulation (EU) No. 2016/679 of the European Parliament and of the Council of 27 April 2016 on the protection of individuals with regard to the processing of personal data and on the free movement of such data and repealing Directive 95/46/EC – General Regulation on data protection (Official Journal of the European Union L 119/1 of 04.05.2016) I hereby inform you that:
1. The Controller of your personal data is Adam Mickiewicz University in Poznań with its registered office at 1, Henryka Wieniawskiego Street, 61-712 Poznań.
2. The controller of personal data has appointed a Data Protection Inspector to supervise the correctness of personal data processing, who can be contacted via e-mail address: iod@amu.edu.pl.
3. The purpose of the processing of your personal data is to carry out the recruitment process for the indicated position.
4. The legal basis for the processing of your personal data is Article 6(1)(a) of the General Data Protection Regulation of 27 April 2016 and the Labour Code of 26 June 1974 (Journal of Laws of 1998, N21, item 94, as amended).
5. Your personal data will be stored for a period of 6 months from the end of the recruitment process.
6. Your personal data will not be made available to other entities, except for entities authorized by law. Access to your data will be granted to persons authorized by the Controller to process them within the scope of their professional duties.
7. You have the right to access your data and, subject to the provisions of law, the right to rectify, delete, restrict the processing, the right to transfer data, the right to object to the processing, the right to withdraw consent at any time.
8. You have the right to lodge a complaint to the supervisory authority – the President of the Office for Personal Data Protection, ul. Stawki 2, 00-193 Warszawa.
9. Provision of personal data is obligatory on the basis of legal regulations, in the remaining scope it is voluntary.
10. With regard to your personal data, decisions will not be taken automatically, in accordance with Article 22 RODO.

To apply, please send your:
– Curriculum vitae (please include in your CV the following annotation: „In accordance with Article 6(1)(a) of the General Data Protection Regulation of 27 April 2016 (Journal of Laws of the EU L 119/1 of 4 May 2016) I agree to the processing of personal data other than those indicated in Article 221 of the Labour Code (name(s) and surname; parents’ names; date of birth; place of residence; address for correspondence; education; previous employment), included in my job offer for the purpose of current recruitment.”)
– list of publications, participation in conferences, previous research experience
– short motivation letter explaining why you wish to join our team
to Dorota Leszczyńska-Jasion, e-mail: Dorota.Leszczynska@amu.edu.pl
UNTIL 15.X.2018