Phd Position On Algebraic Techniques for Risk
1 week geleden
**Key takeaways**:
- Hours- 40 hr.-
- Salary indicationSalary gross/monthly
based on full-time
- € 2,770 - € 3,539-
- Deadline- 24 Jun 2024Do 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**:
- 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.
- 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.
***:
**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 multidis
-
Phd Position On Innovative Metrology Techniques for
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 30 May 2024We are looking for a PhD-student to strengthen our highly motivated and multidisciplinary research team, who will work on the monitoring and sensing of the fundamental physical phenomena occurring during...
-
PhD position on Radio Systems
2 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdJob Title: PhD Candidate in Radio Systems for Future 6G Networks at the University of TwenteThe Radio Systems (RS) group at the University of Twente (UT) is seeking a passionate PhD candidate to define the system-level requirements for joint communication and sensing (JCAS) in future 6G networks. This opportunity is part of Program Line 1 (Intelligent...
-
PhD position on Radio Systems
2 maanden geleden
Enschede, Nederland University of Twente VoltijdThe Radio Systems (RS) group of the University of Twente (UT) has a vacancy for a PhD candidate with the aim to define the system-level requirements for joint communication and sensing (JCAS) for future 6G networks . This position is embedded in Program Line 1 (Intelligent Components), within the framework of the Dutch national growth fund for FNS (Future...
-
PhD position on Radio Systems
4 weken geleden
Enschede, Nederland University of Twente VoltijdThe Radio Systems (RS) group of the University of Twente (UT) has a vacancy for a PhD candidate with the aim to define the system-level requirements for joint communication and sensing (JCAS) for future 6G networks . This position is embedded in Program Line 1 (Intelligent Components), within the framework of the Dutch national growth fund for FNS (Future...
-
Phd Position in “game-based Approaches for
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 9 Jun 2024The hypothesis that underlies this PhD position is that these and other questions are underdeveloped, both from a scientific point of view and towards practical implementation of measures set to build local drought...
-
Phd Position On Human Cardiovascular in Vitro
4 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 31 May 2024Cardiovascular disease is a leading cause of disabling morbidity and mortality. Our mission at the University of Twente is to assess and optimize innovative medical therapies that can elicit favorable effects in...
-
Phd Position On Knowledge Representation
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 5 Jul 2024This **fully-funded, 4-year PhD research position** is part of the project "Don't Forget the Forgotten! Towards a Platform-Based Approach for Sustainable Employment of Workers with a Disability". This project, funded...
-
Phd Position in "game-based Approaches for
2 weken geleden
Enschede, Overijssel, Nederland Universiteit Twente VoltijdKey takeaways: Hours 38 hr. Salary indicationSalary gross/monthlybased on full-time- € 2,770 - € 3,539 Deadline 9 Jun 2024The hypothesis that underlies this PhD position is that these and other questions are underdeveloped, both from a scientific point of view and towards practical implementation of measures set to build local drought resilience, and...
-
Phd Position On Knowledge Representation
2 weken geleden
Enschede, Overijssel, Nederland Universiteit Twente VoltijdKey takeaways: Hours 40 hr. Salary indicationSalary gross/monthlybased on full-time- € 2,770 - € 3,539 Deadline 5 Jul 2024This fullyfunded, 4year PhD research position is part of the project "Don't Forget the Forgotten Towards a Platform-Based Approach for Sustainable Employment of Workers with a Disability". This project, funded by the Dutch Research...
-
Enschede, Overijssel, Nederland University of Twente VoltijdIn this project, we are enhancing existing capabilities to monitor multimodal corridors by providing platform functionality and supporting work practices to transition towards resilient and climate-adaptive synchromodal corridors. Developing such a platform requires collaborative efforts to share data (such as geo-hydrological, IoT, weather, planning,...
-
Enschede, Nederland University of Twente VoltijdThe statistics research group at the University of Twente invites applications for one PhD (four years) and two postdoc positions (up to 3 years). These positions are part of an ERC consolidator grant. The aim of the research program is to generalize the recent statistical theory from artificial neural networks to biological neural networks. While deep...
-
Enschede, Nederland University of Twente VoltijdThe statistics research group at the University of Twente invites applications for one PhD (four years) and two postdoc positions (up to 3 years). These positions are part of an ERC consolidator grant. The aim of the research program is to generalize the recent statistical theory from artificial neural networks to biological neural networks. While deep...
-
Enschede, Overijssel, Nederland University of Twente VoltijdThe statistics research group at the University of Twente is looking for candidates to join their team. They have openings for **one PhD** (four years) and **two postdoc positions** (up to 3 years) as part of an ERC consolidator grant focusing on generalizing statistical theory from artificial to biological neural networks. This project aims to provide...
-
Enschede, Nederland University of Twente VoltijdAs part of the innovative MICRO-HS project, we are offering an exciting Ph.D. position that will delve into the forefront of research in thermal engineering and materials science. Join our interdisciplinary team and take on the challenge of pushing the boundaries of heat storage technology for shaping a sustainable future. Job description This positions...
-
Enschede, Nederland University of Twente VoltijdAs part of the innovative MICRO-HS project, we are offering an exciting Ph.D. position that will delve into the forefront of research in thermal engineering and materials science. Join our interdisciplinary team and take on the challenge of pushing the boundaries of heat storage technology for shaping a sustainable future. Job description This positions...
-
Phd Position Platform Cooperatives for The
4 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 5 Jul 2024This **fully-funded, 4-year PhD research position** is part of the project "Don't Forget the Forgotten! Towards a Platform-Based Approach for Sustainable Employment of Workers with a Disability". This project,...
-
Phd Candidate On Laser-assisted Manipulation for
3 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 2,770 - € 3,539- - Deadline- 7 Jul 2024**The Background** Coupling light from optical fibres to integrated waveguides, as well as coupling light from optical chip to optical chip, is a challenge in the mass-production of photonic integrated circuitry....
-
Postdoc Position On “electrochemical Conversion
2 weken geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indicationSalary gross/monthly based on full-time - € 3,877 - € 5,090- - Deadline- 15 Jul 2024Are you passionate about electrochemical conversion processes and carbon circularity? We offer a challenging postdoc position in the PCS group in the Department of Chemical Engineering at the University of Twente...
-
Enschede, Nederland University of Twente VoltijdThe Power Electronics and Electromagnetic Compatibility Group within the department Electrical Engineering has a vacancy for a Ph.D. researcher on Effective aperture of openings of systems in reverberant environments within the EU Horizon 2020 Marie Skiodowska-Curie Project NEPIT - Network for Evaluation of Propagation and Interference Training. This...
-
Enschede, Nederland University of Twente VoltijdThe Power Electronics and Electromagnetic Compatibility Group within the department Electrical Engineering has a vacancy for a Ph.D. researcher on Effective aperture of openings of systems in reverberant environments within the EU Horizon 2020 Marie Skiodowska-Curie Project NEPIT - Network for Evaluation of Propagation and Interference Training. This...
