PhD Candidate Required at Radboud University (Higher Salary)

Are you looking for research abroad programs? If yes, there is a giant opportunity waiting for you none other than in the Netherlands at the higher-rated university. The research opportunity is available at Radboud University, one of the Netherlands’s oldest and highest-ranked universities famous for its research activities. If you are looking for a PhD project in program verification? Do you want to carry out your doctoral (PhD) in program verification and proof assistants and help scale it up to verify realistic systems software? This is an amazing research abroad opportunity for you. If interested, you may apply for a research position at the university, as a PhD Candidate Required at Radboud University. Let’s find out the detail

PhD Candidate Required at Radboud University – Details

You may also find other PhD Vacancies at Radboud University on the university’s website, but this one is open for applications. As a PhD candidate, you will work on the semantics and verification of systems software (efficient data structures, libraries for concurrency, operating systems, efficient data structures, and compilers) using separation logic, type systems, and proof assistants.

You Might Like: Fully Funded Fellowship Program in London

If you would like to do a PhD in Europe, this opportunity fits well with your requirements. So, if you are taken on board, as part of this PhD project, you will contribute to one or more topics:

The type-theoretical foundations and implementation of the Coq proof assistant to make it suitable for the embedding of verification techniques which scale to fully-fledged software and languages.
The foundations and implementation of new type systems, program logics, and algorithms for automated verification and interaction.
The semantics of challenging aspects of low-level/systems programming for example concurrency and memory models of languages like LLVM, C, Rust, and Assembly.
The application of present or new techniques for the verification of challenging systems software.

Note: As a PhD candidate, you will contribute and use the Iris and Coq projects and be supervised by Robbert Krebbers. You will consume 10% of your time on contribution to teaching besides you will have the opportunity to develop yourself by visiting summer schools, undertaking courses, etc.

The beginning of the project is preferably in autumn 2024 and it will be flexible. Students who have not fully completed their Master’s degrees but happen to be passionate about this position can apply or contact the university in this regard.

This PhD position is available in the Software Science Group of the Institute for Computing and Information Sciences at Radboud University. The mission behind this is to carry out top research on the usage of models and design, bridging the gap between theory and applications, verification and analysis of software.

About Radboud University (The Netherlands)

The university aims to register an impact through its work and achieves this by organizing groundbreaking research, offering excellent support, providing high-quality education, and fostering collaborations within and outside the university.

It was founded in 1953 and is a renowned public research university located in Nijmegen, the Netherlands.

Eligibility Criteria for PhD Candidate Required at Radboud University

The applicant should possess an MSc or its equivalent degree in mathematics, computer science, or a closely related area/field, or expect to get such a degree soon.
The applicant should be able to work as part of a team and independently.
English language proficiency is required (Dutch proficiency is not required).
If the applicant has previous or prior knowledge of proof assistance, it will be appreciated but is not a requirement.

You May Be Interested in: Paid Internships Available with UNICEF for Students and Recent Graduates

Available Financial Coverage and Other Benefits

The doctoral candidate who is successful in getting this position will be offered attractive financial and other benefits.

The university will offer a temporary employment contract (1.0 FTE) of 1,5 years. After that period, the candidate’s performance will be evaluated. If the evaluation turns out to be positive, the contract will be extended by 2.5 years (4-year contract).
The successful candidate’s starting salary will be €2,770 gross per month which will be based on a 38-hour working week that will increase (enhance) to €3,539 in the fourth year.
The candidate will also receive an 8,3% end-of-year bonus plus an 8% holiday allowance.
The successful PhD candidate will be offered to use the university’s Dual Career and Family Support Service. This service assists the candidate’s partner via support, resources, and tools to enhance their chances of finding employment in the Netherlands independently. The university’s family support service helps the candidate and his or her partner feel at home by endowing them with customized assistance in navigating schools, local facilities, and amenities. There is a page dedicated to supporting the university’s international staff, as a successful candidate you may visit that page to explore all the university’s services for international employees.
The candidate will be offered extra days off. With full employment, the candidate is able to select between 30 or 41 days of annual leave rather than the statutory 20.

Closing Date for Applications

Interested candidates are required to submit their applications by 20^th June 2024.

How to Apply for PhD Candidate Required at Radboud University

There is an Apply Now button available on the official announcement. If interested and eligible, you may submit your application by clicking that button. Also, check the complete details including the application process on the official announcement before applying.

Follow Our Social Platforms to Receive More Scholarships & Relevant Opportunities

Get regular updates on scholarships and all other relevant opportunities by joining our social media platforms.

Another Interesting Opportunity: Scholarship Program for Currently Enrolled Master’s and PhD Students

WhatsApp Group Facebook Page Facebook Group Linkedin Page Linkedin Group Linkedin Quroa Space Tweets Instagram Pinterest Telegram Channel Telegram Group Tumblr