Information about the project This project is part of QuantumStack, a 5-year project funded by the Swedish Foundation for Strategic Research, with the aim of developing a full software stack for programming quantum computers. The project is integrated with the Wallenberg Centre for Quantum Technology (WACQT), a 12-year, billion-SEK initiative started in 2018 with the purpose of advancing Swedish academia and industry to the forefront of quantum technology, and to build a Swedish quantum computer. Our ambitious goal at Chalmers is to build this quantum computer with 100 superconducting qubits and to apply it to real computational problems that cannot be efficiently solved on a conventional computer. Such computationally hard problems are found, e.g., in optimization, quantum chemistry, materials science, machine learning, etc.
So far there has been a separation between the theory of quantum computing as studied by Computer Scientists and mathematicians, and the work that physicists have been doing on the quantum computers that exist today. We want to create a compilation stack that will bridge this gap, and we want to use the techniques of type theory and formal logic to ensure that the stack is sound.
We are now seeking a PhD student to create formal semantics for the languages involved in the compilation stack, develop tools for verifying that each stage in the compilation stack is sound, and develop domain-specific languages (DSLs) for the stages of the compilation stack including the control pulses that are fed to the qubits.
This work is both important practically, and a fascinating theoretical challenge - to find the correct logic(s) and type theory for describing and reasoning about quantum algorithms - which may itself give insight into the physical universe. You will also have the opportunity to see the results applied to real quantum computers as the project proceeds.
This project is funded by SSF (https://strategiska.se/en/) under their call for "Future Software Systems".
The division of Computing Science pursues research and education that advances the design of secure and trustworthy software and systems, from theoretical foundations, and up through the design and implementation of programming languages and tools. The focus of the Logic and Types group within the division is on dependent type theory, and is best known for the development of well-known proof assistants, including the Agda system.
Major responsibilities The main responsibilities of a PhD student at Chalmers consist in pursuing doctoral studies by conducting research within your project, in collaboration and independently, leading to results that you will publish in journals and present at meeting and conferences.
Your studies also include coursework in your field and common core courses on generic and transferable skills. The position generally also includes teaching on the undergraduate level or other duties corresponding to up to 20 per cent of working hours.
Qualifications Required qualifications: *MSc in Computer Science, Mathematics, Physics, or equivalent *Excellent communication skills in written and spoken English
Desired qualifications: One or more of * Ability to program in functional languages such as Haskell or ML * Experience with quantum computing * Experience with type theory * Experience with proof assistants such as Coq or Agda
We value a collaborative attitude and an interest in working both in teams and independently. Self-motivation, attention to detail, and a problem-solving analytical ability are important personal qualities for this position.
Contract terms Full-time temporary employment. The position is limited to a maximum of five years.
We offer Chalmers offers a cultivating and inspiring working environment in the coastal city of Gothenburg. Read more about working at Chalmers and our benefits for employees. Chalmers offers Swedish courses.
Chalmers aims to actively improve our gender balance. We work broadly with equality projects, for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.
Application procedure Read more and apply here.
Application deadline: 31st August, 2022
For questions, please contact: Associate Professor Robin Adams, Computing Science at CSE E-mail: robinad@chalmers.se, +46 31-772 6348
*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***
id: 26273043
external_id: 46-556479-5598-10683
webpage_url: https://arbetsformedlingen.se/platsbanken/annonser/26273043
logo_url: https://www.arbetsformedlingen.se/rest/arbetsgivare/rest/af/v3/organisation/5564795598/logotyper/logo.png
headline: PhD student in formal semantics and verification for quantum computing
application_deadline: 2022-08-31T23:59:59
number_of_vacancies: 1
description:
text: Information about the project\nThis project is part of QuantumStack a 5-year project funded by the Swedish Foundation for Strategic Research with the aim of developing a full software stack for programming quantum computers. The project is integrated with the Wallenberg Centre for Quantum Technology (WACQT) a 12-year billion-SEK initiative started in 2018 with the purpose of advancing Swedish academia and industry to the forefront of quantum technology and to build a Swedish quantum computer. Our ambitious goal at Chalmers is to build this quantum computer with 100 superconducting qubits and to apply it to real computational problems that cannot be efficiently solved on a conventional computer. Such computationally hard problems are found e.g. in optimization quantum chemistry materials science machine learning etc.\n\nSo far there has been a separation between the theory of quantum computing as studied by Computer Scientists and mathematicians and the work that physicists have been doing on the quantum computers that exist today. We want to create a compilation stack that will bridge this gap and we want to use the techniques of type theory and formal logic to ensure that the stack is sound. \n\nWe are now seeking a PhD student to create formal semantics for the languages involved in the compilation stack develop tools for verifying that each stage in the compilation stack is sound and develop domain-specific languages (DSLs) for the stages of the compilation stack including the control pulses that are fed to the qubits.\n\nThis work is both important practically and a fascinating theoretical challenge - to find the correct logic(s) and type theory for describing and reasoning about quantum algorithms - which may itself give insight into the physical universe. You will also have the opportunity to see the results applied to real quantum computers as the project proceeds.\n \nThis project is funded by SSF (https://strategiska.se/en/) under their call for \Future Software Systems\.\n\nThe division of Computing Science pursues research and education that advances the design of secure and trustworthy software and systems from theoretical foundations and up through the design and implementation of programming languages and tools. The focus of the Logic and Types group within the division is on dependent type theory and is best known for the development of well-known proof assistants including the Agda system.\n\nMajor responsibilities\nThe main responsibilities of a PhD student at Chalmers consist in pursuing doctoral studies by conducting research within your project in collaboration and independently leading to results that you will publish in journals and present at meeting and conferences.\n\nYour studies also include coursework in your field and common core courses on generic and transferable skills. The position generally also includes teaching on the undergraduate level or other duties corresponding to up to 20 per cent of working hours.\n\nQualifications\nRequired qualifications:\n*MSc in Computer Science Mathematics Physics or equivalent\n*Excellent communication skills in written and spoken English\n \nDesired qualifications: One or more of\n* Ability to program in functional languages such as Haskell or ML\n* Experience with quantum computing\n* Experience with type theory\n* Experience with proof assistants such as Coq or Agda\n \nWe value a collaborative attitude and an interest in working both in teams and independently. Self-motivation attention to detail and a problem-solving analytical ability are important personal qualities for this position.\n\nContract terms\nFull-time temporary employment. The position is limited to a maximum of five years.\n\nWe offer \n Chalmers offers a cultivating and inspiring working environment in the coastal city of Gothenburg. \n Read more about working at Chalmers and our benefits for employees. Chalmers offers Swedish courses.\n\nChalmers aims to actively improve our gender balance. We work broadly with equality projects for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.\n\nApplication procedure\nRead more and apply here.\n\nApplication deadline: 31st August 2022\n\nFor questions please contact: \nAssociate Professor Robin Adams Computing Science at CSE\nE-mail: robinad@chalmers.se +46 31-772 6348\n\n*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***
text_formatted: Information about the project\nThis project is part of QuantumStack a 5-year project funded by the Swedish Foundation for Strategic Research with the aim of developing a full software stack for programming quantum computers. The project is integrated with the Wallenberg Centre for Quantum Technology (WACQT) a 12-year billion-SEK initiative started in 2018 with the purpose of advancing Swedish academia and industry to the forefront of quantum technology and to build a Swedish quantum computer. Our ambitious goal at Chalmers is to build this quantum computer with 100 superconducting qubits and to apply it to real computational problems that cannot be efficiently solved on a conventional computer. Such computationally hard problems are found e.g. in optimization quantum chemistry materials science machine learning etc.\n\nSo far there has been a separation between the theory of quantum computing as studied by Computer Scientists and mathematicians and the work that physicists have been doing on the quantum computers that exist today. We want to create a compilation stack that will bridge this gap and we want to use the techniques of type theory and formal logic to ensure that the stack is sound. \n\nWe are now seeking a PhD student to create formal semantics for the languages involved in the compilation stack develop tools for verifying that each stage in the compilation stack is sound and develop domain-specific languages (DSLs) for the stages of the compilation stack including the control pulses that are fed to the qubits.\n\nThis work is both important practically and a fascinating theoretical challenge - to find the correct logic(s) and type theory for describing and reasoning about quantum algorithms - which may itself give insight into the physical universe. You will also have the opportunity to see the results applied to real quantum computers as the project proceeds.\n \nThis project is funded by SSF (https://strategiska.se/en/) under their call for \Future Software Systems\.\n\nThe division of Computing Science pursues research and education that advances the design of secure and trustworthy software and systems from theoretical foundations and up through the design and implementation of programming languages and tools. The focus of the Logic and Types group within the division is on dependent type theory and is best known for the development of well-known proof assistants including the Agda system.\n\nMajor responsibilities\nThe main responsibilities of a PhD student at Chalmers consist in pursuing doctoral studies by conducting research within your project in collaboration and independently leading to results that you will publish in journals and present at meeting and conferences.\n\nYour studies also include coursework in your field and common core courses on generic and transferable skills. The position generally also includes teaching on the undergraduate level or other duties corresponding to up to 20 per cent of working hours.\n\nQualifications\nRequired qualifications:\n*MSc in Computer Science Mathematics Physics or equivalent\n*Excellent communication skills in written and spoken English\n \nDesired qualifications: One or more of\n* Ability to program in functional languages such as Haskell or ML\n* Experience with quantum computing\n* Experience with type theory\n* Experience with proof assistants such as Coq or Agda\n \nWe value a collaborative attitude and an interest in working both in teams and independently. Self-motivation attention to detail and a problem-solving analytical ability are important personal qualities for this position.\n\nContract terms\nFull-time temporary employment. The position is limited to a maximum of five years.\n\nWe offer \n Chalmers offers a cultivating and inspiring working environment in the coastal city of Gothenburg. \n Read more about working at Chalmers and our benefits for employees. Chalmers offers Swedish courses.\n\nChalmers aims to actively improve our gender balance. We work broadly with equality projects for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.\n\nApplication procedure\nRead more and apply here.\n\nApplication deadline: 31st August 2022\n\nFor questions please contact: \nAssociate Professor Robin Adams Computing Science at CSE\nE-mail: robinad@chalmers.se +46 31-772 6348\n\n*** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***\n\n\n\n\n
company_information: null
needs: null
requirements: null
conditions: Heltid/\r\nEj specificerat
employment_type:
concept_id: PFZr_Syz_cUq
label: Vanlig anställning
legacy_ams_taxonomy_id: 1
salary_type:
concept_id: oG8G_9cW_nRf
label: Fast månads- vecko- eller timlön
legacy_ams_taxonomy_id: 1
salary_description: Enl kollektivavtal
duration:
concept_id: qQUd_4qe_NDT
label: 6 månader eller längre
legacy_ams_taxonomy_id: 2
working_hours_type:
concept_id: 6YE1_gAC_R2G
label: Heltid
legacy_ams_taxonomy_id: 1
scope_of_work:
min: 100
max: 100
access: null
employer:
phone_number: null
email: null
url: http://www.chalmers.se
organization_number: 5564795598
name: Chalmers Tekniska Högskola AB
workplace: Chalmers Tekniska Högskola AB
application_details:
information: null
reference: null
email: null
via_af: false
url: https://www.chalmers.se/sv/om-chalmers/Arbeta-pa-Chalmers/lediga-tjanster/Sidor/default.aspx?rmpage=job&rmjob=10683
other: null
experience_required: true
access_to_own_car: false
driving_license_required: false
driving_license: null
occupation:
concept_id: Pgpp_B8P_wot
label: Doktorand
legacy_ams_taxonomy_id: 7589
occupation_group:
concept_id: NNK9_F1o_pK5
label: Doktorander
legacy_ams_taxonomy_id: 2314
occupation_field:
concept_id: MVqp_eS8_kDZ
label: Pedagogik
legacy_ams_taxonomy_id: 15
workplace_address:
municipality: Göteborg
municipality_code: 1480
municipality_concept_id: PVZL_BQT_XtL
region: Västra Götalands län
region_code: 14
region_concept_id: zdoY_6u5_Krt
country: Sverige
country_code: 199
country_concept_id: i46j_HmG_v64
street_address: null
postcode: null
city: null
coordinates:
11.974560000000000314912540488876402378082275390625
57.70886999999999744659362477250397205352783203125
must_have:
skills:
languages:
work_experiences:
weight: 10
concept_id: Pgpp_B8P_wot
label: Doktorand
legacy_ams_taxonomy_id: 7589
education:
education_level:
nice_to_have:
skills:
languages:
work_experiences:
education:
education_level:
application_contacts:
publication_date: 2022-06-29T14:37:48
last_publication_date: 2022-08-31T23:59:59
removed: false
removed_date: null
source_type: VIA_PLATSBANKEN_DXA
timestamp: 1656506268545
application_deadline_short: 2022-08-31
publication_date_short: 2022-06-29
last_publication_date_short: 2022-08-31
