Oferty pracy na 2 stanowiska: Post-Doc position

 

Oferty pracy w projekcie NCN
Nazwa jednostki: Department of Logic and Cognitive Science, Adam Mickiewicz UniversityPoznań,
1. Nazwa stanowiska: Post-Doc position
Wymagania:
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.

Opis zadań:
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”

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

Typ konkursu NCN: SONATA BIS – HS
Termin składania ofert: 25 kwietnia 2018, 23:59
Forma składania ofert: email
Warunki zatrudnienia:
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.05.2018 (preferably).

Dodatkowe informacje:
To apply, please send your:
– Curriculum vitae (please include in your CV the following annotation: „I hereby agree for my personal data included in my application to be processed for the purposes of the recruitment process under the Personal Data Protection Act as of 29.08.1997, consolidated text: Journal of Laws 2016, item 922 as amended.”)
– 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

2. Nazwa stanowiska: Post-Doc position
Wymagania:
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.

Opis zadań:

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”.

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.

Typ konkursu NCN: SONATA BIS – HS
Termin składania ofert: 30 września 2018, 23:59
Forma składania ofert: email
Warunki zatrudnienia:

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). Employment starts Autumn-Winter, depends on the Candidate.

Dodatkowe informacje:

To apply, please send your:
– Curriculum vitae (please include in your CV the following annotation: „I hereby agree for my personal data included in my application to be processed for the purposes of the recruitment process under the Personal Data Protection Act as of 29.08.1997, consolidated text: Journal of Laws 2016, item 922 as amended.”)
– 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