It is necessary to activate JavaScript to navigate this site.

Volná místa

Postdoctoral position in the Brno Branch

Opening of Applications: 19/2/2019

Deadline for Applications: 18/3/2019

Further Details and Application Form

Description/Comments:
A 9 month postdoc position (capacity 100% FTE) within the framework of the GA ČR / DFG project Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (19-06175J) is available in the Brno Branch, Institute of Mathematics of the Czech Academy of Sciences.
Applications are encouraged from candidates who have completed their Ph.D. degree in Mathematics / Computer Science / Automatic Control Theory within the last 5 years, and who have background and research interest in at least one of the following areas: Applied Algebra (Idempotent Semirings), Coalgebra, Automata/ Weighted Automata and Formal Languages/ Formal Power Series, Timed Petri nets, Discrete-Event Systems.
Please apply ONLY through our online application system.

Official announcement

Student position in the Department of Mathematical Logic and Computer Science

Opening of Applications: 24/1/2019

Deadline for Applications: 18/3/2019

Further Details and Application Form

Description/Comments:
A 9 month student position (with a possibility of extension for the next two years, till the end of 2021 year), capacity 75% FTE, within the framework of the project 19-05497S: "Complexity of mathematical proofs and structures" is available in the Department of Mathematical Logic and Theoretical Computer Science, Institute of Mathematics of the Czech Academy of Sciences. Applications are invited from candidates who are master students or Ph.D. students in Mathematics / Computer Science, and who have background and research interest in logic, computational or proof complexity, as well as attitude to solve problems in these areas.
Please apply ONLY through our online application system

Official announcement