Tenure Track Research Positions - Computer Science - Ref. No. 2026/4

The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for tenure‐track positions in Computer Science and related areas fitting and/or expanding some of its current research areas:

[ More information ]

Postdoctoral fellow in philosophical logic and the philosophy of logic - Ref. No. 2026/10

We seek a postdoctoral fellow to join the Czech Science Foundation project “Substitution in Material Inference and Logical Environments” (SIMILE), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

SIMILE seeks to develop conceptual and mathematical-symbolic frameworks for understanding material inferences, which have emerged as a central topic inferentialist projects as in the work of Sellars, Brandom, and Peregrin, among others. One special focus of the project's work is substitution (and especially the failure of substitution invariance), which has long been known to play a central role in materiality. We are also interested in how materiality manifests in different reasoning contexts, such as in mathematical reasoning, and how materiality interacts with traditional concerns of metalogic.

[ More information ]

Scientific position: Postdoctoral Fellow within the BRAINSCAPE project - Ref. No. 2026/9

Scientific position is available in the project “BRAINSCAPE: Cross-sectoral collaboration for the development of new technologies in psychiatry - precision medicine and new therapies” (OP JAK BRAINSCAPE) at the Institute of Computer Science, Prague (Czech Republic).

Within the BRAINSCAPE project, the ICS CAS will provide the necessary expertise in the analysis of complex data, including multimodal neuroimaging measurements, the use of information theory, nonlinear dynamic systems, network theory, statistics, and machine learning.

[ More information ]

Research Fellow / Postdoc positions - Complex Networks and Brain Dynamics - Ref. No. 2026/8

We are looking for new team members to join the Complex Networks and Brain Dynamics group to work on its interdisciplinary projects. The group is part of the Department of Complex Systems, Institute of Computer Science of the Czech Academy of Sciences - based in Prague, Czech Republic.

[ More information ]

Research fellow / postdoc in computational neuroscience - Ref. No. 2026/7

There is an open position for a research fellow / postdoc in computational neuroscience at the Institute of Computer Science under the supervision of Dr. Helmut Schmidt.

The position is part of the project “The Role of Long-Range Brain Connectivity in Human Language Processing” (ConnLingua), a collaboration between the Technical University Berlin, the Max-Planck Institute for Human Cognitive and Brain Sciences (Leipzig), the Technical University Chemnitz, and the Institute of Computer Science in Prague.

The successful candidate will join a diverse team of researchers who work at the interface of neuroimaging and computational modelling of brain activity. The main task will be to build biologically plausible models of cortical circuits that are capable of performing syntactic operations. A strong focus will be on signal transmission between the different cortical regions of the language network via white matter fiber bundles, and on mean-field approaches in order to create simple and efficient models of neural activity. The successful candidate will work in close collaboration with the partners abroad to integrate the obtained models into larger computational frameworks and to explain electrophysiological observations from experiments.

[ More information ]

Postdoctoral fellow in mathematical logic and algebra - Ref. No. 2026/5

We seek a postdoctoral fellow or junior scientist to join the Czech Science Foundation project “Interpolation, Amalgamation, and Computation” (INTERACT), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences. The successful candidate will join a team working at the intersection of algebra, logic, amalgamation properties, and interpolation properties.

[ More information ]

Job Offer for a Computer Science Student: Implementation & Testing of AI Methods - Ref. No. 2026/1

Motivation: Implementation of deep neural networks (DNNs) on edge devices (e.g., smartphones) is energy demanding, therefore in error-tolerant applications (e.g., image recognition) DNN approximations are used (e.g., bit-width reduction for weight representation, network pruning), which significantly reduce energy consumption at the cost of acceptable accuracy degradation.

[ More information ]

Postdoctoral Fellow / Postdoctoral Researcher in Model Theory and Combinatorics - Ref. No. 2025/30

We seek a Postdoctoral Fellow / Researcher to join the Czech Science Foundation project Model theory, structural combinatorics, and algorithms, led by Samuel Braunfeld at the Institute of Computer Science of the Czech Academy of Sciences.

[ More information ]

Ph.D. Student Position in Artificial Intelligence – Ref. No. 2025/17

At the Institute of Computer Science of the Czech Academy of Sciences, we are offering a position for a Ph.D. student. The candidate will be advised by one or more members of the Department of Artificial Intelligence (https://www.cs.cas.cz/artificial-intelligence/en) and will work on a research topic to be agreed upon by both sides, within a highly attractive and supportive research environment. Examples of relevant research areas include machine learning, automated reasoning, optimization, and formal verification.

[ More information ]

Full time postdoctoral position in foundations of mathematics - Ref. No. 2025/16

Full time postdoctoral position is available at the Institute of Computer Science, Czech Academy of Sciences (ICS CAS) in the project "Modern Czech Logic within the Philosophy of Mathematics", funded by the Czech Science Foundation. The principal investigator at the ICS is Zuzana Haniková and the ICS project team is a part of the LogICS group. The main subject area of the project is philosophy of mathematics with the specific aim to investigate the foundational facets of the works and themes of L.S. Rieger, P. Vopěnka, and P. Hájek. The successful candidate will have a strong background in logic and/or foundations of mathematics and will be expected to carry out independent research related to the focal themes of the project, which include:

• set theory and its philosophy,
• alternative foundations and pluralism,
• the notion of infinity and finitism,
• phenomenological approaches to mathematics.

Informal enquiries are welcome and should be addressed to Zuzana Haniková.

[ More information ]

Research positions: Postdoctoral fellow / Researcher in statistics and psychometrics - Ref. No. 2025/14

Research positions (postdoctoral fellow, researcher) are available to join the Computational psychometrics (COMPS) group and the Department of Statistical Modelling, Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) for the project “Research of Excellence on Digital Technologies and Wellbeing” (DigiWELL, reg. no.CZ.02.01.01/00/22_008/0004583, project duration 2024 - 2028).

The DigiWELL project responds to research challenges in key areas of the rapidly evolving domain of digital technologies aimed at promoting physical, mental and social wellbeing. Within the project, we are responsible for the work package focused on developing, optimizing and applying techniques for statistical modelling of the complex data beyond the currently available methods.

[ More information ]

Junior Researchers: Postdoctoral Fellow, Graduate student or Research assistant in Computational Neuroscience within the BRADY project - Ref. No. 2025/11

Junior researcher positions are available in the Complex Networks and Brain Dynamics group (COBRA) at the Institute of Computer Science, Prague (Czech Republic). These positions are centered in the Research Work Package 1 of a larger, interdisciplinary consortium established for the OPJAK BRADY project. The relevant RWP1 aims to establish a family of generative models of graded complexity capturing brain dynamics that would:

• Approximate spatial patterns observed in resting state neuroimaging, including topology and topography of functional connectivity.
• Approximate temporal brain dynamics, including activity fluctuations, connectivity dynamics, and information flow.
• Provide an internally consistent unified account of electrophysiological and fMRI data, linking to biologically interpretable latent variables and structural connectivity.
• Allow predicting the effect of external stimulation, such as complex sensory and cognitive tasks, electric of magnetic stimulation, or pharmacological intervention.
• Allow capturing the key axes of inter-subject variability, linking it to psychometric data.
• Ultimately allow characterizing and predicting the trajectory of deviation from healthy brain dynamics in a range of psychiatric and neurological diseases.

Further information can be found here: https://brady.cs.cas.cz/.

[ More information ]

Scientific positions: Researcher, Postdoctoral Fellow, Doctoral Student, or Research Assistant within the DEZINFO project - Ref. No. 2025/10

Scientific positions are available in the project “Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences” at the Institute of Computer Science, Prague (Czech Republic). These positions are part of a larger, interdisciplinary consortium recently recommended for funding (OP JAK DEZINFO).

[ More information ]

Postdoctoral position within DEZINFO project - Ref. No. 2025/9

The Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) invites applications for a postdoctoral position within the research activity "Logics of inconsistent and incomplete information and their applications in modelling the spread of disinformation" within the DEZINFO project funded by the Czech Ministry of Education, Youth and Sports. The successful candidate will work within the LogICS group as part of the Theoretical Computer Science Department of the ICS CAS.

[ More information ]

Scientific positions: Senior Researcher, Researcher, Postdoctoral Fellow within the COREmind project - Ref. No. 2025/8

Scientific positions are available in the project “Social-Cultural Determinants of Circulation of Representations: The Impact on Human Mind and Strategies of Remediation (OP JAK COREmind) at the Institute of Computer Science, Prague (Czech Republic). These positions are part of a larger, interdisciplinary consortium recently recommended for funding (OP JAK COREmind).

[ More information ]

Scientific positions: Senior Researcher, Researcher, Postdoctoral Fellow, Graduate student or Research assistant in the project “Knowledge in the Age of Distrust” (TRUST) - Ref. No. 2025/7.

Researcher positions are available in the project “Knowledge in the Age of Distrust” (OP JAK TRUST) at the Institute of Computer Science, Prague (Czech Republic). These positions are part of a larger, interdisciplinary consortium recently recommended for funding (OP JAK TRUST).

[ More information ]

Postdoctoral position in Logical analysis of language and communication – Ref. No. 2025/6

Postdoctoral position is available within the research activity Logical analysis of language and communication of the TRUST project, funded by the Czech Ministry of Education, Youth and Sports. The successful candidate will work within the LogICS group as a part of the Department of Theoretical Computer Science, Institute of Computer Science of the Czech Academy of Sciences.

[ More information ]

Postdoctoral position in Logical aspects of rationality and knowledge – Ref. No. 2025/5

Postdoctoral position is available within the research activity Logical aspects of rationality and knowledge of the TRUST project, funded by the Czech Ministry of Education, Youth and Sports. The successful candidate will work within the LogICS group as a part of the Department of Theoretical Computer Science, Institute of Computer Science of the Czech Academy of Sciences.

[ More information ]

Postdoctoral fellow/junior scientist in proof theory and algebraic logic – Ref. No. 2024/15

We seek a postdoctoral fellow or junior scientist to join the Czech Science Foundation project “Interpolation, Amalgamation, and Computation” (INTERACT), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop an encompassing theory of interpolation across varied logical environments by unifying proof-theoretic and algebraic approaches. The successful candidate will conduct research along this theme, both individually and in collaboration with the PI and other team members.

More information on the project may be found on its webpage (http://www.wesleyfussner.com/interact.html).

[ More information ]

PhD candidate in algebraic logic – Ref. No. 2024/14

We seek a Ph.D. candidate to join the Czech Science Foundation project “Interpolation, Amalgamation, and Computation” (INTERACT), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop an encompassing theory of interpolation across varied logical environments by unifying proof-theoretic and algebraic approaches. The successful candidate will conduct research on the themes of the project, working toward a Ph.D. dissertation under the supervision of Dr. Wesley Fussner.

More information on the project may be found on the INTERACT webpage (http://www.wesleyfussner.com/interact.html).

[ More information ]

Research fellow / postdoc in mathematical and computational neuroscience - Ref. č. 2024/11

There is an open position for a research fellow / postdoc in mathematical and computational neuroscience at the Institute of Computer Science under the supervision of Dr. Helmut Schmidt. The successful candidate will join a diverse team of researchers who work at the interface of neuroimaging and computational modelling of brain activity. The focus of this position will be on developing computationally efficient models of biological neural networks with complex network structure and a variety of neuron types, using state-of-the-art mean field approaches. Applications include, but are not limited to: epilepsy, schizophrenia, working memory and cognition, as well as generating mechanisms of EEG and BOLD

[ More information ]

Postdoc/Junior researcher positions in Prediction of parameters for energy distribution system project - Ref. No. 2024/10

A junior scientist (postdoc) position is available to join the Department of Complex system, Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) for the project “Neural networks realtime forecasting of variable baseline for the power equipment at HV, LV voltage levels” (TAČR reg. No. TK05020142).

This project aims to predict the parameters of the energy distribution system based on knowledge of the evolution of the system in time and other usually time-dependent external variables such as the weather or the situation in the financial energy markets. The main objective is to apply artificial intelligence methods in this area, particularly in the field of deep learning.

[ More information ]