PhD fellowship in Formal Verification
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
København Ø
PhD Project in Verified, Distributed Data Stream Processing
Department of Computer Science
Faculty of SCIENCE
University of Copenhagen
The Department of Computer Science invites applicants for a PhD fellowship in Formal Verification. The PhD project is part of the research project DISCOVER (Distributed Streaming Computations, Verified) funded by the Independent Research Fund Denmark (DFF).
Start date is (expected to be) 1 January 2025 or as soon as possible thereafter.
The project
Today’s software and hardware systems produce massive amounts of data. Stream processing frameworks are vital tools for software engineers and data scientists to tame this data. They provide convenient programming abstractions that allow their users to express the desired data analysis. From the expressed analysis, they generate a distributed program and deploy it on computing clusters, which enables the massively parallel processing of data. Apache Flink, Apache Spark, and Google Cloud Dataflow are examples of mature stream processing frameworks that are widely used in industry. For thousands of users these frameworks serve as both the programming language and the operating system. Yet, these systems exhibit unreliable and unpredictable behavior, which prohibits their use in scenarios that cannot tolerate errors such as data loss. The goal of the PhD project is to contribute to an ongoing formalization effort using the Isabelle proof assistant towards the first formally verified system for the analysis of big data.
Who are we looking for?
The ideal candidate for this position is an enthusiastic student with a strong background and interest in one or more of the following areas:
Candidates with a strong theoretical background in related areas are also encouraged to apply.
Our group and research- and what do we offer?
The PhD project will be hosted by the Software, Data, People & Society (SDPS) Section, which performs research in software, process, and data management systems. We focus in particular on methods for the development of trustworthy software systems that closely match the needs of developers, users, and society. More information on the section can be found online:
The University of Copenhagen was founded in 1479 and is the oldest and largest university in Denmark. It is often ranked as the best university in Scandinavia and consistently as one of the top places in Europe.
Principal supervisor isAssociate Professor Dmitriy Traytel, Department of Computer Science,
The PhD programme
Qualifications needed for the regular programme
To be eligible for the regular PhD programme, you must have completed a degree programme, equivalent to a Danish master’s degree (180 ECTS/3 FTE BSc + 120 ECTS/2 FTE MSc) related to the subject area of the project, e.g. Computer Science. For information of eligibility of completed programmes, see General assessments for specific countries and Assessment database.
Terms of employment in the regular programme
Employment as PhD fellow is full time and for maximum 3 years.
Employment is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and acceptance of an application for the specific project formulated by the applicant.
The terms of employment and salary are in accordance to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State (AC). The position is covered by the Protocol on Job Structure.
Responsibilities and tasks
We are looking for the following qualifications:
Application and Assessment Procedure
Your application including all attachments must be in English and submitted electronically by clicking APPLY NOW below.
Please include:
Application deadline: The deadline for applications is 31 October 2024, 23:59 CET.
We reserve the right not to consider material received after the deadline, and not to consider applications that do not live up to the abovementioned requirements.
The further process
After the deadline, a number of applicants will be selected for academic assessment by an unbiased expert assessor. You are notified, whether you will be passed for assessment.
The assessor will assess the qualifications and experience of the shortlisted applicants with respect to the above mentioned research area, techniques, skills and other requirements. The assessor will conclude whether each applicant is qualified and, if so, for which of the two models. The assessed applicants will have the opportunity to comment on their assessment. You can read about the recruitment process at
Interviews with selected candidates are expected to be held in weeks 48 (November 25—November 29).
Questions
For specific information about the PhD fellowship, please contact the principal supervisor.
General information about PhD study at the Faculty of SCIENCE is available at the PhD School’s website:
The University of Copenhagen wishes to reflect the surrounding community and invites all regardless of personal background to apply for the position.
Kilde:
Department of Computer Science
Faculty of SCIENCE
University of Copenhagen
The Department of Computer Science invites applicants for a PhD fellowship in Formal Verification. The PhD project is part of the research project DISCOVER (Distributed Streaming Computations, Verified) funded by the Independent Research Fund Denmark (DFF).
Start date is (expected to be) 1 January 2025 or as soon as possible thereafter.
The project
Today’s software and hardware systems produce massive amounts of data. Stream processing frameworks are vital tools for software engineers and data scientists to tame this data. They provide convenient programming abstractions that allow their users to express the desired data analysis. From the expressed analysis, they generate a distributed program and deploy it on computing clusters, which enables the massively parallel processing of data. Apache Flink, Apache Spark, and Google Cloud Dataflow are examples of mature stream processing frameworks that are widely used in industry. For thousands of users these frameworks serve as both the programming language and the operating system. Yet, these systems exhibit unreliable and unpredictable behavior, which prohibits their use in scenarios that cannot tolerate errors such as data loss. The goal of the PhD project is to contribute to an ongoing formalization effort using the Isabelle proof assistant towards the first formally verified system for the analysis of big data.
Who are we looking for?
The ideal candidate for this position is an enthusiastic student with a strong background and interest in one or more of the following areas:
- formal methods, specifically interactive theorem proving,
- data stream processing
- distributed systems
Candidates with a strong theoretical background in related areas are also encouraged to apply.
Our group and research- and what do we offer?
The PhD project will be hosted by the Software, Data, People & Society (SDPS) Section, which performs research in software, process, and data management systems. We focus in particular on methods for the development of trustworthy software systems that closely match the needs of developers, users, and society. More information on the section can be found online:
The University of Copenhagen was founded in 1479 and is the oldest and largest university in Denmark. It is often ranked as the best university in Scandinavia and consistently as one of the top places in Europe.
Principal supervisor isAssociate Professor Dmitriy Traytel, Department of Computer Science,
The PhD programme
Qualifications needed for the regular programme
To be eligible for the regular PhD programme, you must have completed a degree programme, equivalent to a Danish master’s degree (180 ECTS/3 FTE BSc + 120 ECTS/2 FTE MSc) related to the subject area of the project, e.g. Computer Science. For information of eligibility of completed programmes, see General assessments for specific countries and Assessment database.
Terms of employment in the regular programme
Employment as PhD fellow is full time and for maximum 3 years.
Employment is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and acceptance of an application for the specific project formulated by the applicant.
The terms of employment and salary are in accordance to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State (AC). The position is covered by the Protocol on Job Structure.
Responsibilities and tasks
- Carry through an independent research project under supervision
- Complete PhD courses corresponding to approx. 30 ECTS / ½ FTE
- Participate in active research environments, including a stay at another research institution, preferably abroad
- Teaching and knowledge dissemination activities
- Write scientific papers aimed at high-impact conferences and journals
- Write and defend a PhD thesis on the basis of your project
We are looking for the following qualifications:
- Professional qualifications relevant to the PhD project
- Relevant publications
- Relevant work experience
- Other relevant professional activities
- Curious mind-set with a strong interest in Formal Verification and Distributed Systems
- Good language skills
Application and Assessment Procedure
Your application including all attachments must be in English and submitted electronically by clicking APPLY NOW below.
Please include:
- Cover letter (max. one page), detailing your motivation and background for applying for the specific PhD project.
- Curriculum vitae including information about your education, experience, language skills and other skills relevant for the position
- Original diplomas for Bachelor of Science and Master of Science and transcript of records in the original language, including an authorized English translation if issued in another language than English or Danish. If not completed, a certified/signed copy of a recent transcript of records or a written statement from the institution or supervisor is accepted.
- MSc thesis or similar document authored by the applicant
- Publication list (if available)
- Reference letters (if available)
Application deadline: The deadline for applications is 31 October 2024, 23:59 CET.
We reserve the right not to consider material received after the deadline, and not to consider applications that do not live up to the abovementioned requirements.
The further process
After the deadline, a number of applicants will be selected for academic assessment by an unbiased expert assessor. You are notified, whether you will be passed for assessment.
The assessor will assess the qualifications and experience of the shortlisted applicants with respect to the above mentioned research area, techniques, skills and other requirements. The assessor will conclude whether each applicant is qualified and, if so, for which of the two models. The assessed applicants will have the opportunity to comment on their assessment. You can read about the recruitment process at
Interviews with selected candidates are expected to be held in weeks 48 (November 25—November 29).
Questions
For specific information about the PhD fellowship, please contact the principal supervisor.
General information about PhD study at the Faculty of SCIENCE is available at the PhD School’s website:
The University of Copenhagen wishes to reflect the surrounding community and invites all regardless of personal background to apply for the position.
Kilde:
Information og data
Denne ledige stilling har jobtypen "Øvrige", og befinder sig i kategorien "Øvrige stillinger".
Arbejdsstedet er beliggende i København Ø.
Jobbet er oprettet på vores service den 10.10.2024, men kan have været deaktiveret og genaktiveret igen.
Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
- 26.10.2024
- Øvrige
- København Ø
- Torsdag den 31. oktober 2024
Lignende jobs
-
Senior Associates og Managers til Transaction Advi...
Fri kontaktSenior Associates og Managere til Transaction Advisory Service i København. Vi mærker en stigende efterspørgsel efter rådgivning i forbindelse med køb og salg af virksomheder, herunder finansiel due diligence. Derfor søger vi Senior Associates og Managere til vores TAS team på Østerbro.Få mere info- Øvrige
- København Ø
-
Breakfast Manager, fuldtid, Scandic Webers
Fri kontaktEr du ambitiøs, målrettet og ikke bange for at rydde vanetænkning af bordet, så tror vi på, at du er vores nye Breakfast Manager på Scandic Webers. Vi ved, at du ta’r ansvar og har ro i maven med det fulde overblik. Du er god til at organisere, købe ind, lede og dele din viden.Få mere info- Øvrige
- København
-
Erfaren konsulent med politisk tæft til SMV & Ivær...
Fri kontaktLeder du efter et sted, hvor du kan få en vigtig rolle med politikudvikling, kommunikation og politisk interessevaretagelse inden for erhvervspolitik? Så har vi jobbet her i teamet for ’SMV & Iværksætteri’. SMV’er og iværksættere udgør rygraden af dansk erhvervsliv. Deres succes er Danmarks succes.Få mere info- Øvrige
- København V
Statistik over udbudte jobs som øvrige i København Ø
Herunder ser du udviklingen i udbudte øvrige i København Ø over tid. Bemærk at jobs der ikke har en bestemt geografi ikke er medtaget i tabellen. I den første kolonne ser du datoen. I den næste kolonne ser du det samlede antal øvrige.
Se flere statistikker her:
Statistik over udbudte øvrige i København Ø over tid
| Dato | Alle jobs som øvrige |
|---|---|
| 21. november 2024 | 57 |
| 20. november 2024 | 56 |
| 19. november 2024 | 59 |
| 18. november 2024 | 58 |
| 17. november 2024 | 59 |
| 16. november 2024 | 61 |
| 15. november 2024 | 58 |
| 14. november 2024 | 54 |
| 13. november 2024 | 50 |
| 12. november 2024 | 48 |
| 11. november 2024 | 48 |
| 10. november 2024 | 50 |
| 9. november 2024 | 51 |
| 8. november 2024 | 52 |
| 7. november 2024 | 51 |
| 6. november 2024 | 55 |
| 5. november 2024 | 52 |
| 4. november 2024 | 49 |
| 3. november 2024 | 49 |
| 2. november 2024 | 52 |
| 1. november 2024 | 50 |
| 31. oktober 2024 | 55 |
| 30. oktober 2024 | 53 |
| 29. oktober 2024 | 53 |
| 28. oktober 2024 | 53 |
| 27. oktober 2024 | 62 |
| 26. oktober 2024 | 61 |
| 25. oktober 2024 | 46 |
| 24. oktober 2024 | 60 |
| 23. oktober 2024 | 59 |
| 22. oktober 2024 | 57 |