PhD Candidate: Formal Methods

PhD Candidate: Formal Methods

Published Deadline Location
13 May 9 Jun Nijmegen

Job description

Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University.

You will contribute to algebraic and logical theories and formal methods for specifying and verifying systems and software. Topics we study are Kleene algebra, automata theory, logics and foundations of monitorability. The latter topic is in the area of runtime verification, and we are in particular interested in the logical foundations of monitoring multiple traces at the same time. All studied topics can be applied to analyse and verify software through the development of specification languages from an algebraic/logical perspective. As a PhD candidate, you will help to further develop these theories and methods, where a focus can be chosen depending on your own interest and background.

Your teaching load may be up to 10% of your working time. For further details, feel free to contact us with any questions about the position. You will be supervised by dr Jana Wagemaker.

Specifications

Radboud University

Requirements

  • You should hold an MSc or equivalent degree in Computer Science, Mathematics or a closely related field, or expect to obtain such a degree in this academic year.
  • You are able to work both independently and as part of a team.
  • You are proficient in English. (Dutch is not required.)
  • Prior knowledge of algebraic methods in computer science is appreciated but not required.

If you have not yet fully completed your Master's degree but are excited about this position, please do not hesitate to apply or to contact us.

Conditions of employment

Fixed-term contract: 4 years.

  • We will give you a temporary employment contract (1.0 FTE) of 1,5 years, after which your performance will be evaluated. If the evaluation is positive, your contract will be extended by 2.5 years (4-year contract).
  • You will receive a starting salary of €2,770 gross per month based on a 38-hour working week, which will increase to €3,539 in the fourth year (salary scale P).
  • You will receive an 8% holiday allowance and an 8,3% end-of-year bonus.
  • You will be able to use our Dual Career and Family Support Service. The Dual Career Programme assists your partner via support, tools, and resources to improve their chances of independently finding employment in the Netherlands. Our Family Support Service helps you and your partner feel welcome and at home by providing customised assistance in navigating local facilities, schools, and amenities. Also take a look at our support for international staff page to discover all our services for international employees.
  • You will receive extra days off. With full-time employment, you can choose between 30 or 41 days of annual leave instead of the statutory 20.

Work and science require good employment practices. This is reflected in Radboud University's primary and secondary employment conditions. You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself, for example, exchange income for extra leave days and receive a reimbursement for your sports subscription. And of course, we offer a good pension plan. You are given plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.

Department

The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Our mission is to conduct top research on the use of models for design and analysis of software, bridging the gap between theory and applications. The Software Science group has extensive expertise in model learning and testing and theoretical computer science in general.

The Faculty of Science is a complete science faculty where research and education are closely related. The faculty aims to be an academic community with an international character, where staff members from different backgrounds combine their talents with the common goal of being a leading faculty of science in Europe.

Additional information

You can apply no later than 9 June 2024 only via the button below. Address your letter of application to dr Jana Wagemaker. In the application form, you will find which documents you need to include with your application.

The first interviews will take place on 25 June. The start of the project is flexible, ideally sometime between 1 September 2024 and 1 November 2024.

We can imagine you're curious about our application procedure. It describes what you can expect during the application procedure and how we handle your personal data and internal and external candidates.

Specifications

  • PhD
  • Natural sciences
  • max. 38 hours per week
  • €2770—€3539 per month
  • University graduate
  • 62.093.24

Employer

Location

Houtlaan 4, 6525XZ, Nijmegen

View on Google Maps

Interesting for you

X

Apply for this job

Apply for this job

This application process is managed by the employer (Radboud University). Please contact the employer for questions regarding your application.

Thank you for applying

Please contact the employer for questions regarding your application.

Tip: save this job as favorite in your AcademicTransfer account. This gives you an immediate overview and makes it easy to find the job later on. No account yet? Create it now and take advantage of other useful functionalities too!

Application procedure

Application procedure

Make sure to apply no later than 9 Jun 2024 1:59 (Europe/Amsterdam).