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.
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
