Postdoc Position in Formal Methods for Software Security
5 dagen geleden
**Key takeaways**:
- Hours
- 40 hr.- Salary indication- Salary gross/monthly
based on full-time- € 4,060 - € 5,331- Deadline
- 24 Jan 2025
**Your profile**:
- You are a highly motivated and enthusiastic researcher, aspiring to do world-class research and have a real-world impact.
- You enjoy experimentation, have an affinity with tool development, and are a good programmer.
- You have a solid background in systems and software security and/or formal verification and have knowledge and skills in topics such as fuzzing, static analysis, program verification, and formal specifications.
- You are an independent and original thinker with a creative mindset and excellent analytical and communication skills.
- You are interested in learning how things work and how to make them better.
- You have great team spirit and like to work in an internationally oriented and interdisciplinary environment.
- You are fluent in English.
**Our offer**:
- You will be appointed full-time for one 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 € 4.060; to € 5.331 per month depending on experience and qualifications;
- 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 family-friendly institution that offers parental leave (both paid and unpaid);
- We encourage a high degree of responsibility and independence while collaborating with close colleagues, researchers, and other staff.
- A detailed Curriculum Vitae, including publications, academic awards, and your working experience
***:
**About the department**:
The SCS and FMT groups are part of the Computer Science department of the University of Twente. Each group consists of approximately 40 researchers with a very diverse background. The department has an open and inclusive atmosphere, and each group has many group activities (both work-related and fun).
Digitalization brings many new opportunities for businesses and governments by fostering the development of innovative online services. However, this development also brings new challenges, notably in terms of intelligence, interoperability, security and privacy. The mission of the SCS group is to realize the vision of meaningful computing within trusted digital environments by advancing the forefront of semantic modelling, enhancing cybersecurity, and innovating service design.
The mission of FMT is to develop mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software
- and data-intensive control systems. We focus on modelling, synthesis, analysis, prediction and maintenance of their functional, structural and quantitative aspects. We aim to understand the safety, reliability, performance, and energy usage of complex systems and the risks and costs associated with their architecture, design, operation and maintenance.
Both SCS and FMT are involved in the Twente University Centre for Cybersecurity Research (TUCCR). TUCCR is a public-private partnership where experts, professionals, entrepreneurs, researchers, and students from industry and knowledge partners collaborate to deliver talents, innovations, and know-how in the domain of cybersecurity. The mission of TUCCR is to strengthen the security and digital sovereignty of our society by performing top-level research on real-world data, systems, and network security challenges. To achieve significant societal impact, TUCCR combines technical, socio-economic, and ethical know-how and is equipped with state-of-the-art infrastructure, ranging from security labs, testbeds, and data lakes.
**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.
-
Phd Position On Model-driven Testing for
4 maanden geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 32 - 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 2,872 - € 3,670- - Deadline- 6 Oct 2024Nowadays so much new and complex software is being developed that there are by far not enough specialists to test this software properly. As a result, companies need more time/resources to develop software, and...
-
Postdoc positions on statistical theory for biological neural networks
6 maanden geleden
Enschede, Nederland University of Twente VoltijdThe statistics research group at the University of Twente invites applications for two postdoc positions (up to 3 years) and for one PhD (four 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...
-
Postdoc Position: Bridging The Dynamic Frictional
2 maanden geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 hr.- - Salary indication- Salary gross/monthly based on full-time - € 4,020 - € 5,278- - Deadline- 22 Nov 2024The post-doc position is part of the “FastSlip” project funded by the DeepNL programme of the Dutch Research Council (NWO). You will join a multidisciplinary team of leading experts in the fields of Granular...
-
Postdoctoral Position On Biomaterials for
3 maanden geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 4,020 - € 5,278- - Deadline- 15 Oct 2024Cardiovascular diseases are the primary causes of death and disability worldwide; especially Your role in this project will initially be to synthesize in-situ crosslinking hydrogels, with defined mechanical and...
-
Postdoc position on advanced inter-domain routing security
6 maanden geleden
Enschede, Nederland University of Twente VoltijdYou will conduct research that advances the security of the Internet’s routing system as part of the project “User-driven Path Verification and Control for Inter-domain Networks” (UPIN). The goal of UPIN is to develop and evaluate a scalable distributed system that enables users to cryptographically verify and easily control the paths through which...
-
PhD Candidate on Software Reliability for Critical Water Infrastructures
6 maanden geleden
Enschede, Nederland University of Twente VoltijdThe reliability of software systems in critical infrastructures is more crucial than ever in times of escalating climate change impacts. The STORM_SAFE project aims to advance software resilience in vital water structures like storm surge barriers. You will contribute by developing and implementing algorithms and tools that focus on quantitative...
-
Postdoc Position: Microstructure Estimation with
1 maand geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 38 - 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 4,020 - € 5,278- - Deadline- 30 Nov 2024The Chair of Nonlinear Solid Mechanics at the Faculty of Engineering Technology, has an opening for a postdoctoral position on the development of physics-based models to predict mechanical performance based on...
-
Postdoc On Human-centric Deployment Strategies for
3 maanden geleden
Enschede, Nederland Universiteit Twente Voltijd**Key takeaways**: - Hours- 40 hr.- - Salary indication- Salary gross/monthly based on full-time - € 4,020 - € 5,278- - Deadline- 20 Oct 2024To meet the increasing demand for both passenger and freight transportation, the European Flagship 2 - R2DATO rail research programme leverages digitalisation and automation to develop Next Generation Trains and...
-
Enschede, Nederland University of Twente VoltijdWe invite applications for two PhD positions, one with Prof. Claudia Filippi at the University of Twente and one with Dr. Remco Havenith at the University of Groningen in the Netherlands. We are looking for talented and highly motivated candidates to work on a collaborative project between the two groups on the combined development of advanced valence bond...
-
PhD position on statistical theory for biological neural networks
6 maanden geleden
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...
-
Postdoc position: Remaining grease life model for rolling bearings
6 maanden geleden
Enschede, Nederland University of Twente VoltijdThe goal of this 2-year project is to develop a model that makes it possible to determine the remaining grease life based on oil content, bleed properties, oxidation and rheology of grease samples taken from bearings that have been running in test rigs at SKF. This requires a thorough understanding of Elasto-Hydrodynamic Lubrication (EHL), thin film...
-
Research Scientist for Biological Neural Network Theory
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdThe University of Twente invites applications for postdoc positions and a PhD to work on generalizing statistical theory from artificial neural networks to biological neural networks.Company OverviewThe statistics research group at the University of Twente is part of an ERC consolidator grant, aiming to provide insights into how the brain learns and make AI...
-
Top Software Engineering Position for Grid Automation
3 weken geleden
Enschede, Overijssel, Nederland Alliander VoltijdWe are seeking a skilled Senior Software Engineer to join our agile development team at Grid to Great, a leading company in the energy transition. As part of our team, you will play a crucial role in developing innovative applications that provide insight and predictability based on real-time data.About AllianderAlliander is a dynamic and forward-thinking...
-
Enschede, Overijssel, Nederland University of Twente VoltijdUniversity of Twente and University of Groningen Collaborative PhD ProjectWe invite highly motivated candidates to apply for two PhD positions in theoretical quantum chemistry/physics at the University of Groningen.About the ProjectThe project focuses on developing and implementing advanced valence bond and quantum Monte Carlo methods for the study of...
-
PhD position in Constitutive Modelling for Press Forming Simulations
6 maanden geleden
Enschede, Nederland University of Twente VoltijdAs part of the National research program Aviation in Transition, the Production Technology group at the University of Twente has a PhD position on the modelling of the press forming process of thermoplastic composites. Thermoplastic composite materials are considered a prime candidate for the next generation of commercial aircraft. Compared to thermoset...
-
Expert in Multi-Sensory Positioning for Pavement Equipment
4 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdUniversity of Twente Research OpportunityThe University of Twente is seeking an EngD position candidate to develop a multi-sensory positioning system for pavement equipment. This innovative project aims to enhance the accuracy, reliability, and robustness of real-time paving monitoring systems.About the ProjectIn collaboration with the ASPARi research unit,...
-
Enschede, Overijssel, Nederland University of Twente VoltijdJob DescriptionThe University of Twente seeks a highly motivated researcher to contribute to the project "User-driven Path Verification and Control for Inter-domain Networks" (UPIN). The successful candidate will conduct research that advances the security of the Internet's routing system.As the technical coordinator of UPIN, you will report to the project...
-
Laboratory Method Development
6 maanden geleden
Enschede, Nederland Apollo Tyres Voltijd**Who we are** Apollo Tires is a tire manufacturer of Indian origin. Apollo is an ambitious and growing company with factories in India and Europe, as well as sales offices around the world. About 160 employees work at Global R&D in Enschede to develop new (car) tires for Apollo and Vredestein. There is also an office in Frankfurt (Raunheim) with...
-
Enschede, Nederland University of Twente VoltijdThe challenge Dutch construction firms need to extend warranty periods for asphalt roads, driving a push for better road quality. The ASPARi research unit, along with 10 contractors and Rijkswaterstaat, aims to develop technology-driven solutions for monitoring and enhancing asphalt construction. A challenge is the reliance on GPS, which has limitations...
-
PhD Position in Ethically Aligned Software Development
3 weken geleden
Enschede, Overijssel, Nederland University of Twente VoltijdUniversity of Twente">We are seeking a highly motivated PhD candidate to join our research team at the University of Twente. This position is focused on understanding and supporting professional learning for ethically responsible AI.Job Description:">This PhD position involves interdisciplinary research, combining science and practice, to understand how...
