本期推荐乌普萨拉大学、隆德大学最新岗位制博士项目信息。
乌普萨拉大学
PhD student focusing on Scalable Quantum Program Verification
Uppsala University | The Department of Information Technology
截止时间: 15 November 2026
Are you interested in working in formal verification and programming language techniques applied to quantum systems, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in a sustainable working environment and offers safe, favourable working conditions? We welcome you to apply for a PhD position at the Department of Information Technology, Uppsala University.
The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, with 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students take one or more courses at the department each year.
The position is hosted in a research environment which includes verification experts (Parosh Abdulla, Mohammed Faouzi Atig, Bengt Jonsson, Philipp Ruemmer, Kostis Sagonas, Wang Yi), as well as experts in programming languages (Johannes Borgström, Eva Darulova, Lars-Henrik Erikson, Sofia Ouhbi, Tjark Weber, Tobias Wrigstad). The department is known for both strong theoretical work as well as tool development in these areas (UPPAAL, Concuerror, Nidhugg and other tools), publishing in top conferences such as POPL, PLDI, ICALP and CAV.
Project description
As both private and public investment in quantum computing continues to surge, the steady upscaling of quantum hardware (now reaching thousands of qubits) has resulted in increasingly sophisticated quantum software pipelines. Given the strategic use of quantum software (e.g. in security), there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid quantum-classical architectures, resulting in new challenges for verification. Current tools and techniques do not offer the desired combination of scalability, automation and guarantees to verify such programs. The project aims to address this gap by combining techniques from classical verification and programming language theory with those for complex arithmetic, in order to contribute both theoretical insights and software artifacts advancing the state of the art in quantum program verification.
Duties
The doctoral student will primarily devote their time to doctoral education. Other departmental duties of at most 20%, including teaching and administration, may also be included in the employment.
Requirements
To meet the general entry requirements for doctoral studies, you must:
- hold a Master’s (second-cycle) degree in computer science or mathematics or a related field, or
- have completed at least 240 credits in higher education, with at least 60 credits at Master’s level including an independent project worth at least 15 credits, or
- have acquired substantially equivalent knowledge in some other way.
We are looking for candidates with:
- a mathematical background,
- excellent problem-solving skills,
- high motivation and capacity to persistently work on difficult problems,
- interest in programming,
- good communication skills with sufficient proficiency in oral and written English,
- ability to work both independently and collaboratively.
Application
The application must include:
- A statement (max 2 pages) describing the applicant’s motivation, research interests, a concise summary of their Master’s thesis (or comparable project), and the earliest possible starting date; contact information for at least one reference (no reference letter required at this stage).
- A CV.
- Degrees and transcripts with grades (officially translated to English or Swedish).
- The Master’s thesis (or draft), publications, and other relevant self-produced reports.
Promising applicants will be invited for interviews before a hiring decision is made.
For further information about the position, please contact: Assistant Professor Ramanathan Thinniyam Srinivasan, email: ramanathan.s.thinniyam@it.uu.se
Please submit your application by 15 November 2026, UFV-PA 2026/2571.
隆德大学
Doctoral Student in Automatic Control with focus on Datacenter Control
Lund University | Faculty of Engineering
截止时间：23 October 2026
Description of the workplace
Automatic Control is an exciting and broad subject, covering both advanced mathematics and hands-on engineering. Historically, it has been instrumental in many areas, from the early development of telecommunications to the space race. Today, driven by the need to engineer ever larger systems, Automatic Control is more relevant than ever.
The department of Automatic control has a stimulating and international environment with PhD students, postdocs, and teachers coming from all corners of the world. Research and teaching are conducted in an open and progressive atmosphere with collaborations both within academia and with industry, nationally as well as internationally. A PhD degree from the Department of Automatic control gives you the perfect base for an exciting career, be it in academia or industry.
Lund University and the Department of Automatic Control welcome applicants with diverse backgrounds and experiences. We regard equality and diversity as a strength and an asset.
Being a doctoral student
As a doctoral student, you are both admitted as a student and employed at Lund University.
As a doctoral student, you will be trained in a scientific approach. In short, you will be trained to think critically and analytically, to solve problems independently using the right methods, and to develop an awareness of research ethics. In addition, you will have the opportunity to work on projects, to develop your leadership and pedagogical skills. Throughout your studies, you will be guided by supervisors. Doctoral studies end with a thesis and a doctoral degree.
AEGIS — Adaptive Grid-Interactive Edge Datacenter Fleets is a European Marie Skłodowska-Curie Action (MSCA) research and training network. It is funded by the EU and trains 15 PhD students from 2026 to 2030. The main host for this position is Department of Automatic Control at Lund University. As part of the program you will spend two 3-months visits with partners in the network: École Polytechnique Fédérale de Lausanne (Switzerland) and Elisa (Finland). Marie Skłodowska-Curie fellowships are among the most respected PhD positions in Europe. The position is only open to applicants that have not lived, studied, or worked in Sweden for more than 12 months in the 36 months before applying.
Subject and project description
The AEGIS project sits where two fast-growing fields meet: datacentres and AI infrastructure on one side, energy and power systems on the other. Few people today can work across both, so the skills you build here are scarce and in high demand. Specifically there is a gap between a high-level goal like “cut carbon now” and the low-level controls of a site’s cooling, batteries, and compute hardware. In this project you close that gap.
You will build a control layer that takes “intents” and translates them into a coordinated set of actions across the site’s physical assets. The models close the loop and tune themselves online using both classical control, AI, and reinforcement learning.
In the project you will work on:
Designing an intent language that captures carbon, flexibility, and cost. Breaking high-level intents down into control actions. Tuning power-performance and thermal models online.
What you will deliver:
Control software that turns intents into commands, with measured latency. Practical control systems using real-world data from experiments. A telemetry system that reports headroom and runs without breaking service-level limits in test scenarios.
Work duties
You will primarily devote yourself to your doctoral programme, which includes participation in research projects as well as third cycle courses, seminars and conferences.
The PhD position consists of three main aspects, and the work duties include:
- research project, including authoring papers and traveling to conferences, seminars etc.
- postgraduate courses, given locally, nationally and internationally (90 ECTS credits)
- teaching (no more than 20%), including lab supervision and exam responsibilities. This part may also include departmental services, such as working with equality and diversity, arranging events etc
Qualifications
To be eligible for admission and employment as a doctoral student, you must fulfil the requirements below.
Admission requirements
A person meets the general admission requirements for third-cycle courses and study programmes if the applicant:
- has been awarded a second-cycle qualification, or
- has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second cycle, or
- has acquired substantial equivalent knowledge in some other way in Sweden or abroad.
A person meets the specific admission requirements for third cycle studies in Automatic Control if the applicant has:
- knowledge corresponding to course FRTF05 (previously FRT010) Automatic Control, Basic Course and a second cycle specialisation of relevance to the subject, and
- an MSc in engineering or corresponding qualification
The standard MSCA eligibility criteria also apply:
No doctoral degree. At the date of recruitment you must not yet hold a PhD. Mobility rule. You must not have lived or done your main activity (work or studies) in Sweden for more than 12 months in the 36 months just before you are recruited. Short stays such as holidays do not count.
Additional requirements
In order to complete the doctoral programme in question, the following are also required:
- Very good oral and written proficiency in English.
- Good language-analytical ability.
- Curiosity about research and teaching in general, and motivation for the particular research project.
- Creativity with good ability for cooperation and networking.
- Good ability to work independently and to formulate and tackle research problems.
- Good written and oral communication skills.
- Strong mathematical knowledge as demonstrated through university transcripts.
Other qualifications (advantages)
For the doctoral programme in question, the following are considered as other qualifications:
Strong foundations in
- Machine learning and reinformement learning.
- Cloud computing and cloud technology.
- Low-level programming and Linux kernel experience.
are meriting.
Consideration will be given to good collaborative skills, drive and independence, and how the applicant, through experience and skills, is deemed to have the abilities necessary for successfully completing the third cycle programme.
How to apply
Applications shall be written in English and include:
- CV and a cover letter stating the reasons why you are interested in the doctoral programme/employment and in what way the research project corresponds to your interests and educational background.
- Copies of issued study certificates and/or awarded degree certificates. These must confirm that you meet the general and specific admission requirements for the doctoral programme and show that you have the subject knowledge required for the doctoral programme project.
- Other documents you wish to be considered (grade transcripts, contact information for your references, letters of recommendation, etc.)
