Postdoctoral position in the Department of Constructive Methods of Mathematical Analysis
E-mail for Applications :
Opening of Applications: 7/2/2023
Deadline for Applications: 31/3/2023
Further Details and Application Form
Description/Comments:
We invite applications of young researchers working in the fields of numerical analysis to join our team. We are looking for a young researcher who has achieved convincing results in this area of research and who has completed his or her PhD degree in Mathematics within the last four years.
The successful applicant will perform research in the Department of Constructive Methods of Mathematical Analysis, which has a long tradition of excellent research in these fields. He or she will also take part in other activities such as organization and active participation at seminars, workshops, and conferences. No teaching is involved. We require verbal and written English communication skills and abilities to work both independently and collaboratively.
Appointment period: 24 months
Please apply ONLY through our online application system
Postdoctoral position in the Department of Mathematical Logic and Theoretical Computer Science
E-mail for Applications :
Opening of Applications: 7/2/2023
Deadline for Applications: 30/4/2023
Further Details and Application Form
Description/Comments:
!!! Deadline extended !!!
The Institute of Mathematics of the Czech Academy of Sciences (IM CAS) is seeking a researcher for the project “Logic and unsatisfiability” coordinated by Dr. Neil Thapen and funded by the Czech Science Foundation.
Applications are invited from candidates who have completed their PhD within the last 5 years (or will have completed it before the time of hiring), and who have a strong background in proof complexity or bounded arithmetic.
The successful applicant will be based at the Institute of Mathematics of the Czech Academy of Sciences, Prague, and perform research in the areas of the project. He/she is also expected to take part in activities of the Department of Mathematical Logic and Theoretical Computer Science such as seminars and workshops organized by the group. No teaching is involved.
Appointment period: 30 months
Please apply ONLY through our online application system
