Tenure Track Research Position - Computer Science

The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal reasoning, such as:

[ Ostatní příležitosti ]

  • formal verification/model checking (reasoning about the correctness of systems),
  • computer assisted proofs, intelligent computer mathematics (reasoning about mathematical statements),
  • automated deduction (reasoning about logical conclusions),
  • verified numerical computation (reasoning about the correctness of numerical computation),
  • automated planning, control, synthesis (reasoning about the achievement of goals).

We offer a full-time position, which includes the following benefits:

  • Freedom and support to develop an independent research program.
  • Flexible working conditions, including the option to work part-time.
  • Salary matching the local price level (monthly gross salary 37-55 thousand CZK based on qualifications and experience - approximately 28-40 thousand CZK net salary), see the Cost Of Living Comparison.
  • Additional bonuses based on research performance and successful grant applications.
  • Five weeks of paid vacation on top of public holidays.
  • Child care facilities in the institute’s building.
  • Highly attractive and safe location (Prague).

We encourage you to apply, if you:

  • hold a Ph.D. degree in Computer Science or a related field,
  • have an excellent research record relative to your career stage,
  • show the potential to build an independent research group and acquire research funding.

Conditions of contract

You will be appointed for up to 3 years initially and your performance will be evaluated after this period. In case of a positive review, you will be eligible for an extension or a tenured appointment.

Your involvement in graduate teaching programs and supervising graduate students will not be mandatory, yet welcome by the Institute.

To apply, submit your application to ics@cs.cas.cz, including the following:

  • a cover letter in which you describe your motivation and qualifications for the position,
  • a curriculum vitae, including a list of publications and a description of the three most important achievements,
  • a description of your scientific interest and plans,
  • 3 letters of recommendation. The referees should send their recommendations directly to ics@cs.cas.cz.

The closing date for application is 31st May 2020.

About us

The Czech Academy of Sciences is the biggest institution conducting basic research in the Czech Republic. It covers 54 research institutes, the Institute of Computer Science being one of them. For more information, see our web-page http://www.cs.cas.cz/., or contact us at posinfo@cs.cas.cz.