[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for cross-posting; please distribute as you see fit.]
The Bernoulli Institute for Mathematics, Computer Science and AI of the
University of Groningen (NL) has an open position in *software-intensive
systems*:
the research area which includes any system where software influences the
design, construction, deployment, operation and evolution of the system as
a whole.
We seek applicants whose profile may fit any of the following research
fields (or a combination of them):
Software Engineering, Theoretical Computer Science (broadly
construed), Information Systems and Distributed Systems.
In particular, experts on concurrency, programming languages,
verification, and formal methods are strongly encouraged to apply.
This is a full-time position with excellent career opportunities,
including the perspective to get a permanent appointment (tenure) in
1-3 years and become Full Professor in approximately 10 years.
At the stage of Assistant Professor, 60% of your time is for research,
30% for teaching activities and 10% for organizational tasks.
The following URL gives further details about the position, potential
embedding in our institute, and a link to the application form:
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$
Deadline for applications is April 19, 2024 11:59pm (CET)
For informal inquiries from Theoretical Computer Science candidates, please
contact Prof. Jorge Pérez ([email protected]).
--
Jorge A. Pérez
Associate Professor
Leader, Fundamental Computing group
Bernoulli Institute for Math, CS and AI
University of Groningen, The Netherlands
<https://urldefense.com/v3/__https://www.jperez.nl__;!!IBzWLUs!RKQrors1fdQxXkxGyvqNCXU34paxo0_P14JmGZ1HIWq935eneQdR-rGdIwp1NbobV8KBIvg6qe-vqt8mQluZipNaqHnR0Inl$
> /
<https://urldefense.com/v3/__https://www.rug.nl/fse/fc__;!!IBzWLUs!RKQrors1fdQxXkxGyvqNCXU34paxo0_P14JmGZ1HIWq935eneQdR-rGdIwp1NbobV8KBIvg6qe-vqt8mQluZipNaqB0ZHM-o$
>
