Open position: Postdoctoral researcher in Knowledge Representation, Logic, and Machine Learning

We are looking to hire a postdoctoral researcher to join us in the
Bio-Ontology Research Group at King Abdullah University of Science and
Technology (KAUST) in Saudi Arabia. The group is known for pioneering
several methods that combine logic and machine learning, with main
applications in the life sciences. The group is also developing
innovative infrastructure such as the AberOWL ontology repository which
combines machine learning and Description Logic Queries, and leading
systems for protein function prediction and finding gene-disease
association which rely on methods from knowledge representation and
reasoning combined with machine learning.


Whom are we looking for exactly:

We are looking for researchers who have completed their Ph.D. in the
past four years, or will complete their Ph.D. soon, who have an ambition
to do research on Artificial Intelligence, and have experience with
logic in computer science as well as machine learning.


Your tasks:

* Develop methods that combine logic and machine learning, including
  methods that generate embeddings, methods that use logic to constrain
  search and optimization, and inductive logic programming
* Work with students and junior researchers
* Write research papers and present research results at conferences


Why join us:

* We offer exciting research in Artificial Intelligence.
* You have the opportunity to translate research outcomes into life
  science applications.
* We provide access to world-class compute infrastructure, including the
  Shaheen 2 Cray XC40 supercomputer, and dedicated machine learning
  systems and GPU compute clusters.
* An international, highly diverse university campus by the Red Sea,
  with activities ranging from relaxing at the beach to golfing to
  diving with whale sharks.
* A competitive salary with generous benefits, including free housing on
  campus and medical insurance. 
* Generous research funding, for travel, equipment, etc.

The position is open to all applicants from any
nationality. International applications are strongly encouraged.


Requirements/Qualifications:

* A completed Ph.D. degree (in Computer Science, Mathematics, or
     related), completed in the last 4 years (due to university
     restrictions).
* Experience in:
  - Formal Logic or knowledge representation, model theory, proof theory,
     formal ontologies, Semantic Technologies
  - Machine learning, statistical learning, or optimization
  - Programming skills, preferably Python or C/C++
  - Communication skills (oral presentations and in writing)


Start date:

As soon as possible. Applications are accepted until the position is
filled.

The position will initially be for 1 year and can be renewed up to 3
years (in exceptional circumstances up to 5).


How to Apply:

Please complete the application at
https://apply.interfolio.com/75798. The application should include a
cover letter, CV, copy of PhD certificate, and the names and contact
details of two references.


Further information:

KAUST is an international, graduate research university dedicated to
advancing science and technology through interdisciplinary research,
education, and innovation. Located in Saudi Arabia, on the shores of the
Red Sea, KAUST offers superb research facilities together with unmatched
living conditions for individuals and families.

The Bio-Ontology Research Group is a research group in the Computational
Bioscience Research Center (CBRC) and the Computer Science program at
the King Abdullah University of Science and Technology. Our research
focuses on the use of bio-ontologies for data integration and analysis
in biology. We are interested in biological problems that require
integration of multiple types of data and integration of data across
scales and levels of granularity. For more information, please, visit
the group's website https://cemse.kaust.edu.sa/borg

Received on Saturday, 25 April 2020 13:59:51 UTC