Postdoc in Verified, Distributed Data Stream Processing
Denne stilling er desværre ikke længere ledig.
Se alle ledige stillinger
København Ø
Department of Computer Science
Faculty of Science
University of Copenhagen
The postdoc position is part of the research project DISCOVER (Distributed Streaming Computations, Verified) funded by the Independent Research Fund Denmark (DFF).
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 position 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.
Applicants must hold a PhD in computer science or a closely related field. The ideal candidate is an experienced proof assistant user (e.g., of Isabelle), has some experience with reasoning about distributed systems or reasoning by coinduction, and is generally interested in formal methods, logic, and engineering correct software.
The postdoc’s main duty is to carry out research within the scope of DISCOVER and in close collaboration with other project participants. The post may also include performance of other duties, such as undergraduate student (co)supervision.
Further information on the Department can be found at https://di.ku.dk/english/. Inquiries about the position can be made to Dmitriy Traytel, [email protected].
The position is open from 1 January 2025or as soon as possible thereafter. The position will be filled for two years with a possible extension by another year.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Terms of employment
The position is covered by the Memorandum on Job Structure for Academic Staff.
Terms of appointment and payment accord to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State.
Negotiation for salary supplement is possible.
The application, in English, must be submitted electronically by clicking APPLY NOW below.
Please include
The deadline for applications is 31 October 2024, 23:59 CEST.
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.
You can read about the recruitment process at http://employment.ku.dk/faculty/recruitment-process/.
Interviews will be held in November 2024.
Kilde: Jobnet.dk
Faculty of Science
University of Copenhagen
The postdoc position is part of the research project DISCOVER (Distributed Streaming Computations, Verified) funded by the Independent Research Fund Denmark (DFF).
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 position 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.
Applicants must hold a PhD in computer science or a closely related field. The ideal candidate is an experienced proof assistant user (e.g., of Isabelle), has some experience with reasoning about distributed systems or reasoning by coinduction, and is generally interested in formal methods, logic, and engineering correct software.
The postdoc’s main duty is to carry out research within the scope of DISCOVER and in close collaboration with other project participants. The post may also include performance of other duties, such as undergraduate student (co)supervision.
Further information on the Department can be found at https://di.ku.dk/english/. Inquiries about the position can be made to Dmitriy Traytel, [email protected].
The position is open from 1 January 2025or as soon as possible thereafter. The position will be filled for two years with a possible extension by another year.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Terms of employment
The position is covered by the Memorandum on Job Structure for Academic Staff.
Terms of appointment and payment accord to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State.
Negotiation for salary supplement is possible.
The application, in English, must be submitted electronically by clicking APPLY NOW below.
Please include
- Cover letter with a brief motivation statement
- Curriculum vitae
- Diplomas (Bachelor, Master and PhD degree or equivalent)
- Complete publication list
- Separate reprints of 3 particularly relevant papers
The deadline for applications is 31 October 2024, 23:59 CEST.
After the expiry of the deadline for applications, the authorized recruitment manager selects applicants for assessment on the advice of the Interview Committee.
You can read about the recruitment process at http://employment.ku.dk/faculty/recruitment-process/.
Interviews will be held in November 2024.
Kilde: Jobnet.dk
Information og data
Denne ledige stilling har jobtypen "Forsker", og befinder sig i kategorien "Sundhed og forskning".
Arbejdsstedet er beliggende i København Ø.
Jobbet er oprettet på vores service den 2.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.
- Forsker
- København Ø
- Torsdag den 31. oktober 2024
Lignende jobs
-
Adjunkt/lektor til Nationalt Center for Erhvervspæ...
Vil du gerne bidrage til at styrke og udvikle landets erhvervsuddannelser? Og har du erfaring med undervisning, pædagogisk udvikling eller forskning på det pædagogiske område? Så er du måske vores .Få mere info- Forsker
- København N
-
Adjunkt/lektor med humanvidenskabelige kompetencer...
Brænder du for uddannelse af kommende sygeplejersker? Og har du lyst til at bidrage til at udvikle landets største sygeplejerskeuddannelse samt sygeplejerskeprofessionen? Så er du måske vores nye k..Få mere info- Forsker
- København N
-
Senior Researcher, NLP
This role will bring language technologies into users’ interactions with our world-class video management systems and build on our best-in-class video analytics, to explore new ways in which to pro..Få mere info- Forsker
- København
-
Postdoc in Game Theory and Environmental Economics
Få mere info- Forsker
- Frederiksberg
Statistik over udbudte jobs som forskere i København Ø
Herunder ser du udviklingen i udbudte forsker 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 forskere.
Se flere statistikker her:
Statistik over udbudte forskere i København Ø over tid
| Dato | Alle jobs som forskere |
|---|---|
| 22. december 2024 | 10 |
| 21. december 2024 | 10 |
| 20. december 2024 | 10 |
| 19. december 2024 | 10 |
| 18. december 2024 | 10 |
| 17. december 2024 | 10 |
| 16. december 2024 | 10 |
| 15. december 2024 | 10 |
| 14. december 2024 | 10 |
| 13. december 2024 | 10 |
| 12. december 2024 | 10 |
| 11. december 2024 | 10 |
| 10. december 2024 | 10 |
| 9. december 2024 | 10 |
| 8. december 2024 | 9 |
| 7. december 2024 | 9 |
| 6. december 2024 | 9 |
| 5. december 2024 | 9 |
| 4. december 2024 | 9 |
| 3. december 2024 | 9 |
| 2. december 2024 | 9 |
| 1. december 2024 | 11 |
| 30. november 2024 | 11 |
| 29. november 2024 | 11 |
| 28. november 2024 | 14 |
| 27. november 2024 | 14 |
| 26. november 2024 | 13 |
| 25. november 2024 | 14 |
| 24. november 2024 | 14 |
| 23. november 2024 | 14 |
| 22. november 2024 | 14 |