10 Feb 2024
Job Information
- Organisation/Company
Radboud University- Research Field
Physics- Researcher Profile
Recognised Researcher (R2)
First Stage Researcher (R1)- Country
Netherlands- Application Deadline
15 Mar 2024 - 23:00 (UTC)- Type of Contract
Temporary- Job Status
Not Applicable- Hours Per Week
40.0- 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
Would you like to develop algorithms that help engineer safer systems? In this PhD position, you will enhance and integrate various formal methods towards practical impact.
Your main responsibilities as a PhD Candidate will be to conduct cutting-edge research within the FuRoRe project on robust runtime monitoring under uncertainty. We expect that this research will lead to the development of faster and more scalable techniques for the formal analysis of safety-critical systems that operate based on limited information about their environment. In particular, we aim to develop novel algorithms for the analysis of Markov decision processes and partially observable Markov decision processes (and extensions thereof), motivated by a series of applications in the dependability and security domains. The project explores connections between runtime verification, model checking, automata learning, planning and reinforcement learning.
As a PhD Candidate, you will join a vibrant research group. Like the other PhD Candidates on the project, you will have a limited teaching task (10%).
Requirements
Specific Requirements
- You hold an MSc or equivalent degree in computer science, mathematics or a closely related field.
- You are able to work both independently and as part of a team.
- You are proficient in English. (Dutch is not required.)
- You are able to program in C++ or Python.
While previous knowledge of model checking, Markov decision processes or automata theory is beneficial, the willingness to learn and extend your knowledge in these areas is more important.
Additional Information
Benefits
- It concerns an employment for 0.8 (5 year contract) - 1.0 FTE (4 year contract).
- The gross starting salary amounts to €2,770 per month based on a 38-hour working week, and will increase to €3,539 in the fourth year (salary scale P ).
- You will receive 8% holiday allowance and 8.3% end-of-year bonus.
- You will be employed for an initial period of 18 months, after which your performance will be evaluated. If the evaluation is positive, the contract will be extended by 2.5 years (4 year contract) or 3.5 years (5 year contract).
- You will be able to use our Dual Career and Family Care Services . Our Dual Career and Family Care Officer can assist you with family-related support, help your partner or spouse prepare for the local labour market, provide customized support in their search for employment and help your family settle in Nijmegen.
- Working for us means getting extra days off. In case of full-time employment, you can choose between 30 or 41 days of annual leave instead of the legally allotted 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.
Selection process
You can apply until 15 March 2024, exclusively using the button below. Kindly address your application to Sebastian Junges. Please fill in the application form and attach the following documents:
- A letter of motivation.
- Your CV.
- Transcript of records.
- Contact information of two university staff members willing to provide reference letters on request.
The first round of interviews will take place on Friday 5 April. The second round of interviews will take place on Friday 12 April. You would preferably begin employment as soon as possible.
We can imagine you're curious about our application procedure . It offers a rough outline of what you can expect during the application process, how we handle your personal data and how we deal with internal and external candidates. If you wish to apply for a non-scientific position with a non-EU nationality, please take notice of the following information .
Additional comments
If you want to know more about this position, please do not hesitate to contact Sebastian Junges at [email protected] .
- Website for additional job details
https://www.academictransfer.com/337628/
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- Radboud University
- Country
- Netherlands
- City
- Nijmegen
- Postal Code
- 6525 XZ
- Street
- Houtlaan 4
- Geofield
Where to apply
- Website
https://www.academictransfer.com/en/337628/phd-candidate-the-fundamentals-of-ro…
Contact
- City
Nijmegen- Website
http://www.ru.nl/- Street
Houtlaan 4- Postal Code
6525 XZ
STATUS: EXPIRED
Similar Positions
-
Ph D Candidate: Spatial Planning And Flood Risk Management , Radboud University, Netherlands, 1 day ago
Employment 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Nijmegen School of Management Application deadline 06 May 2024 Apply no...
-
Ph D Position In Machine Learning For Green Credit Scores, AcademicTransfer, Netherlands, 22 days ago
PhD Position in Machine Learning for Green Credit Scores PhD Position in Machine Learning for Green Credit Scores Published Deadline Location today 31 May Enschede Job description The goal is to r...
-
Ph D Position Numerical Methods For Stochastic Differential Equations, Delft University of Technology, Netherlands, about 22 hours ago
The Analysis research group within the Delft Institute of Applied Mathematics at TU Delft is offering a full-time PhD position in the area of Numerical Methods for Stochastic Differential Equatio...
-
Ph D Position Utilizing Runtime Information To Improve Development Processes, Delft University of Technology, Netherlands, about 22 hours ago
How can we use runtime information to improve the development process and make machine learning models better? Context: Runtime information such as metrics, traces, and logs is currently outside t...
-
2 Ph D Positions Scaling Circular Consumption: Sharing And Repairing In Everyday Urban Life, Wageningen University and Research Center, Netherlands, about 23 hours ago
Your job Do you want to lead innovative social science research that contributes to circular society transitions in the Netherlands? Are you eager to explore how social contexts can support repair...
-
Ph D Candidate: The Law And Policy Of Eu External Climate Action , Radboud University, Netherlands, 1 day ago
Employment 1.0 FTE Required background Research University Degree Organizational unit Faculty of Law Application deadline 15 May 2024 Apply now Are you passionate about environmental protection on...