Gross monthly salary
€ 2,770 - € 3,539
Research University Degree
Faculty of Science
24 September 2023
Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of automata learning, testing, and category theory? As a PhD candidate, you will help boost the scalability of automata learning through the development of approximation and abstraction methods in learning algorithms and the underlying theory.
You will contribute to model learning, which is a family of techniques for automatically constructing automata models of black-box systems, by systematically running tests and making observations. These techniques have been applied to analyse network protocols, legacy software, smart card readers and embedded control software. As a PhD candidate on this project, you will help to boost the scalability of automata learning through the development of approximation and abstraction methods in learning algorithms and the underlying theory. Your research will have a strong focus on developing the foundations of automata learning, using category theory and coalgebra as a formalism of choice, enabling a broad application of the results. As such, you will conduct research at the intersection of automata learning, testing and category theory.
This PhD position is part of an NWO VIDI project called Approximation, Abstraction and Apartness in Automata Learning (APPLE). For details, see here(link is external) and feel free to contact us with any questions about the project and position. You will be supervised by Jurriaan Rot(link is external).
The start of the project is flexible (sometime between November and the summer of 2024). If you have not yet fully completed your Master's degree but are excited about this position, please do not hesitate to apply or contact us. Your teaching load may be up to 10% of your working time.Profile
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.
We are keen to meet critical thinkers who want to look closer at what really matters. People who, from their expertise, wish to contribute to a healthy, free world with equal opportunities for all. This ambition unites more than 24,000 students and 5,600 employees at Radboud University and requires even more talent, collaboration and lifelong learning. You have a part to play!We offer
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.
You have not yet given permission to place the required cookies. Accept the required cookies to view this content.
Show contentWould you like more information?
For questions about the position, please contact Jurriaan Rot, Associate Professor at +31 24 365 21 23 or [email protected].Practical information and applying
You can apply until 24 September 2023, exclusively using the button below. Kindly address your application to Jurriaan Rot. Please fill in the application form and attach the following documents:
The first round of online interviews will take place on Friday 6 October. 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.
Apply now Application deadline 24 September 2023
We would like to recruit our new colleague ourselves. Acquisition in response to this vacancy will not be appreciated.Contact information
[email protected] +31 24 365 21 23
Job application form
- Select -AfghanistanAland IslandsAlbaniaAlgeriaAmerican SamoaAndorraAngolaAnguillaAntarcticaAntigua and BarbudaArgentinaArmeniaArubaAustraliaAustriaAzerbaijanBahamasBahrainBangladeshBarbadosBelarusBelgiumBelizeBeninBermudaBhutanBolivia, Plurinational State ofBonaire, Sint Eustatius and SabaBosnia and HerzegovinaBotswanaBouvet IslandBrazilBritish Indian Ocean TerritoryBrunei DarussalamBulgariaBurkina FasoBurundiCambodiaCameroonCanadaCape VerdeCayman IslandsCentral African RepublicChadChileChinaChristmas IslandCocos (Keeling) IslandsColombiaComorosCongoCongo, The Democratic Republic of theCook IslandsCosta RicaCote d'IvoireCroatiaCubaCuracaoCyprusCzech RepublicDenmarkDjiboutiDominicaDominican RepublicEcuadorEgyptEl SalvadorEquatorial GuineaEritreaEstoniaEthiopiaFalkland Islands (Malvinas)Faroe IslandsFijiFinlandFranceFrench GuianaFrench PolynesiaFrench Southern TerritoriesGabonGambiaGeorgiaGermanyGhanaGibraltarGreeceGreenlandGrenadaGuadeloupeGuamGuatemalaGuernseyGuineeGuinee- BissauGuyanaHaitiHeard Island and McDonald IslandsHoly See (Vatican City State)HondurasHong KongHungaryIcelandIndiaIndonesiaIran, Islamic Republic ofIraqIrelandIsle of ManIsraelItalyJamaicaJapanJerseyJordanKazakhstanKenyaKiribatiKorea, Democratic People's Republic ofKorea, Republic ofKuwaitKyrgyzstanLao People's Democratic RepublicLatviaLebanonLesothoLiberiaLibyan Arab JamahiriyaLiechtensteinLithuaniaLuxembourgMacaoMacedonia, The Former Yugoslav Republic ofMadagascarMalawiMalaysiaMaldivesMaliMaltaMarshall IslandsMartiniqueMauritaniaMauritiusMayotteMexicoMicronesia, Federated States ofMoldova, Republic ofMonacoMongoliaMontenegroMontserratMoroccoMozambiqueMyanmarNamibiaNauruNepalNetherlandsNew CaledoniaNew ZealandNicaraguaNigerNigeriaNiueNorfolk IslandNorthern Mariana IslandsNorwayOmanPakistanPalauPalestinian Territory, OccupiedPanamaPapua New GuineaParaguayPeruPhilippinesPitcairnPolandPortugalPuerto RicoQatarReunionRomaniaRuandaRussian FederationSaint BarthelemySaint Helena, Ascension and Tristan da CunhaSaint Kitts and NevisSaint LuciaSaint Martin (Dutch part)Saint Martin (French part)Saint Pierre and MiquelonSaint Vincent and the GrenadinesSamoaSan MarinoSao Tome and PrincipeSaudi ArabiaSenegalSerbiaSeychellesSierra LeoneSingaporeSlovakiaSloveniaSolomon IslandsSomaliaSouth AfricaSouth Georgia and the South Sandwich IslandsSouth SudanSpainSri LankaSudanSurinameSvalbard and Jan MayenSwazilandSwedenSwitzerlandSyrian Arab RepublicTaiwanTajikistanTanzania, United Republic ofThailandTimor-LesteTogoTokelauTongaTrinidad and TobagoTunisiaTurkeyTurkmenistanTurks and Caicos IslandsTuvaluUgandaUkraineUnited Arab EmiratesUnited KingdomUnited StatesUnited States Minor Outlying IslandsUruguayUzbekistanVanuatuVenezuela, Bolivarian Republic ofVietnamVirgin Islands, BritishVirgin Islands, U.S.Wallis and FutunaWestern SaharaYemenZambiaZimbabwe
Confirm email address
Are you an internal candidate at Radboud University?
When are you an internal candidate?
You are an internal candidate if you:
Please indicate how you came across this job opening?
- -Academic PositionsAcademicTransferAcademics.deColleague/professional networkEuraxessFacebook/InstagramFamily/FriendsGoogle (or other search engine)IndeedIntermediairJob alertJournal/magazineLinkedInNRCcarriereNatureJobsOther jobboardsRedditResearchGateTwitterUWV (werk.nl)Website Radboud University
Letter of motivation
One file only. 5 MB limit.
One file only. 6 MB limit.
One file only. 4 MB limit.
One file only. 2 MB limit.
One file only. 1 MB limit.
One file only. 1 MB limit.
I give permission to store and use my data in light of my application and in accordance with the personal data processing policy.
Read our data processing policy.
Last modified: 31 August 2023