PhD Candidate: Formal Methods

3 weken geleden

Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

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.

Profile
  • 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.
    We are

    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.

    Radboud University

    At Radboud University, we aim to make an impact through our work. We achieve this by conducting groundbreaking research, providing high-quality education, offering excellent support, and fostering collaborations within and outside the university. In doing so, we contribute indispensably to a healthy, free world with equal opportunities for all. To accomplish this, we need even more colleagues who, based on their expertise, are willing to search for answers. We advocate for an inclusive community and welcome employees with diverse backgrounds, cultures, and perspectives. Will you also contribute to making the world a little better? You have a part to play.

    Faculty of Science

    The Faculty of Science (FNWI), part of Radboud University, engages in groundbreaking research and excellent education. In doing so, we push the boundaries of scientific knowledge and pass that knowledge on to the next generation.

    We seek solutions to major societal challenges, such as cybercrime and climate change and work on major scientific challenges, such as those in the quantum world. At the same time, we prepare our students for careers both within and outside the scientific field.

    Currently, more than 1,300 colleagues contribute to research and education, some as researchers and lecturers, others as technical and administrative support officers. The faculty has a strong international character with staff from more than 70 countries. Together, we work in an informal, accessible and welcoming environment, with attention and space for personal and professional development for all.

    We offer
    • 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.

      Additional employment conditions

      Work and science require good employment practices. Radboud University's primary and secondary employment conditions reflect this. 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 membership. And, of course, we offer a good pension plan. We also give you plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.

  • Phd Candidate: Formal Methods

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Employment1.0 FTEGross monthly salary€ 2,770 - € 3,539Required backgroundResearch University DegreeOrganizational unitFaculty of ScienceApplication deadline09 June 2024Your 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...

  • PhD Candidate

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    The Chair Group of Environmental Governance and Politics (EGP) at the Nijmegen School of Management, Radboud University, is looking for a postdoctoral researcher or PhD candidate. You will be part of a transdisciplinary consortium, called SAFE, working on the project 'Accelerating the Transition to Animal-free Next Generation Risk Assessment (NGRA): A...

  • PhD Candidate

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    In this PhD project, you will critically study causal mechanisms in the social sciences. The project is suitable for a candidate with a strong background in philosophy of science and a proven interest or experience in social scientific research (such as political science, international relations studies, sociology, or educational research). You will be able...

  • PhD Candidate: Adaptive Management for Healthcare Accessibility

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    Job Title: PhD Researcher in Adaptive Management for Healthcare Accessibility Transport and healthcare sectors are interconnected, but collaboration between researchers, planners, and practitioners is lacking. The aim is to make transport more sustainable, reducing greenhouse gas emissions and decreasing reliance on cars. Digitalization in healthcare...

  • PhD Candidate: Small Molecule RNA Targeting

    4 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    The Physical-Organic Chemistry department at Radboud University is looking for a PhD candidate to work on the development of new chemical methods to study RNA targeting.RNA is an essential biomolecular polymer that exhibits many cellular functions that are crucial for life, ranging from catalytic to informational. The recently discovered versatile cellular...

  • PhD Candidate: Small Molecule RNA Targeting

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    The Physical-Organic Chemistry department at Radboud University is looking for a PhD candidate to work on the development of new chemical methods to study RNA targeting.RNA is an essential biomolecular polymer that exhibits many cellular functions that are crucial for life, ranging from catalytic to informational. The recently discovered versatile cellular...

  • PhD Candidate: Small Molecule RNA Targeting

    3 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    The Physical-Organic Chemistry department at Radboud University is looking for a PhD candidate to work on the development of new chemical methods to study RNA targeting.RNA is an essential biomolecular polymer that exhibits many cellular functions that are crucial for life, ranging from catalytic to informational. The recently discovered versatile cellular...

  • PhD Candidate: International and European Law

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    Recent years have seen significant changes in the types of cases being brought before international judicial bodies: increasingly, states are instituting proceedings on the basis of common or community interests, such as the regulation of the global environment, the protection of human rights, or the prevention of unspeakable atrocities like genocide....

  • PhD Candidate: Social Unsafety in Organisations

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    The project will be funded by a Starters Grant from the research institute Radboud Social Cultural Research (RSCR) awarded to Dr Bas Hofstra and Dr Ashwin Rambaran. Social unsafety (encompassing a host of undesirable behaviours) in the workplace is a widespread phenomenon in many organisations, which comes at great costs for both employees (low well-being,...

  • PhD Candidate: Network Science for Green AI

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    Artificial Neural Networks (ANNs) are driving new applications in AI, data science and intelligent systems. Yet, their training demands significant computational power, leading to a need for energy-efficient techniques that work well on lightweight devices. Random sparse ANNs have shown promise in addressing this challenge. However, the full understanding...

  • PhD Candidate or Postdoctoral Researcher in Sustainable Finance

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    The Finance group(link is external) at the Department of Economics and Business Economics of the Nijmegen School of Management (NSM) is seeking candidates for a 4-year PhD candidate or 2-year postdoctoral researcher position (with possible extension). This position is particularly suited for students recently graduated in Finance, Economics, Econometrics,...

  • PhD Candidate: Developing laser-based spectroscopy systems for gas phase contamination detection in real-life applications

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud University Voltijd

    Detecting gas-phase contaminations is a fundamental and ever-growing field. Safety and efficiency of many real-life applications depend on on-line monitoring of gas-phase contaminants.This PhD project aims at two of these important applications: I) contaminants in storage and the transfer of green hydrogen and II) contaminants in semiconductor manufacturing...

  • PhD Candidate: Computational Cognitive Neuroscience – Decision Confidence

    4 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you fascinated by the brain mechanisms behind perceptual decision making, sensory uncertainty, and decision confidence? Do you want to understand how we actively gather information across the senses to navigate an uncertain world? Join our multidisciplinary team as a PhD candidate to investigate these questionsAlmost every decision we make is accompanied...

  • PhD Candidate: Computational Cognitive Neuroscience – Decision Confidence

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you fascinated by the brain mechanisms behind perceptual decision making, sensory uncertainty, and decision confidence? Do you want to understand how we actively gather information across the senses to navigate an uncertain world? Join our multidisciplinary team as a PhD candidate to investigate these questionsAlmost every decision we make is accompanied...

  • PhD Candidate: Computational Cognitive Neuroscience – Decision Confidence

    3 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you fascinated by the brain mechanisms behind perceptual decision making, sensory uncertainty, and decision confidence? Do you want to understand how we actively gather information across the senses to navigate an uncertain world? Join our multidisciplinary team as a PhD candidate to investigate these questionsAlmost every decision we make is accompanied...

  • PhD Candidate: Motor Disorder Rehabilitation

    4 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you intrigued by the interplay between feedforward and feedback models in motor control? And are you curious about the role of expectation, attention, and emotion? Then join the interdisciplinary and intersectoral training network TReND as a PhD candidateWe offer a position for a PhD candidate/EU MSCA Fellow for the EU-funded Marie Skłodowska-Curie...

  • PhD Candidate: Motor Disorder Rehabilitation

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you intrigued by the interplay between feedforward and feedback models in motor control? And are you curious about the role of expectation, attention, and emotion? Then join the interdisciplinary and intersectoral training network TReND as a PhD candidateWe offer a position for a PhD candidate/EU MSCA Fellow for the EU-funded Marie Skłodowska-Curie...

  • PhD Candidate: Motor Disorder Rehabilitation

    3 weken geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you intrigued by the interplay between feedforward and feedback models in motor control? And are you curious about the role of expectation, attention, and emotion? Then join the interdisciplinary and intersectoral training network TReND as a PhD candidateWe offer a position for a PhD candidate/EU MSCA Fellow for the EU-funded Marie Skłodowska-Curie...

  • Phd Candidate: Computational Cognitive Science at

    1 week geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    EmploymentFTEGross monthly salary€ 2,770 - € 3,539Required backgroundResearch University DegreeOrganizational unitFaculty of Social SciencesApplication deadline22 May 2024In this PhD project, titled 'Cognitive capacities and machines: Why do calculators exist, if AGI cannot?', you will adopt various theoretical and meta-theoretical methodologies...

  • PhD Candidate: Software Security

    1 maand geleden

    Nijmegen, Gelderland, Nederland Radboud Universiteit Voltijd

    Are you an aspiring computer science researcher interested in what can be done to make our digital world more secure? Then you have a part to play as a PhD candidate. By investigating techniques to design, analyse and test software, you will help us develop new, innovative methods to improve software security.Cyber security problems have increased...