Generate a tailored SOP for Dr. Jeroen Keiren. Improve your application with a focused, well-structured draft.
Jeroen Keiren is an assistant professor at the Formal System Analysis group at Eindhoven University of Technology (TU/e). His research interests lie in the development of formal methods for the design and application of correct and reliable software and hardware systems. A common theme of his research is reducing the structures generated by model checking, for example, using bisimulation methods. His specific areas of expertise include explicit state model checking, parity games, and timed systems, focusing on ensuring that safety-critical software meets its requirements verifiably.
Vrije Universiteit • Amsterdam
Research position in formal methods.
Open Universiteit •
Teaching and research in computer science.
Digital Security group • Radboud University, Nijmegen
Collaborative research on security methods.
Embedded Software group • TU Delft
Conducting lectures in embedded systems.
Eindhoven University of Technology •
Research and teaching in formal system analysis.
Specific departments like Industrial Design require a portfolio. Programs like Data Science and AI require a GRE-General test for certain international backgrounds.