Post-doctoral researcher

1 week 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: Recognised Researcher (R2)
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

The Department of Computing Science seeks a postdoctoral researcher who will work on Compilers for Linear Algebra Expressions. The employment is full-time and for three years, starting on a mutually convenient date. The deadline for applications is April 30, 2025.

Department of Computing Science
Our institution, characterized by world-leading research and many internationally highly-ranked educational programs, is looking for a postdoctoral researcher to work on a compiler for linear algebra expressions.

The Department of Computing Science has been growing rapidly in recent years, with a focus on creating an inclusive and bottom-up driven research environment. Our workplace consists of a diverse set of people from different nationalities, backgrounds and fields. As a postdoctoral researcher, you receive benefits in career development, networking, administrative and technical support functions, along with good employment conditions. More information about the department is available at: Department of Computing Science.

This position is funded by the Swedish Research Council through project 2024-04957 "Compiling General-size Linear Algebra Expressions using Equality Graphs". The postdoctoral researcher will be part of the High-Performance and Automatic Computing group (HPAC), collaborating with Paolo Bientinesi and Lars Karlsson. HPAC's webpage: HPAC.

Project description and working tasks

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 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 project extends our previous work on linear algebra compilers: Linear Algebra Compilers.

Qualifications

To be appointed under the postdoctoral agreement, the postdoctoral fellow is required to have completed a doctoral degree or a foreign degree deemed equivalent to a doctoral degree. This qualification requirements must be fulfilled no later than at the time of the appointment decision.

To be appointed under the postdoctoral agreement, priority should be given to candidates who completed their doctoral degree, according to what is stipulated in the paragraph above, no later than three years prior. If there are special reasons, candidates who completed their doctoral degree prior to that may also be eligible. Special reasons include absence due to illness, parental leave, appointments of trust in trade union organisations, military service, or similar circumstances, as well as clinical practice or other forms of appointment/assignment relevant to the subject area. Postdoctoral fellows who are to teach or supervise must have taken relevant higher education pedagogical courses.

Requirements:
  • Doctorate in computer science, mathematics, or similar.
  • Strong command of both written and spoken English language.
  • Proficiency in programming languages, compilation techniques and optimizations.
  • Proficiency in C, C++, and/or Rust.
Merits:
  • Experience with e-graphs.
  • Familiarity 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.
Application

A complete application must 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).
  • Electronic link to doctoral dissertation and all relevant publications.
  • 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 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.

We look forward to receiving your application

#J-18808-Ljbffr
  • Post doctor

    3 weeks ago


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

    Post doctor (2 years) The Department of Mathematics and Mathematical Statistics seeks a postdoctoral researcher within geometric deep learning. The employment is full-time for two years starting from August 1st 2025 or by agreement. Apply latest April 7th 2025. Project description: Geometric deep learning refers to the study of machine learning problems...

  • Post doctor

    3 weeks ago


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

    The Department of Mathematics and Mathematical Statistics seeks a postdoctoral researcher who will work in the Mathematical Foundations of Artificial Intelligence group under the supervision of Alp Yurtsever. The employment is full-time for two years starting from September 1st 2025, or by agreement. Project description and working tasks: The connection...


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

    Postdoctoral researcher (2 years) within medicinal chemistry, UmeåClient:Location:Job Category:OtherJob vacancies-EU work permit required:YesJob Reference:439f533f1a42Job Views:4Posted:02.04.2025Expiry Date:17.05.2025Job Description:The proposed projects target serine and cysteine proteases with small organic molecules, aiming to modulate the function of...


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

    The Department of Mathematics and Mathematical Statistics is offering a postdoctoral scholarship within the project "Advanced functional clustering methods for analyzing complex winter climate data from Scandinavia". The scholarship is full-time for two years, with access on 1 May 2025 or by agreement. Project description: The project focuses on developing...


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

    Job DescriptionWe are seeking a talented and dedicated individual to join our research group at the Department of Chemistry, Umeå University. As a PhD student, you will be part of a European MSCA Doctoral Network (https://endamr.eu/) and will contribute to cutting-edge research in the field of biochemistry.The position involves pursuing your doctoral...


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

    Job DescriptionWe are seeking a highly qualified Associate Professor in Environmental Science with a natural science perspective to join our faculty. The successful candidate will be responsible for teaching environmental science courses and conducting independent research that aligns with the department's research activities.The position may also include...


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

    Social network you want to login/join with:Client:Location:Job Category:OtherEU work permit required:YesJob Reference:9e12111c5906Job Views:7Posted:15.03.2025Expiry Date:29.04.2025Job Description:The project, which will analyse the contemporary commemoration and contestation of the Holocaust on social media during its anniversaries in English, Swedish and...


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

    We are seeking a highly motivated and experienced Archaeological Research Leader to join our team at Umeå University's Faculty of Arts and Humanities.About the PositionThis is a permanent full-time position that involves conducting research, teaching, and supervising students in the field of archaeology. The successful candidate will be expected to develop...


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

    Umeå University's Faculty of Arts and Humanities is seeking a highly qualified Professor of Historical Research to join our team.About the RoleThis is an exciting opportunity to conduct high-quality research, teach and supervise students, and engage with the broader academic community in the field of archaeology. The successful candidate will be expected to...


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

    About UsWe are a dynamic department committed to advancing knowledge in environmental science. Our faculty and staff are dedicated to creating a supportive learning environment that fosters innovation and excellence.Job DescriptionThis Associate Professor position offers an exciting opportunity to join our team and contribute to our research and teaching...


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

    Role and ResponsibilitiesWe are seeking an exceptional researcher to join our team at the Department of Chemistry, Umeå University. As a PhD student, you will contribute to ongoing research projects focused on drug resistance mechanisms in microbiome species and participate in the European MSCA Doctoral Network (https://endamr.eu/).Your responsibilities...


  • Umeå, Västerbotten, Sweden Sveriges lantbruksuniversitet Full time

    Sveriges lantbruksuniversitet (SLU) invites applications for a Senior Researcher position in Sustainable Forestry.About the PositionThe successful candidate will be part of the Department of Forest Ecology and Management, contributing to the development of sustainable forestry practices in northern Sweden.The position involves developing knowledge and...


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

    About the JobWe are seeking a highly motivated and qualified research scientist to join our team at the Department of Chemistry, Umeå University. The successful candidate will be part of a European MSCA Doctoral Network (https://endamr.eu/) and will pursue their doctoral studies in chemistry with a specialization in biochemistry.The thesis project will...


  • Umeå, Västerbotten, Sweden EURAXESS Czech Republic Full time

    Academic Leadership OpportunityWe invite applications from accomplished academics interested in serving as a Theology Professor at our university. As a senior academic leader, you will be responsible for advancing research, teaching, and educational excellence in theology.Main ResponsibilitiesLead research projects and supervise doctoral students in...


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

    Salary and BenefitsWe offer a competitive salary according to the established salary ladder for doctoral student employment, providing a stable financial foundation for your research career.


  • Umeå, Västerbotten, Sweden Karlstad University Full time

    Job OverviewMIMS is seeking a highly skilled researcher to fill the role of Group Leader in molecular infection medicine. The successful candidate will lead a research team, conduct innovative projects, and secure external funding to support their research program.ResponsibilitiesThe Group Leader will be responsible for:- Conducting research in molecular...


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

    Umeå University, Faculty of Science and Technology, is seeking a highly qualified individual to fill the position of Associate Professor in Environmental Science.The ideal candidate will have a strong research background in environmental science from a natural science perspective, focusing on human activities that impact the environment and health.We are...

  • Research Scientist

    20 hours ago


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

    We are currently seeking a skilled PhD student to join our research team at the Department of Molecular Biology, Umeå University. As a PhD student, you will have the chance to conduct research on the molecular mechanisms controlling malaria parasite development in the mosquito, contributing to the understanding of parasite-vector interactions.The project...


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

    Required Skills and QualificationsTo be eligible for this position, you must have:A doctoral degree in medicinal chemistry or a related fieldVery good command of the English language, both written and spokenCompetence and research experience in medicinal chemistry, including organic synthesis and biochemistry/biophysical measurementsAdditional requirements...


  • Umeå, Västerbotten, Sweden Karlstad University Full time

    Group Leader in Molecular Infection MedicineThe Laboratory for Molecular Infection Medicine Sweden MIMS (www.mims.umu.se) is looking for an excellent young researcher to become Group Leader for innovative research in molecular infection medicine. The topic includes but is not limited to research on the biology of bacteria, viruses, parasites and the...