[ecoop-info] postdoc position in runtime verification
radugrigore at gmail.com
Mon May 21 12:55:27 CEST 2018
I am looking for a postdoc who will work on using machine learning to make
runtime verification more efficient. The project has both theoretical and
system-building parts, so I'd be happy with either a theoretician or a
systems-person. Also, your background could be either machine learning or
program verification. The main criterion is excellence -- ideally, a track
record of publishing in top conferences.
University of Kent has a strong group in Programming Languages, and is
located within a convenient distance from London (<1h) and other good
The deadline for applications is soon: 25 May.
The position is until the end of 2019, with a negotiable start date.
For more details, don't hesitate to contact me by email.
all the best,
More information about the ecoop-info