A student position to joint the project team

A student position is available to join the project team at the Institute of Computer Science of the Czech Academy of Sciences.

[ Ostatní příležitosti ]

Quick Info

Requirement: finished Bc study in computer science or expected to finish Bc in the academic year 2019/2020, knowledge of the work in Linux, programming in C++ and Python.

Position: part time between 0.2 and 0.4 of full-time for at least 6 months (possibly splitted into shorter periods). Start of the position between December 2019 and March 2020 according to applicants decision, gross salary between 7000 CZK and 14000 CZK per month (equivalent to 35000 CZK for full-time).

Responsibilities: The position is intended for experimental research of applications of SAT solvers for transformations of general CNF formulas into formulas satisfying additional criteria. Preliminary knowledge of this area or using SAT solvers is not required. Participation in a theoretical research is welcome, however, not necessary.

To apply, please send your CV to ics@cs.cas.cz. Contact person: RNDr. Petr Savický, CSc.

The closing date is November 15, 2019.