19 beste vacatures voor de functie van working student engineering in delft (nieuwe medewerkers gezocht)

Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security
Universiteit Leiden —Leiden
- € 3.546 - € 5.538 per maand
- Doctor
- Onderzoek
- Master
- Werk vanuit huis
PhD Position on Effective Chemical Barriers against Rising Damp
TU Delft —Delft
- € 3.059 - € 3.881 per maand
- Online sollicitatie
- Laboratorium
- Doctor
- Engineering
PhD Position MRI Flow Measurements in Inertial Dense Suspensions
TU Delft —Delft
- € 3.204 - € 4.051 per maand
- Parttime
- Doctor
- Engels
- Onderzoek
- Flexibele werkuren
5 dagen
PhD Position Cognitive Guidance in XR to Improve Independent Mobility for People with Disabilities
TU Delft —Delft
- € 3.204 - € 4.051 per maand
- Parttime
- Doctor
- Onderzoek
- Master
- Flexibele werkuren
Postdoc Integrated Sensor and Readout ICs for Robotics Smart Skin
TU Delft —Delft
- € 3.706 - € 5.760 per maand
- Online sollicitatie
- Microsoft Powerpoint
- Doctor
- Engels
- Budget voor professionele ontwikkeling
10 dagen
Postdoc in Tsunami Engineering
TU Delft —Delft
- € 3.706 - € 5.760 per maand
- Online sollicitatie
- Doctor
- Engels
- Analytisch vermogen
- Budget voor professionele ontwikkeling
Assistant/Associate Professor Advanced Packaging and Heterogeneous Integration
TU Delft —Delft
- € 4.728 - € 7.904 per maand
- Online sollicitatie
- Doctor
- Engels
- Master
- Flexibele werkuren
AI Automation & Agent Builder Internship
Monday Merch —Rotterdam
- SQL
- JavaScript
- Stage
Snel solliciteren
Cross-Functional Internship
Paebbl —Rotterdam
- Parttime
- Engels
- Master
- Bachelor
11 dagen
PhD Position Scale-up of Energy Storage via Sorption-Enhanced CO2 Conversion to Fuel/Chemicals
TU Delft —Delft
- € 3.204 - € 4.051 per maand
- Parttime
- Doctor
- Engels
- Master
- Flexibele werkuren
12 uur
Senior Research Software Engineer for Digital systems for sustainability science
Universiteit Leiden —Leiden
- € 3.546 - € 5.538 per maand
- Fulltime
- Hybride werken
- Doctor
- Informatica
- Onderzoek
Product Manager - Platform & Internal Ops
HousingAnywhere Group —Rotterdam
- € 69.600 - € 97.400 per jaar
- Hybride werken
- Engels
- Analytisch vermogen
- Productmanagement
- Taaltraining aangeboden
- Budget voor professionele ontwikkeling
Snel solliciteren
10 dagen
Postdoc position at the Leiden Institute of Physics (LION)
Universiteit Leiden —Leiden
- € 3.546 - € 5.538 per maand
- Fulltime
- Doctor
- Engels
- Master
- Flexibele werkuren
Postdoc in Theoretical Quantum Physics | Quantum Sensing and Tests of Fundamental Physics
TU Delft —Delft
- € 3.706 - € 5.760 per maand
- Online sollicitatie
- Doctor
- Engels
- Master
PhD position in modeling the mechanical regulation of plant development and regeneration (1.0 FTE)
Universiteit Leiden —Leiden
- € 3.204 - € 4.051 per maand
- Fulltime
- Doctor
- Schrijfvaardigheden
- Engels
- Flexibele werkuren
Commercial Data & AI Lead
Schuberg Philis —Rotterdam
- Parttime
- Verkoopervaring
- Presentatievaardigheden
- AI
PhD Position Magnetic Microscopy of Magnets and Superconductors with Spins in Diamond
TU Delft —Delft
- € 3.204 - € 4.051 per maand
- Online sollicitatie
- Doctor
- Master
- Bachelor
14 dagen
Senior Product Designer
HousingAnywhere Group —Rotterdam
- € 69.600 - € 83.500 per jaar
- Hybride werken
- Engels
- ICT
- Taaltraining aangeboden
- Budget voor professionele ontwikkeling
Snel solliciteren
10 dagen
ILS Training & Training Support Engineer
Destinus —Katwijk aan Zee
- Hybride werken
- Engels
- Analytisch vermogen
- Bachelor
Snel solliciteren

Other jobs to consider

Find your next job by exploring related positions.

Marketing and Communications Intern
Dutch Marine Energy Centre (DMEC) —Den Haag
Are you a third or fourth year student based in the Netherlands, looking to gain experience in marketing and communication, and are available for at least 6…
€ 650 per maand
Snel solliciteren
12 dagen
Stage of afstuderen bij Xuntos
Xuntos —Den Haag
UX design, frontend, backend, full-stack of een eigen project bedenken waar alle facetten van software ontwikkeling voorbij komt.

Ik wil de nieuwste vacature-alerts ontvangen voor de functie van working student engineering in delft

Door in te loggen op je account, ga je akkoord met de Algemene voorwaarden van SimplyHired en stem je in met ons Cookie- en Privacybeleid.

Zoek vacatures in meer locaties

working student engineering jobs near delft

Vacatures voor Product Manager in Rotterdam

Vacatures voor Engineer in Delft

Vacatures voor Data Engineer in Amsterdam

Vacatures voor Data Engineer in Limburg

Vacatures voor Verpleegkundig Specialist in Breda

Vacatures voor Inventory Control Specialist in Amsterdam

Vacatures voor Verpleegkundig Specialist in Deventer

Vacatures voor Procurement Manager in Rotterdam

Vacatures voor Communicatie Event Manager in Limburg

Vacatures voor Product Manager in Den Bosch

Vacatures voor Junior Product Manager in Amsterdam

Vacatures voor Product Manager in Alkmaar

Vacatures voor Product Manager in Zuid Holland

Vacatures voor Product Manager in Zoetermeer

Vacatures voor Software Engineer in Den Haag

Vacatures voor Product Designer in Eindhoven

Vacatures voor Senior Product Designer in Amsterdam

Vacatures voor Project Engineer in Eindhoven

Vacatures voor Community Builder in Amsterdam

Vacatures voor Community Builder in Breda

Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security

Universiteit Leiden -
Leiden

Nu solliciteren

Vacaturegegevens

€ 3.546 - € 5.538 per maand

Secundaire arbeidsvoorwaarden

Pensioen
Werk vanuit huis
Sabbatical
Bedrijfslaptop

Kwalificaties

Doctor
Onderzoek
Master
Bachelor
Softwareontwikkeling
Veiligheid

Volledige vacaturetekst

Job requisition Id: 16630

Job type: Academic staff

Contract hours min: 38

Contract hours max: 38

Location: Leiden

Applying is possible until: 31 August 2026

Teaser Text

Applications are invited for a fully funded three-year postdoctoral position aimed at the intersection of theoretical computer science, computer systems, and security. The topic of the research will be centered on applying techniques from automata theory and programming language semantics within program similarity detection, with applications to recurrent vulnerability detection, as well as optimizing compilers, with a focus on code specialization and abstraction. This is a unique position that involves skills both in theory and software implementation.

In more detail, programming language theory commonly uses automata to describe the behavior of a program from an operational point of view; in systems, control flow graphs can be seen as a different approach to the same principle, used to reason about (among other matters) compiler optimization. In this project, we will investigate theoretical methods to represent control flow graphs as automata and subsequently apply these novel methods in the domains of computer systems as well as security. Within computer systems, we wish to investigate more relaxed implementations of function merging based on bisimulation. In security, we will use these theoretical foundations to develop code equivalence and similarity detection methods, possibly using SMT-based techniques.

Key publications:

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi; https://doi.org/10.1007/978-3-032-22723-2_14
CF-GKAT: Efficient Validation of Control-Flow Transformations. Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus; https://doi.org/10.1145/3704857
Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub . Jafar Akhoundali, Hamidreza Hamidi, Kristian F. D. Rietveld, and Olga Gadyatskaya; https://doi.org/10.1145/3708821.3736220
Function Merging by Sequence Alignment . Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather; https://doi.org/10.1109/CGO.2019.8661174

What you will do

Develop theory aimed at applying concepts around bisimilarity to control flow graphs, with an eye towards applications in compiler engineering and security;
Design algorithms to put this theory to work for its intended application, along with the necessary optimizations to achieve a feasible runtime;
Implement and benchmark those algorithms, to develop push-button solutions that can be applied to real-world source and binary code today;
Publish your research findings in top-tier conferences, and present your work at conferences, contributing to the scientific community's body of knowledge;
Get involved with LIACS as a whole, for instance by co-supervising student theses, taking place in committees, or assisting in teaching – the exact responsibilities here depend on your preferences.

You will be a member of both the Theory and Systems & Security clusters at LIACS, and supervised by Tobias Kappé (Theory), Kristian Rietveld and Olga Gadyatskaya (both Systems & Security).

Where you will work

The Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. It is a faculty where personal and academic development are top priorities. Our people are committed to expand fundamental knowledge by curiosity and to look beyond the borders of their own discipline; their aim is to benefit science, and to contribute to addressing the major societal challenges of the future. The research carried out at the Faculty of Science is very diverse, ranging from mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organised in eight institutes. These institutes offer eight bachelor’s and twelve master’s programmes. The faculty has grown strongly in recent years and now has more than 2.300 staff and almost 5,000 students. We are located at the heart of Leiden’s Bio Science Park, one of Europe’s biggest science parks, where university and business life come together. For more information, see www.universiteitleiden.nl/en/science and http://workingat.leiden.edu/
The Leiden Institute of Advanced Computer Science ( LIACS ) is the Artificial Intelligence and Computer Science Institute in the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in Artificial Intelligence, Computer Science, ICT in Business, Media Technology, and Bioinformatics. According to an independent research visitation, we are one of the foremost computer science departments of the Netherlands. We strive for excellence in a caring institute, where excellence, fun, and diversity go hand in hand. We offer a clear and inviting career path to young and talented scientists with the ambition to grow. For more information about LIACS, see http://www.cs.leiden.edu

What you bring

We are looking for candidates who fit the following criteria.

In possession of a PhD or are in the last stretch of their PhD program;
Have published work in either theoretical topics (such as automata theory, decision procedures, programming language semantics, verification) or systems and security (e.g., automated vulnerability detection, compilers);
Curious to develop their theory-oriented expertise with research applied to systems and security, or vice versa, add more theory-oriented skills to a portfolio centered around systems or security research;
Having experience developing and optimizing non-trivial software projects; experience using LLVM and/or AST libraries is preferred;
Would enjoy developing and benchmarking proof-of-concept implementations of new algorithms and methodologies developed over the course of the research;
Eager to aim for publication at top-tier conferences such as CCS, USENIX Security, CAV, and PLDI;
Available to start quickly; the preferred starting date is September 1, 2026, or as soon as possible thereafter.

What we offer

An employment contract for a duration of one year. After a positive evaluation of the progress of the research, personal capabilities and compatibility, the appointment will be extended by two more years;
Salary ranges from €3.546,- to €5.538,- gross per month (38 hours, pay scale 10) in accordance with the Collective Labour Agreement for Dutch Universities and will be commensurate with the candidate’s level of experience;
Leiden University offers an attractive benefit package with additional holiday allowance (8%), end-of-year bonuses (8.3 %), a pension scheme at ABP, training and career development and sabbatical leave. Our individual choices model provides you with flexibility to assemble your own set of terms and conditions;
The option of working from home one day a week;
A work-from-home allowance (day and internet allowance) and attention to good workplaces (the university will also provide you with a laptop);
Funding to attend conferences where work will be published;
A collegial work environment within a growing research institute;
A possibility to further enhance academic career opportunities by, for example, developing relevant skills in student supervision (from BSc to PhD), teaching (including pursuing a BKO), or research project acquisition and management.

What we value

Promoting an inclusive community is central to Leiden University’s values and vision. We strive to be an open community in which all students and staff members feel valued and respected, and are able to fully develop themselves. We consider an inclusive academic environment, where students and staff can share their experiences and viewpoints, to be essential for the development of talent.

Want to apply or find out more?

If you have questions about this position, please contact Dr. Tobias Kappé ( [email protected] ), Dr. Kristian Rietveld ( [email protected] ) or Dr. Olga Gadyatskaya ( [email protected] ). If you have questions about the procedure you can send an email to: [email protected]

Are you interested in this vacancy? Please submit your application online. Please ensure that you upload the following additional documents in English:

A letter touching on all of the following topics:
- your motivation to apply to this position in particular
- prior research experience in theory, systems or security; and
- your experience in research-centered software development.
A short curriculum vitae;
A list of your publications;
Names and contact details of at least two academic references.

Please note: We are seeking to find the right colleague as soon as possible, so applications will be evaluated as they arrive. If you are interested in this position, we encourage you to apply at your earliest convenience.

The preferred starting date is September 1, 2026 (negotiable) . This vacancy will automatically close on August 31, 2026 .

Information at a Glance

Faculty / Unit: The Faculty of Science

Contact with (Name + position): Dr. Tobias Kappé

Contact Email address: [email protected]

Nu solliciteren

Verfijn je zoekopdracht

working student engineering vacatures in delft

Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security

PhD Position on Effective Chemical Barriers against Rising Damp

PhD Position MRI Flow Measurements in Inertial Dense Suspensions

PhD Position Cognitive Guidance in XR to Improve Independent Mobility for People with Disabilities

Postdoc Integrated Sensor and Readout ICs for Robotics Smart Skin

Postdoc in Tsunami Engineering

Assistant/Associate Professor Advanced Packaging and Heterogeneous Integration

AI Automation & Agent Builder Internship

Cross-Functional Internship

PhD Position Scale-up of Energy Storage via Sorption-Enhanced CO2 Conversion to Fuel/Chemicals

Senior Research Software Engineer for Digital systems for sustainability science

Product Manager - Platform & Internal Ops

Postdoc position at the Leiden Institute of Physics (LION)

Postdoc in Theoretical Quantum Physics | Quantum Sensing and Tests of Fundamental Physics

PhD position in modeling the mechanical regulation of plant development and regeneration (1.0 FTE)

Commercial Data & AI Lead

PhD Position Magnetic Microscopy of Magnets and Superconductors with Spins in Diamond

Senior Product Designer

ILS Training & Training Support Engineer