<div dir="ltr"><div dir="ltr"><span class="gmail-il">[Apologies</span><span class="gmail-Apple-converted-space"> </span><span class="gmail-il">for</span><span class="gmail-Apple-converted-space"> </span>cross-posting; please distribute as you see fit.]<br></div><div><div class="gmail_quote"><br>The Bernoulli Institute for Mathematics, Computer Science and AI of the University of Groningen (NL) has an open position in *software-intensive systems*:</div><div class="gmail_quote">the research area which includes any system where software influences the design, construction, deployment, operation and evolution of the system as a whole.<br>
<br>
We seek applicants whose profile may fit any of the following research<br>
fields (or a combination of them):<br>
Software Engineering, Theoretical Computer Science (broadly<br>
construed), Information Systems and Distributed Systems.<br>
<br>
In particular, experts on concurrency, programming languages,<br>
verification, and formal methods are strongly encouraged to apply.<br>
<br>
This is a full-time position with excellent career opportunities,<br>
including the perspective to get a permanent appointment (tenure) in<br>
1-3 years and become Full Professor in approximately 10 years.<br>
At the stage of Assistant Professor, 60% of your time is for research,<br>
30% for teaching activities and 10% for organizational tasks.<br>
<br>
The following URL gives further details about the position, potential<br>
embedding in our institute, and a link to the application form:<br>
<br>
<a href="https://urldefense.com/v3/__https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S000AOFP&cat=wp__;!!IBzWLUs!RKQrors1fdQxXkxGyvqNCXU34paxo0_P14JmGZ1HIWq935eneQdR-rGdIwp1NbobV8KBIvg6qe-vqt8mQluZipNaqBsmQlex$" rel="noreferrer" target="_blank">https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S000AOFP&cat=wp</a><br>
<br>
Deadline for applications is April 19, 2024 11:59pm (CET)<br>
<br>
For informal inquiries from Theoretical Computer Science candidates, please<br>
contact Prof. Jorge Pérez (<a href="mailto:j.a.perez@rug.nl" target="_blank">j.a.perez@rug.nl</a>).<br>
<br>
--<br>
Jorge A. Pérez<br>
Associate Professor<br>
Leader, Fundamental Computing group<br>
Bernoulli Institute for Math, CS and AI<br>
University of Groningen, The Netherlands<br>
<<a href="https://urldefense.com/v3/__https://www.jperez.nl__;!!IBzWLUs!RKQrors1fdQxXkxGyvqNCXU34paxo0_P14JmGZ1HIWq935eneQdR-rGdIwp1NbobV8KBIvg6qe-vqt8mQluZipNaqHnR0Inl$" rel="noreferrer" target="_blank">https://www.jperez.nl</a>>  /  <<a href="https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!RKQrors1fdQxXkxGyvqNCXU34paxo0_P14JmGZ1HIWq935eneQdR-rGdIwp1NbobV8KBIvg6qe-vqt8mQluZipNaqB0ZHM-o$" rel="noreferrer" target="_blank">https://www.rug.nl/fse/fc</a>><br>
</div></div>
</div>