Vacancies to do PhD in Computer science, Mathematics, Business Process toward the project ‘distributed business process execution engines’, at the IT University of Copenhagen, Denmark
Deadline to Apply
May 01, 2021 (23: 59 GMT +1)
|No. of Position(s)||One|
|Research Area||– Computer science|
– Security and Cryptography
– Business process modelling
|Scholarship||According to Standard Norms|
|Workplace||IT University of Copenhagen|
|Contract Period||3 Years|
Candidates should have an MSc (or equivalent)
The successful applicant will have a strong background in computer science or mathematics and with:
- an emphasis on security protocols
- programming language theory
- formal models of business processes and/or concurrency
- modal logics
- probability theory
- game theory
Previous research experience in security and cryptography, concurrency theory, or business process modelling is an advantage.
Moreover, the successful candidate should be motivated and enthusiastic about both theoretical research and applications of formal methods.
Companies collaborate, even when they have conflicting interests. Collaborations are described by legal contracts, and when a collaboration fails—when a party fails to uphold its part of the contract—that failure is resolved in court. Just the potential for such failures makes safeguards and contingency plans necessary, inflicting cost, friction, and lost time at every level, from minute implementation details of IT systems to sweeping strategic decisions by top-level management.
Collaborations are implemented by computer systems, which both facilitate communication and automatically execute steps of the collaboration: distributed business process execution engines. These engines are implemented as commercial products or using commercial software libraries. They are used in one form or other by the majority of large organizations.
The research in the DISTRUST project will provide a prototype scalable implementation of distributed business process execution under partial trust. We will achieve this goal in two phases:
First, we formalize the exact partial trust required by extending existing formalisms for specifying executable business process models using techniques from the study of logic, of business process modelling, and of game theory.
Then, using this formalization, we selectively pick integrity-protection mechanisms commensurate with the level of trust required: covert adversary cryptographic protocols, trusted hardware, or equivalent retaliation.
How to Apply?
The application, in English, must be submitted electronically by clicking APPLY ONLINE button mentioned above.
The application must be in English and must include:
- A cover letter;
- A statement of purpose, which provides evidence of independent thinking, novelty and originality, and a state of the art grasp of the targeted research field matching the project description above;
- Documentation of academic degree(s); grade transcripts that documents outstanding academic achievement;
- Curriculum Vitae, which must include two professional/academic references;
- Applications may also include a relevant scientific publication written by the applicant, or the applicants master thesis. Letters of recommendation can also be included in the application
Applications without the above-mentioned required documents will not be assessed.
Appointment and salary will be in accordance with the Ministry of Finance’s agreement with the Danish Confederation of Professional Associations (AC).
Associate Professor, Søren Debois
IT University of Copenhagen
- DTU PhD position in Wind Energy, Denmark
- PhD Position in Robotics, Engineering – Aalborg, Denmark
- PhD Position in Information Technology, Electrical Engineering – SDU, Denmark
- PhD position with Scholarship in Environmental engineering, Marine ecology, Geography, Statistics
- 2 PhD Positions with stipends in Computer Science, Denmark
Post expires at 8:59am on Sunday May 2nd, 2021 (GMT+9)