PhD position on algebraic techniques for risk analysis under uncertainty

University of Twente
June 24, 2024
Offerd Salary:€ 2.770
Working address:N/A
Contract Type:Other
Working Time:Full time
Working type:N/A
Ref info:N/A

Do you want to do research on the intersection of mathematics and computer science, using algebra to create fast and widely applicable algorithms? We have the following offer:

The challenge

The safety and security threats faced by high-tech systems are assessed via mathematical risk models. As systems grow more complex, so do risk models, and developing model checking algorithms for fast and rigorous risk analysis is an important subfield of computer science.

Two prominent models are fault trees (for safety) and attack trees (for security). For these, existing algorithms are fast, but require all parameters to be known exactly. This can be a problem as precise data can be hard to obtain, especially in cybersecurity.

The aim of this PhD project is to develop new risk analysis model checking methods that can handle various types of uncertainty, such as random variables and fuzzy numbers. These algorithms will be rooted in polynomial algebra; your challenge is to exploit this algebraic structure to create fast algorithms. To make these algorithms as widely applicable as possible, you will develop a general algebraic framework to express different types of uncertainty in different metrics.

You will:

  • You will perform daily PhD-level research
  • Publish results in scientific workshops, conference proceedings, and journals, and present these at (inter)national workshops and conferences.
  • Contribute to teaching activities related to your work
  • Be a part of an excellent and internationally renowned research group.
  • Your profile
  • You are proficient in English
  • You have, or will shortly acquire, a MSc in Mathematics or Computer Science
  • You have a thorough theoretical background, e.g. in formal methods
  • You have experience with at least one of the fields of algebra, model checking, uncertainty frameworks
  • You have excellent analytical and communication skills
  • Interested in teaching at university level
  • Our offer
  • As a PhD candidate at UT, you will be appointed to a full-time position for four years, with a qualifier in the first year, within a very stimulating and exciting scientific environment;
  • The University offers a dynamic ecosystem with enthusiastic colleagues;
  • Your salary and associated conditions are in accordance with the collective labour agreement for Dutch universities (CAO-NU);
  • You will receive a gross monthly salary ranging from € 2.770,- (first year) to € 3.539,- (fourth year);
  • There are excellent benefits including a holiday allowance of 8% of the gross annual salary, an end-of-year bonus of 8.3%, and a solid pension scheme;
  • A minimum of 232 leave hours in case of full-time employment based on a formal workweek of 38 hours. A full-time employment in practice means 40 hours a week, therefore resulting in 96 extra leave hours on an annual basis;
  • Free access to sports facilities on campus;
  • A family-friendly institution that offers parental leave (both paid and unpaid);
  • You will have a training programme as part of the Twente Graduate School where you and your supervisors will determine a plan for a suitable education and supervision;
  • We encourage a high degree of responsibility and independence, while collaborating with close colleagues, researchers and other staff.
  • Information and application

    Are you interested in this position? Please send your application via the 'Apply now' button below before June 24 , 2024, and include:

  • A cover letter (maximum 2 pages A4), emphasizing your specific interest, qualifications, motivations to apply for this position.
  • A Curriculum Vitae, including, if applicable, a list of publications and references.
  • A list of all courses with grades and a short description of your MSc thesis.
  • For more information regarding this position, you are welcome to contact Milan Lopuhaä-Zwakenberg ([email protected])

    About the department

    The formal methods & tools group. The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. Our central goal is to develop formal techniques and tools to support the development of complex systems, and increase the reliability of the high-tech systems that we all rely on, both as individuals and as society.

    Our group has an excellent scientific track record, performing high-quality research, leading to well-cited paper and prestigious grants and prizes.

    As a group, we care about a good working atmosphere, diversity and a good work-life balance. We particularly encourage women and people from minority groups to apply.

    About the organisation

    The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and Communication Technology (ICT). With ICT present in almost every device and product we use nowadays, we embrace our role as contributors to a broad range of societal activities and as pioneers of tomorrow's digital society. As part of a people-first tech university that aims to shape society, individuals and connections, our faculty works together intensively with industrial partners and researchers in the Netherlands and abroad, and conducts extensive research for external commissioning parties and funders. Our research has a high profile both in the Netherlands and internationally. It has been accommodated in three multidisciplinary UT research institutes: Mesa+ Institute, TechMed Centre and Digital Society Institute.

    Want to know more? Lopuhaä - Zwakenberg, M.A. (Milan)

    Assistant Professor

    Lopuhaä - Zwakenberg, M.A. (Milan)

    Assistant Professor

    Do you have questions about this vacancy? Then you can contact Milan for all substantive questions about this position and the application procedure. For general questions about working for the UT, please refer to the chatbot.



    Email:[email protected]

    How to apply Step 1

    Apply. When you see a vacancy that appeals to you, you can apply online. We ask you to upload a CV and motivation letter and/or list of publications. You will receive a confirmation of receipt by e-mail.

    Step 2

    Selection. The selection committee will review your application and you will receive a response within 2 weeks after the vacancy has been closed.

    Step 3

    1st interview. The 1st (online or in person) meeting serves as an introduction where we introduce ourselves to you and you to us. You may be asked to give a short presentation. This will be further explained in the invitation.

    Step 4

    2nd interview. In the second interview, we will further discuss the job content, your skills and your talents.

    Step 5

    The offer. If the conversations are positive, you will be made a suitable offer. If applicable, we will sign you up for screening.

    Your Colleagues Soltani, R. (Reza)

    Personal page

  • Stoelinga, M.I.A. (Mariëlle)
  • Personal page

  • Dang, T.K.N. (Nhung)
  • Personal page

  • Our mission Human Touch
  • At the UT it's all about people, in line with our university's High Tech Human Touch philosophy. In everything we do, the well-being and future of our students and staff are paramount. From research and teaching to personnel management, campus management and the use of new technologies.

  • Our mission We are a university of technology
  • Our university is a public institution that serves society. We are accountable to society for the ways in which we use our academic freedom. We are responsible for ensuring that the power of science and technology is harnessed to achieve the best possible impact in a changing world. We cherish our rich tradition of combining technical and social sciences in our five profiling themes: Improving healthcare by personalized technologies; Creating intelligent manufacturing systems; Shaping our world with smart materials; Engineering our digital society; and Engineering for a resilient world.

  • Our mission We help to strengthen society
  • We help society meet the challenges of today and tomorrow. But we are also transparent about what science and technology can and cannot do in finding sustainable solutions. And help translate these solutions into everyday life.

  • Our mission We are sustainable
  • We want our communities to flourish and show resilience, so we seize opportunities for innovation. We are knowledgeable and have an eye for what society needs. Our students and staff receive all the guidance they need in their quest for ecological, social and economic sustainability. “The University of Twente is all about people. Our sustainable technologies help to strengthen society.”

    Browse all jobs

    From this employer

    Recent blogs

    Recent news