Fwd: [diagrams] Looking for a post-doc

[Renata de Freitas]

---------- Forwarded message ----------
From: "Mateja Jamnik" <mateja...@cl.cam.ac.uk>
Date: Jan 14, 2018 22:15
Subject: [diagrams] Looking for a post-doc
To: <diagra...@lists.stanford.edu>
Cc:

Dear colleagues:

I have been awarded an EPSRC research grant in collaboration with a cognitive scientist Prof Peter Cheng at Sussex University for an 18 months feasibility project on how to find the most suitable representation for a given problem. 

I am currently looking to appoint a post-doc in Cambridge who will need experience in formal logic and implementing reasoning systems. More details are included below. I’d be grateful if you could pass the details on to anyone who you might think is suitable for this post, or let me know so that I can contact them directly.

Thank you very much in advance for your help.
 
Kind regards,
Mateja

mateja jamnik • univ of cambridge computer laboratory

mateja...@cl.cam.ac.uk • http://www.cl.cam.ac.uk/~mj201

** Details of the Position in Cambridge **

The University of Cambridge is looking to appoint an enthusiastic researcher to join this project concerned with exploring and computationally modelling how people choose and use representations for problems that they are solving. The project is entitled "How to (re)represent it?" and is led by Dr Mateja Jamnik. It runs jointly with Prof Peter Cheng at the University of Sussex. This EPSRC funded project is part of the EPSRC new and emerging area in ICT on Human-like Computing and AI.

We want to model in computational systems the inherent human ability to choose or change appropriate representations, and make machines do the same. We want to find out what are the cognitive processes that humans use to select representations, what criteria they use to choose them, and how we can model this ability on machines. 

The Research Associate employed at Cambridge will  be expected to lead on the implementation of the algorithms that allow users to choose alternative representations, and build a ranking and recommendation system based on the taxonomy from cognitive studies to suggest appropriate representation given a particular problem and user. 

The ideal candidate must have experience in designing formal logical representations, and implementing and evaluating reasoning systems. It is also essential that they have a background in several of: diagrammatic reasoning, theorem proving, logic, ontology engineering, mathematics, artificial intelligence.

To apply online for this vacancy and to view further information about the role, please visit: http://www.jobs.cam.ac.uk/job/16298. 

The deadline for receipt of applications is midnight on Monday 12th February 2018. Interviews will take place shortly after either in person or by telephone.

Please direct informal enquiries to Dr Mateja Jamnik: mateja...@cl.cam.ac.uk.
 
The project begins on 1 April 2018 and runs for 18 months.

--
Esta mensagem foi verificada pelo sistema de antivírus e
acredita-se estar livre de perigo.

_______________________________________________
diagrams-list mailing list
diagra...@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/diagrams-list