Yutaka Nagashima (Feb 07 2025 at 18:13): Yutaka Nagashima (Feb 07 2025 at 18:13):The Institute of Computer Science at the Czech Academy of Sciences (ICS CAS) is hiring for tenure-track research positions in Prague!
While these positions aren’t specifically focused on theorem proving, artificial intelligence, programming languages, computational logic, formal methods, or computer architecture, I’d love to have colleagues who share an interest in these areas.
The application deadline is March 31, 2025.
I’m not the official contact person for these openings, but feel free to reach out if you have any questions—I’d be happy to help!
https://www.cs.cas.cz/job-offer/tenure-track-computer-science-2025/en
Last updated: Mar 12 2025 at 04:23 UTC