Postdoctoral Fellow in Computer Science (Royal Institute of Technology)

Project description Third-cycle subject: Information and Communication Technology The doctoral student position focuses on fundamental research combining programming languages theory, compilers, and machine learning. In particular, the emphasis is on algorithms, formal semantics, and compiler techniques for both natural languages and programming languages. This includes novel ways of combining large language models (LLMs), transformers, formal semantics, and compiler technology. The PhD student position is funded by WASP (see below) via the project High-Confidence Transformer-Based Compilation of Partially Ambiguous Programs. Read more about the project: https://people.kth.se/~dbro/hctc.html About WASP and the graduate school Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish society and industry. Read more: https://wasp-sweden.org/ The graduate school within WASP is dedicated to providing the skills needed to analyze, develop, and contribute to the interdisciplinary area of artificial intelligence, autonomous systems, and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between Ph.D. students, researchers, and industry. Read more: https://wasp-sweden.org/graduate-school/ Supervision: Professor David Broman What we offer The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world. A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement. A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment. Work and study in Stockholm, close to nature and the water. Help to relocate and be settled in Sweden and at KTH. Admission requirements To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following: passed a second cycle degree (for example a master's degree), or completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or acquired, in some other way within or outside the country, substantially equivalent knowledge In addition to the above, there is also a mandatory requirement for English equivalent to English B/6. Selection In order to succeed as a doctoral student at KTH, you need to be goal-oriented and persevering in your work. During the selection process, candidates will be assessed on their ability to: independently pursue his or her work collaborate with others, have a professional approach, analyse and work with complex issues. The candidate must show very good knowledge in computer science (for instance, experience in machine learning, compilers, algorithms, or programming language theory) After the qualification requirements, great emphasis will be placed on personal competency. Target degree: Doctoral degree Information regarding admission and employment Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years. Union representatives You will find contact information for union representatives on KTH's website. Doctoral section (Students’ union on KTH Royal Institute of Technology) You will find contact information for doctoral section on the section's website. To apply for the position Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement. Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/Central European Summer Time). Applications must include the following elements: CV including your relevant professional experience and knowledge. Application letter with a brief description of why you want to pursue research studies, about what your academic interests are and how they relate to your previous studies and future goals. (Maximum 2 pages long) Copies of diplomas and grades from previous university studies and certificates of fulfilled language requirements (see above). Translations into English or Swedish if the original document is not issued in one of these languages.Copies of originals must be certified. Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text. Other information Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values. For information about processing of personal data in the recruitment process. The position may include security-sensitive activities. To become authorized, you therefore need to pass a possible security check. We firmly decline all contact with staffing and recruitment agencies and job ad salespersons. Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence. About KTH KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy. Read more here Apply here Type of employment Temporary position Contract type Full time Full-time equivalent 100% First day of employment According to agreement Salary Monthly salary according to KTH's doctoral student salary agreement Number of positions 1 Location Stockholm County Stockholms län Country Sweden Reference number J-2024-2909 Published 07.Nov.2024 Last application date 18.Dec.2024 Contact Prof. David Broman dbro@kth.se Lisa Olsson HR Officer rekrytering@eecs.kth.se If you apply for this position please say you saw it on Academicoxy

Project description

Third-cycle subject: Information and Communication Technology

The doctoral student position focuses on fundamental research combining programming languages theory, compilers, and machine learning. In particular, the emphasis is on algorithms, formal semantics, and compiler techniques for both natural languages and programming languages. This includes novel ways of combining large language models (LLMs), transformers, formal semantics, and compiler technology. The PhD student position is funded by WASP (see below) via the project High-Confidence Transformer-Based Compilation of Partially Ambiguous Programs. Read more about the project: https://people.kth.se/~dbro/hctc.html

About WASP and the graduate school
Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish society and industry.

What we offer

The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world.
A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement.
A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment.
Work and study in Stockholm, close to nature and the water.
Help to relocate and be settled in Sweden and at KTH.

Admission requirements

To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:

passed a second cycle degree (for example a master's degree), or
completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or
acquired, in some other way within or outside the country, substantially equivalent knowledge

In addition to the above, there is also a mandatory requirement for English equivalent to English B/6.

Selection

In order to succeed as a doctoral student at KTH, you need to be goal-oriented and persevering in your work. During the selection process, candidates will be assessed on their ability to:

independently pursue his or her work
collaborate with others,
have a professional approach,
analyse and work with complex issues.

The candidate must show very good knowledge in computer science (for instance, experience in machine learning, compilers, algorithms, or programming language theory)

After the qualification requirements, great emphasis will be placed on personal competency.

Target degree: Doctoral degree

Information regarding admission and employment

Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years.

Union representatives

You will find contact information for union representatives on KTH's website.

Doctoral section (Students’ union on KTH Royal Institute of Technology)

You will find contact information for doctoral section on the section's website.

To apply for the position

Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement.

Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/Central European Summer Time).

Applications must include the following elements:

CV including your relevant professional experience and knowledge.
Application letter with a brief description of why you want to pursue research studies, about what your academic interests are and how they relate to your previous studies and future goals. (Maximum 2 pages long)
Copies of diplomas and grades from previous university studies and certificates of fulfilled language requirements (see above). Translations into English or Swedish if the original document is not issued in one of these languages.Copies of originals must be certified.
Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text.

Other information

Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

For information about processing of personal data in the recruitment process.

The position may include security-sensitive activities. To become authorized, you therefore need to pass a possible security check.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

About KTH

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy. Read more here

Apply here

Type of employment

Temporary position

Contract type

Full time

Full-time equivalent

100%

First day of employment

According to agreement

Salary

Monthly salary according to KTH's doctoral student salary agreement

Number of positions