<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Hi all,</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The University of Amsterdam (UvA) is looking for a (fully funded) PhD candidate working
on the intersection of Software Verification and Software Definable Networks. </span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The position is suitable for a candidate with an interest in Programming Languages,
Formal Methods, and Networking. The focus may depend on the candidate's interests and prior experiences. The project will involve a challenging combination of theory and practice and will be executed in the context of a broad (national) consortium lead by
the UvA and containing industry leaders in networking systems.</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">If not relevant to you, please considering forward this e-mail to anyone who may be
interested.</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Vacancy link:
<a href="https://vacatures.uva.nl/UvA/job/PhD-%28Candidate%29-Software-Verification-for-Programmable-6G-Networks/789064002/" id="OWA5dfd9ba9-282b-79a3-e8e7-4fd09023f644" class="OWAAutoLink">
PhD (Candidate) Software Verification for Programmable 6G Networks (uva.nl)</a></span></div>
<div class="elementToProof"><br>
</div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Kind wishes,</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">L. Thomas van Binsbergen</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Assistant Professor, University of Amsterdam</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">----</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<p class="elementToProof" style="margin-top: 0px; margin-bottom: 0px;"><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Software-defined and programmable networking is a key enabling technology to support
6G in achieving their promises of increased scalability and flexibility at a lower cost. Deep network programmability, that is the ability to program the network fabric both vertically (control and data plane) and horizontally (end to end), is expected to
characterize the new generation of mobile networks (6G), currently under development, towards supporting extreme performance requirements and service-specific operations. </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The objective of the PhD project is to develop a framework consisting of a set of programming language methodologies and tools for the specification, verification
and generation of software and configurations for programmable data planes. Making data-planes programmable (e.g., using the P4 language) enables unprecedented network flexibility, often at the cost of robustness and security. </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"><br>
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">These challenges require domain-specific, formally verified, and empirically tested solutions that curtail the underlying complexity through the introduction
of layers of abstraction. The candidate will contribute to the design and evolution of domain-specific languages, software verification techniques and programming environments that enable network operators to deploy verified programs with CI/CD pipelines for
programmable data planes. To achieve this, the candidate will study, develop and apply programming language techniques such as static and runtime verification, formal specification, and language design, translation and implementation. </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The research is conducted within the scope of the Future Network Services (FNS -</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://futurenetworkservices.nl/" target="_blank" id="OWA0e75df89-c759-590a-1cfb-81c14c2ad484" class="OWAAutoLink" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;"> https://futurenetworkservices.nl/</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">):
the 6G flagship project for the Netherlands where 60 leading ICT businesses, mobile operators, semiconductor manufacturers and research institutions, have united to spearhead the development of specific aspects of 6G: Software antennas, AI-driven network
software, and groundbreaking 6G applications. </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">You will be embedded in the MNS group. The group focuses its research on the fundamental architectural problems that arise from the interconnection of systems
and of data flows. We look at the emerging architectures that can support the operations of the future Internet. More information can be found at:
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://mns-research.nl/" target="_blank" id="OWA073cf156-1c23-e583-46ce-269a40ed38b0" class="OWAAutoLink" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">https://mns-research.nl/</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"><br>
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">You will be collaborating closely with the CCI research group. The CCI group focuses on the complexity of man-made systems on all scales. The challenges
of such systems are addressed by research into distributed data processing, programmable networks, policy reasoning and normative control, hardware and cryptographic security, and programming languages and software language engineering. More information can
be found at: </span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://cci-research.nl/" target="_blank" id="OWAb02c5bab-e253-e056-13ce-435c81d750a5" class="OWAAutoLink" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">https://cci-research.nl/</a></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 18px; color: rgb(31, 29, 33); font-weight: 700;">What are you going to do?</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33); font-weight: 700;">Tasks and responsibilities:</span></p>
<ul style="text-align: left; margin-top: 0px; margin-bottom: auto; padding-left: revert; list-style-position: outside; background-color: rgb(255, 255, 255);">
<li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Evaluate and further develop of domain-specific languages for programmable data planes (such as P4) and formal verification techniques for network configurations,
software and protocols;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">develop and evaluate CI/CD environments and pipelines for deeply programmable networks, generating fast, correct, secure and debug-able network software; </span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">empirically validate the proposed approaches by developing and demonstrating proof of concepts;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">access a unique state-of-the-art testbed to also put theory to practice and be at the forefront of the Dutch 6G national ecosystem.;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">become active in the research community and collaborate with other institutes and/or companies that are part of the project;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">publish and present work regularly at international conferences, workshops, and journals;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">assist in teaching activities (labs) and in supervising bachelor and master students.</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 18px; color: rgb(31, 29, 33); font-weight: 700;">What do you have to offer?</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33); font-weight: 700;">Your experience and profile:</span></p>
<ul style="text-align: left; margin-top: 0px; margin-bottom: auto; padding-left: revert; list-style-position: outside; background-color: rgb(255, 255, 255);">
<li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Master's degree or equivalent program (completed or near completion: see below) in a relevant discipline, such as computer science, software engineering, security
and network engineering;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">excellent programming skills in a variety of languages, including functional languages;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">familiarity with programming language techniques such as compilers and type systems;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">prior experience with software verification is a plus, such as operational semantics, model checking, symbolic execution, and dependently typed programming;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">prior experience in programmable networking technologies and domain-specific languages is a plus, especially languages such as eBPF and P4;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">the willingness to be part of an international research team;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">fluency in oral and written English and good presentation skills; </span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">commitment to maintaining an inclusive, collaborative, diverse, supportive work environment.</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 18px; color: rgb(31, 29, 33); font-weight: 700;">Our offer</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">A temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation
it will be extended for a total duration of 4 years). The preferred starting date is as soon as possible. This should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We
also expect you to assist in teaching undergraduates and master students.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 2,770 in the first year to € 3,539 in the last year
(scale P). UvA additionally offers an extensive package of secondary benefits, including 8% holiday allowance and a year-end bonus of 8.3%. The UFO profile PhD Candidate is applicable. A favourable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants.
The </span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://www.universiteitenvannederland.nl/en/cao" target="_blank" id="OWA375a4b90-13f4-c039-e12a-ca684ab84e92" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">Collective
Labour Agreement of Universities of the Netherlands</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);"> is applicable.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Besides the salary and a vibrant and challenging environment at Science Park we offer you multiple fringe benefits:</span></p>
<ul style="text-align: left; margin-top: 0px; margin-bottom: auto; padding-left: revert; list-style-position: outside; background-color: rgb(255, 255, 255);">
<li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">232 holiday hours per year (based on fulltime) and extra holidays between Christmas and 1 January;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Multiple courses to follow from our Teaching and Learning Centre;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">A complete educational program for PhD students;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Multiple courses on topics such as leadership for academic staff;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">7 weeks birth leave (partner leave) with 100% salary;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Partly paid parental leave;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The possibility to set up a workplace at home;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">A pension at ABP for which UvA pays two third part of the contribution;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The possibility to follow courses to learn Dutch;</span></li><li style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Help with housing for a studio or small apartment when you’re moving from abroad.</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">Are you curious to read more about our extensive package of secondary employment benefits, take a look
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://www.uva.nl/en/faculty/faculty-of-science/working-at-the-faculty/working-at-the-faculty-of-science.html" target="_blank" id="OWAc3309726-6032-c901-05db-4cf8e92be363" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">here</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 18px; color: rgb(31, 29, 33); font-weight: 700;">About us</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://www.uva.nl/en/about-the-uva/about-the-university/about-the-university.html" target="_blank" id="OWA15fa4ebf-4903-7f9c-dcd7-b58aebdb7980" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">University
of Amsterdam</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);"> (UvA) is the Netherlands' largest university, offering the widest range of academic programmes. At the UvA, 42,000 students, 6,000
staff members and 3,000 PhD candidates study and work in a diverse range of fields, connected by a culture of curiosity.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://www.uva.nl/en/faculty/faculty-of-science/faculty-of-science.html" target="_blank" id="OWA0583d0f0-7d9c-ad74-6935-592948e2173b" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">Faculty
of Science</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);"> (FNWI) has a student body of around 8,000, as well as 1,800 members of staff working in education, research or support services. Researchers
and students at the Faculty of Science are fascinated by every aspect of how the world works, be it elementary particles, the birth of the universe or the functioning of the brain. </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The mission of the
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://ivi.uva.nl/" target="_blank" id="OWA37389f74-c95d-9604-77ce-8eea208a658b" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">Informatics
Institute</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);"> (IvI) is to perform curiosity-driven and use-inspired fundamental research in Computer Science. The main research themes are Artificial
Intelligence, Computational Science and Systems and Network Engineering. Our research involves complex information systems at large, with a focus on collaborative, data driven, computational and intelligent systems, all with a strong interactive component.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: customcf844c2f820444f1a3ffc; font-size: 15px; color: rgb(31, 29, 33);"> </span></p>
<p class="elementToProof" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px;">
<span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">The
</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://ivi.uva.nl/research/complex-cyber-infrastructure.html" target="_blank" id="OWA63c191c3-26eb-5134-9f80-0b28dc4eb346" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">Complex
Cyber Infrastructure</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);"> (CCI) group (</span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(0, 0, 255);"><a href="https://cci-research.nl/" target="_blank" id="OWAf8177c7d-7979-fcb4-df78-d99ee075c0c8" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(0, 0, 255); text-decoration: none; margin-top: 0px; margin-bottom: 0px; border-width: 1px; border-style: solid; border-color: transparent;">https://cci-research.nl</a></span><span style="font-family: "Times New Roman", Times, serif; font-size: 16px; color: rgb(31, 29, 33);">)
is part of the Informatics Institute at the University of Amsterdam. CCI focuses on the complexity of man-made systems on all scales. This scale can be small, like the devices that you carry with you, or the apps they are running, or the communication protocols
these apps use to interact. It can be also comprehensive, as in large systems such as data centres or multi-domain networks.</span></p>
</body>
</html>