The Theory group at Leiden Institute of Advanced Computer Science (LIACS) is seeking candidates for an Assistant Professor (0.8-1.0 FTE) position, working on algebraic and logical methods for the specification and verification of software systems. Logic and algebra play pivotal roles in formal methods, which are systematic techniques employed in computer science and software engineering to specify, design, and verify complex systems. The importance of logic lies in its ability to provide a formal and rigorous framework for reasoning about the behavior of systems. Algebraic structures, such as Kleene and process algebras, are fundamental for modelling and analyzing the dynamic aspects of complex systems, including their interactions and transformations.
The ideal candidate will have a track record in research that connects Logic, Algebra, and Formal Methods, for example in automata theory, process algebra, and model learning. The candidate will be embedded in the Theory group, and it is expected to work well in our culture of cross-group collaboration. The position will have a good balance between teaching and research, giving the candidate time to write research proposals and further build their research lines and career. The level of the position will be commensurate with the candidate's level of experience. Expectations
- Conducting independent research in your field;
- Teaching one course at BSc and one at MSc level;
- Willing to get the University Teaching Qualification (BKO) within 2 years;
- Supervising BSc and MSc students;
- (Co-)supervising PhD students;
- Securing external funding for research;
- Engaging in committees and organizing activities in your research group, the institute, and in the relevant initiatives in Leiden and the Netherlands.