Assistant Professor in Theoretical Computer Science

23 Jan 2024
Job Information

Organisation/Company

Leiden University

Research Field

Physics

Researcher Profile

Leading Researcher (R4)
Established Researcher (R3)

Country

Netherlands

Application Deadline

29 Feb 2024 - 22:59 (UTC)

Type of Contract

Temporary

Job Status

Not Applicable

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

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.

Requirements
Specific Requirements

Selection criteria

• PhD degree in Computer Science on a Formal Method topic;
• Proven independence in doing research at the postdoc level or beyond;
• Good publication record and experience in raising research funds;
• Proven track record in teaching;
• Able to work independently, in a team, and in a student (co-)supervisory role;
• An academic, creative, and open mindset;
• Good to excellent proficiency in English is required;
• Willing to start before the end of August 2024.

Additional Information
Benefits

Terms and conditions
We offer a full-time position initially for one year. After a positive evaluation of the progress of the research and personal compatibility, the appointment can be extended further to a permanent one. The salary ranges, depending on qualifications and experience, from € 4.332,- to € 5.929,- gross per month (pay scale 11 in accordance with the Collective Labour Agreement for Dutch Universities).

Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses (8.3 %), training, and career development. Our individual choices model gives you some freedom to assemble your own set of terms and conditions.

Diversity and inclusivity
Fostering an inclusive community is a central element of the values and vision of Leiden University. Leiden University is committed to becoming an inclusive community that enables all students and staff to feel valued and respected and to develop their full potential. Diversity in experiences and perspectives enriches our teaching and strengthens our research. High-quality teaching and research are inclusive.

Selection process

Application
Please submit online your application no later than Feb 29, 2024 via the blue button in our application system. Please ensure that you attach the following additional documents, quoting the vacancy number:

• A short cover letter (1 page) detailing your motivation to apply for the position,
• A brief description of your research plan,
• A full CV including a list of publications, eventual grant acquisition and community services, and a link to your Google Scholar page,
• Links to key publications and Ph.D. thesis when appropriate,
• The names and addresses of at least two persons that can be contacted for reference (who have agreed to be contacted).

Additional comments

Information
Inquiries can be made to Prof.dr. Marcello Bonsangue, email: [email protected] .
If you have any questions about the procedure, please contact [email protected] .

Website for additional job details

https://www.academictransfer.com/336905/

Work Location(s)

Number of offers available

1

Company/Institute

Universiteit Leiden

Country

Netherlands

City

Leiden

Postal Code

2312TT

Street

Leiden

Geofield

Where to apply

Website

https://www.academictransfer.com/en/336905/assistant-professor-in-theoretical-c…

Contact

City

Leiden

Website

http://www.universiteitleiden.nl/

Street

Rapenburg 70

Postal Code

2311 EZ

STATUS: EXPIRED