Tarmo Uustalu
1 week ago
Provably correct efficient tensor processing and containers Tallinn University of Technology in Estonia
Degree Level
PhD
Field of study
Computer Science
Funding
Available
Deadline
Sep 26, 2026
Country
Estonia
University
Tallinn University of Technology

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
More information can be found here
Keywords
Suggested positions
About this position
Talinn University of Technology (TalTech) is offering a PhD project titled Provably correct efficient tensor processing and containers. The project sits at the intersection of programming languages, type theory, category theory, certified programming, and high-performance tensor computation.
The research motivation is that tensor processing is central to machine learning and quantum computation, but performance is often limited by data movement and the complexity of mapping mathematical tensor operations efficiently onto modern hardware. The project explores the use of containers, a formalism from functional programming and type theory for representing data structures and transformations, as a basis for provably correct tensor processing.
The research will investigate extensions of container theory and implementations, including support for algebraic structure on data and data structures such as commutative monoids and semirings, as well as explicit reasoning about data layouts and movement. The project also relates to tensor programming ecosystems such as TensorFlow, PyTorch, and JAX, and to correctness-oriented frameworks such as ATL.
The student’s primary responsibility is research. There may also be opportunities to contribute to teaching as a course assistant. The position is hosted in the Department of Software Science, within the School of Information Technologies, an environment noted for strengths in programming language theory, logic, type theory, and category theory. Relevant research groups include the High-Assurance Software Laboratory, the Logic and Semantics Group, and the Lab for Compositional Systems and Methods.
Eligibility is clearly stated: applicants must hold an MSc degree in computer science or mathematics. The ideal candidate should already be familiar with at least some of the project’s mathematical and computational foundations, including linear algebra, functional programming, computer architecture, type theory, category theory, program analysis, and certified programming. Strong programming ability is also expected.
The application window runs from 2026-08-26 to 2026-09-26. Applicants should use the provided application link and consult the PhD Admission homepage for admission information and submission instructions.
Funding details
Available
What's required
Applicants must have an MSc degree in computer science or mathematics. The successful candidate should be knowledgeable in at least a couple of the following areas and interested in all of them: linear algebra, functional programming, computer architecture, type theory, category theory, program analysis, and certified programming. Good programming skills are beneficial.
How to apply
Apply via the PhD admission process and submit applications between 2026-08-26 and 2026-09-26. Use the application link provided in the posting and follow the PhD Admission homepage for details.
Ask ApplyKite AI
Professors

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.