PhD student in Computing Science with focus on Compilation of Linear Algebra Expressionst

3 weeks ago

Umeå, Västerbotten, Sweden Umeå universitet Full time

Umeå University, Faculty of Science and Technology

Organisation/Company: Umeå universitet

Department: Umeå University, Faculty of Science and Technology

Research Field: Computer science

Researcher Profile: First Stage Researcher (R1)

Country: Sweden

Application Deadline: 30 Apr 2025 - 21:59 (UTC)

Type of Contract: Temporary

Job Status: Full-time

Is the job funded through the EU Research Framework Programme? Not funded by a EU programme

Is the Job related to staff position within a Research Infrastructure? No

Offer Description

Department of Computing Science
The Department of Computing Science, characterized by world-leading research in several scientific fields and a multitude of educations ranked highly in international comparisons, is looking for a doctoral student to work on a compiler for linear algebra expressions.

The Department of Computing Science has been growing rapidly in recent years where focus on an inclusive and bottom-up driven environment are key elements in our sustainable growth. The 60 doctoral students within the department form a diverse group with different nationalities, backgrounds, and fields. If you work as a doctoral student with us you will receive the benefits of support in career development, networking, administrative and technical support functions along with good employment conditions.

Linear algebra expressions are evaluated in an efficient and robust way by mapping them to a carefully chosen sequence of calls to optimized functions as offered by libraries such as BLAS and LAPACK. The mapping is by no means unique, and different mappings differ in terms of time, space, and accuracy. When the sizes of the matrices are unknown at compile-time, as is often the case, then the problem is further complicated by the fact that no single mapping is optimal for all combinations of matrix sizes. As a consequence, any code generated (at compile-time) to evaluate the at run-time) must consist of more than just a single sequence of function calls.

We recently received a 4-year grant from the Swedish Research Council to investigate how to effectively compile linear algebra expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in automated theorem provers and recently popularized for optimizing compilers and many other optimization tasks. We hypothesize that an e-graph would be an effective tool for discovering and encoding a large set of alternative ways of evaluating a particular expression with unspecified matrix sizes. When a concrete expression is evaluated at run-time, thus revealing the matrix sizes, an extraction algorithm can identify an optimal evaluation scheme for that particular instance of the expression from the compiled e-graph.

This position is funded by the Swedish Research Council, through project 2024-04957 "Compiling General-size Linear Algebra Expressions using Equality Graphs". The doctoral student will be part of the High-Performance and Automatic Computing group (HPAC), and jointly supervised by Paolo Bientinesi and Lars Karlsson.

Admission Requirements

The general admission requirements for doctoral studies are a second-cycle level degree or completed course requirements of at least 240 ECTS credits, of which at least 60 ECTS credits are at second-cycle level, or have an equivalent education from abroad or equivalent qualifications. To fulfill the specific entry requirements for doctoral studies in computing science, the applicant is required to have completed at least 90 ECTS credits in computing science. Applicants who otherwise have acquired skills that are deemed equivalent are also eligible.

Strong command of both written and spoken English language is a key requirement.

You are expected to have solid foundations in programming languages, compilers, as well as algorithms and data structures. Proficiency in C, C++, and/or Rust is a requirement.

It is a strong merit to have previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar.

Familiarity with linear algebra libraries and high-performance computing is a merit, but not a requirement.

About the Position

The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving the degree of Doctor of Philosophy in Computing Science. While the position is mainly devoted to PhD studies (at least 80% of the time), it may include up to 20% department service (usually teaching). If so, the total time for the position is extended accordingly, resulting in a maximum of five years.

The procedure for recruitment for the position is in accordance with the Higher Education Ordinance (chapter 12, 2§) and the decision regarding the position cannot be appealed.

The candidate is expected to start as early as possible and no later than September 2025.

Application

Applications must be submitted electronically using the e-recruitment system of Umeå University.

A Complete Application Should Contain the Following Documents:
  • A cover letter that motivates the interest in the position and that describes how the qualifications and experience are relevant to the employment (maximum 2 A4 pages with 11pt font).
  • Reprints / copies of completed BSc and/or MSc theses and other relevant publications, if any.
  • Copies of degree certificates, including documentation of completed academic courses and obtained grades.
  • Contact information for three reference persons.
  • Documentation and description of other relevant experiences or competences, including software projects.

The application must be written in English or Swedish. If attached documents are written in a different language, then a translation to English or Swedish must be included. Attached documents must be in pdf format. Applications must be submitted electronically using the e-recruitment system of Umeå University, and be received no later than 2025-04-30.

Selected applicants will be invited for an interview round, including a programming assignment.

We look forward to receiving your application

#J-18808-Ljbffr

  • PhD student in Computing Science with focus on data privacy

    4 weeks ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    Social network you want to login/join with:PhD student in Computing Science with focus on data privacy, UmeåClient:Location:Job Category:OtherEU work permit required:YesJob Reference:cda3ce72e8bdJob Views:9Posted:26.03.2025Expiry Date:10.05.2025Job Description:The project will develop privacy-aware machine learning (ML) models. We are interested in building...

  • Post-doctoral researcher

    3 weeks ago

    Umeå, Västerbotten, Sweden Umeå universitet Full time

    Umeå University, Faculty of Science and TechnologyOrganisation/Company: Umeå universitetDepartment: Umeå University, Faculty of Science and TechnologyResearch Field: Computer scienceResearcher Profile: Recognised Researcher (R2)Country: SwedenApplication Deadline: 30 Apr 2025 - 21:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the job funded...

  • 1 to 2 PhD student/s in Computing Science with focus on Interactive Systems that Reason Spatially

    2 weeks ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    Social network you want to login/join with:1 to 2 PhD student/s in Computing Science with focus on Interactive Systems that Reason Spatially, UmeåClient:Location:Job Category:OtherEU work permit required:YesJob Reference:48b2460b2564Job Views:35Posted:23.01.2025Expiry Date:09.03.2025Job Description:Current AI technology surpasses humans in pattern...

  • PhD Student in Population Dynamics and Public Policy

    6 days ago

    Umeå, Västerbotten, Sweden University of Groningen Full time

    Company OverviewThe Graduate School in Population Dynamics and Public Policy is an interdisciplinary research program focused on population dynamics and public policy. As part of the Ageing and Living Conditions (ALC) research environment, we aim to provide a collaborative and stimulating atmosphere for PhD students.Job DescriptionWe are seeking highly...

  • Virology PhD Student Researcher

    2 weeks ago

    Umeå, Västerbotten, Sweden Umeå universitet Full time

    Job DescriptionWe are seeking a highly motivated PhD student in Medical Science with an interest in molecular and structural virology. The successful candidate will join our Department of Medical Biochemistry and Biophysics at Umeå University.The PhD student will participate in activities provided by the department, interacting with researchers from diverse...

  • The Graduate School in Population Dynamics and Public Policy are looking for new PhD students

    4 weeks ago

    Umeå, Västerbotten, Sweden University of Groningen Full time

    The Graduate School in Population Dynamics and Public Policy is looking for new PhD studentsThe Graduate School in Population Dynamics and Public Policy announces posts for PhD studentsBackgroundThe Graduate School in Population Dynamics and Public Policy is a graduate program for PhD students with dissertation projects focusing on population dynamics and/or...

  • PhD position in Medical Science

    3 weeks ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    PhD position in Medical Science (Neurophysiology), UmeåClient:Location:Job Category:OtherEU work permit required:YesJob Reference:ee3fda9f84aaJob Views:81Posted:23.01.2025Expiry Date:09.03.2025Job Description:PhD position in Medical ScienceWe are looking for a qualified candidate to embark on a PhD in Medical Science with an orientation towards...

  • PhD position in mathematics or mathematical statistics, with focus on geometric deep learning

    3 weeks ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    Social network you want to login/join with:PhD position in mathematics or mathematical statistics, with focus on geometric deep learning, UmeåClient:Location:Job Category:OtherEU work permit required:YesJob Reference:e169086b0b31Job Views:51Posted:23.01.2025Expiry Date:09.03.2025Job Description:Project descriptionMachine learning ('artificial intelligence')...

  • PhD Opportunity in Population Studies

    6 days ago

    Umeå, Västerbotten, Sweden University of Groningen Full time

    About UsThe University of Groningen's Graduate School in Population Dynamics and Public Policy is an interdisciplinary research program focused on population dynamics and public policy. We are committed to providing a supportive and stimulating atmosphere for PhD students.Job DescriptionWe are seeking highly motivated PhD students with strong analytical...

  • Graduate School in Population Dynamics PhD Position

    6 days ago

    Umeå, Västerbotten, Sweden University of Groningen Full time

    Fundamental ObjectivesThe Graduate School in Population Dynamics and Public Policy aims to provide high-quality education and enable internationally competitive research. We strive to promote multinational interaction and encourage our students to participate in international conferences, workshops, and PhD courses at other universities.Main Duties and...

  • PhD Position in Geometric Machine Learning

    7 days ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    Project OverviewTN Sweden is seeking a highly skilled and motivated researcher to join our team as a PhD student in mathematics or mathematical statistics, with a focus on geometric deep learning.This research project aims to deepen the mathematical theory of geometric deep learning, exploring ways to construct equivariant networks, describing the resulting...

  • PhD position in Energy Technology with a focus on Thermal Process Chemistry

    3 weeks ago

    Umeå, Västerbotten, Sweden Umeå universitet Full time

    Umeå University, Faculty of Science and TechnologyOrganisation/Company: Umeå universitetDepartment: Umeå University, Faculty of Science and TechnologyResearch Field: Physics » Applied physicsResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 2 Apr 2025 - 21:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the...

  • Geometric Deep Learning PhD Student Wanted

    6 days ago

    Umeå, Västerbotten, Sweden Euro Math Soc Full time

    Our research group is expanding its focus on artificial intelligence and machine learning, and we are seeking a highly motivated researcher to work on geometric deep learning. The project aims to develop a comprehensive geometric framework for flows and integral curves on M-Polyfolds and a theory of group actions compatible with the M-polyfold structure.This...

  • PhD position in Applied Electronics with focus on Safe and Secure Intelligent Embedded Systems

    1 week ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    Social network you want to login/join with:PhD position in Applied Electronics with focus on Safe and Secure Intelligent Embedded Systems, UmeåClient:Location:Job Category:OtherEU work permit required:YesJob Reference:8b76b5b59cedJob Views:3Posted:28.03.2025Expiry Date:12.05.2025Job Description:The Department of Applied Physics and Electronics currently has...

  • PhD position in structural biology of virus replication

    2 weeks ago

    Umeå, Västerbotten, Sweden Umeå universitet Full time

    Organisation/Company: Umeå universitetDepartment: Umeå University, Faculty Office of MedicineResearch Field: Medical sciences » MedicineResearcher Profile: First Stage Researcher (R1)Country: SwedenApplication Deadline: 4 May 2025 - 21:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the job funded through the EU Research Framework Programme?...

  • PhD position in structural biology of virus replication

    1 week ago

    Umeå, Västerbotten, Sweden SciLifeLab Group Full time

    PhD position in structural biology of virus replicationDepartment of Medical Biochemistry and Biophysics, Umeå UniversityUmeå University is one of Sweden's largest higher education institutions with over 37,000 students and about 4,700 employees. The University offers a diversity of high-quality education and world-leading research in several fields.We are...

  • Postdoctoral scholarship

    3 weeks ago

    Umeå, Västerbotten, Sweden Euro Math Soc Full time

    Postdoctoral fellowships The Department of Mathematics and Mathematical Statistics at Umeå University is offering a postdoctoral scholarship within the project "Bridg-it revisited: Maker-Breaker connection and percolation games". The scholarship is full-time for two years with a suggested starting date of September the 1st, 2025. Project description: The...

  • PhD position in Microwave Remote Sensing of Forest

    2 weeks ago

    Umeå, Västerbotten, Sweden Sveriges Lantbruksuniversitet Full time

    Department of Forest Resource ManagementThe Department of Forest Resource Management conducts education and research in the areas of forest planning, forest remote sensing, forest inventory and sampling, forest mathematical statistics and landscape studies. The department is also responsible for the implementation of the ongoing environmental monitoring...

  • Population Dynamics and Public Policy Researcher

    6 days ago

    Umeå, Västerbotten, Sweden University of Groningen Full time

    About the RoleThis PhD position is part of the Graduate School in Population Dynamics and Public Policy, which is a graduate program for PhD students with dissertation projects focusing on population dynamics and/or public policy related to population changes and ageing.Key ResponsibilitiesThe successful candidate will be involved in conducting research,...

  • Embedded Systems Specialist Wanted

    1 week ago

    Umeå, Västerbotten, Sweden TN Sweden Full time

    PhD Position in Secure ElectronicsWe are seeking a talented PhD student to join our research group and work on developing safe and secure intelligent embedded systems.ResponsibilitiesDesign and implement secure protocols for embedded systems.Develop and evaluate new security features for embedded devices.Collaborate with other researchers to integrate...