Postdoctoral position in the project Logic and unsatisfiability

22 Apr 2024
Job Information

Organisation/Company

Institute of Mathematics of the Czech Academy of Sciences

Department

Mathematical Logic and Theoretical Computer Science

Research Field

Mathematics » Mathematical logic

Researcher Profile

Recognised Researcher (R2)

Country

Czech Republic

Application Deadline

31 May 2024 - 23:59 (Europe/Prague)

Type of Contract

Temporary

Job Status

Full-time

Hours Per Week

40

Offer Starting Date

1 Jul 2024

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

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.

Appointment period:3.5 months. Starting date: July 1, 2024or upon agreement.

No teaching is involved.

 

Requirements

Research Field

Mathematics

Education Level

PhD or equivalent

Skills/Qualifications

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, the theory of SAT solving, or related structural topics in TFNP.

The successful applicant will be based at the Institute of Mathematics of the Czech Academy of Sciences, Prague. 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.

Research Field

Mathematics » Mathematical logic

Additional Information
Benefits

We offer flexible working hours for scientists. We support female researchers with children by offering possibility of home office contracts and part-time job.
The Academy offers the kindergarden for employees' children from 1 to 5 years old. Affordable accommodation is available in the building of the Institute for the first 3-6 months.

Selection process

Publications, as well as other activities and professional achievements, will be judged by the stage of the applicant's career.

Equal opportunities are an integral part of the IM CAS personnel policy. The IM CAS fosters the compatibility of work and family and encourages applications from qualified female researchers. Disabled applicants will be given preference in case of equal qualifications.

Only complete applications (including the letters of references) received by May 31, 2023, will be considered. Online interviews with shortlisted applicants will be scheduled for the week from June 3 to 5, 2024. All applicants will be notified by June 10, 2024.

 

Work Location(s)

Number of offers available

1

Company/Institute

Institute of Mathematics, Czech Academy of Sciences

Country

Czech Republic

City

Prague

Postal Code

11000

Street

Zitna 25

Where to apply

Website

https://www.math.cas.cz/index.php/positions

Contact

City

Prague

Website

http://math.cas.cz/

Street

Žitná 25, 115 67 Praha 1, Czech Republic

Postal Code

115 67

E-Mail

[email protected]

STATUS: EXPIRED