Postdoctoral research in neuro-symbolic AI

Overview:
We are seeking to fill a position for a postdoctoral researchers at the Computational Bioscience Research Center at King Abdullah University of Science and Technology.
The researcher will work in the group of Robert Hoehndorf (http://borg.kaust.edu.sa) on developing neuro-symbolic methods in AI, in particular focusing on using neural methods with Description Logic and Semantic Web technologies.

Start date: Earliest possible

Location: King Abdullah University of Science and Technology, Thuwal, Saudi Arabia

Employment: Full-time

Duration: Initial contract 1 year (renewable up to 3 years)
Applications are accepted until the position is filled.

Job description:
We are seeking to fill a position for a postdoctoral researcher working on neuro-symbolic methods and Semantic Web ontologies.  The postdoctoral researcher will work on developing novel methods that combine neural methods and semantic data. A main topic will be on methods that embed logical theories so that the semantics of the language is preserved within the embedding space. A second topic is the use of logic to constrain classifiers in massively multi-class classification problems.
The postdoctoral researcher will be responsible for carrying out research independently and collaboratively with other members of the research group, and present research results at conferences and in scientific journals.

The researcher will work in the group of Robert Hoehndorf, a research group which is recognized for its work on biomedical ontologies, and which has strong collaborations with leading international research institutes. The group has in the past pioneered several embedding methods for Description Logic ontologies (Onto2Vec, OPA2Vec, DL2Vec, EL Embeddings, ELBE) and is actively developing a comprehensive software library for machine learning with ontologies to which the postdoctoral researcher is expected to contribute.

Expertise required:

  • PhD in computer science or mathematics,
  • Sound understanding of mathematical logic, including model theory and proof theory
  • Experience in machine learning, data mining, or statistical data analysis

Desirable:

  • Experience with Description Logic
  • Experience with ontologies in biology and biomedicine

Postdoctoral researchers are entitled to a competitive salary (commensurate with the applicant's qualifications), free, fully-furnished housing on the KAUST campus, free medical and life insurance, free education at KAUST schools for the postdoctoral researchers' children, and relocation allowance.

KAUST will be responsible for the actual recruiting decision, appointment offers and employment benefits.

How to apply:
To apply, please send your CV and a brief letter of motivation by email to: robert.hoehndorf@kaust.edu.sa

Contact: 
For any questions related to the position, please contact Robert Hoehndorf (robert.hoehndorf@kaust.edu.sa).

About KAUST:
King Abdullah University of Science and Technology (KAUST) is an international, graduate-level research university dedicated to inspiring a new age of scientific achievement in the Kingdom of Saudi Arabia, in the region, and around the globe. As an independent, merit-based institution, KAUST's pioneering matrix structure of academic divisions and interdisciplinary research centers enables top researchers from around the globe and across all cultures to work together to solve challenging scientific and technological issues.
The KAUST global research and education networks support diverse talents, both on its campus and at other premier universities and research institutions, through collaborative research agreements, grants, and student scholarship programs. KAUST, open to both men and women from all around the world, is governed by an independent, self-perpetuating Board of Trustees. The core campus, located on more than 36 million square meters on the Red Sea at Thuwal, Saudi Arabia, was inaugurated on the 23rd of September 2009.
 

Postdoctoral researcher in metagenomics methods

Overview:
We are seeking to fill a position for a postdoctoral researchers at the Computational Bioscience Research Center at King Abdullah University of Science and Technology.
The researcher will work in the group of Robert Hoehndorf on developing computational methods to analyze metagenomics data and apply them to environmental samples.

Requirements:

  • A completed PhD degree in a relevant field (Computer Science, Bioinformatics, Statistics, or related)
  • Experience, demonstrated by a publication record, in at least one of the following areas:
    • Analysis or improvement of algorithms used in genomics,
    • Innovative analysis of metagenomics data, in particular with respect to investigating protein functions and interactions (syntrophy)
  • Additionally, it would be beneficial if applicants are familiar with one or more of the following methods:
    • Genome graphs, including alignments to genome graphs
    • Semantic Technologies such as RDF and OWL for interoperability between research data

The postdoctoral researcher will join a team of students and scientists in a highly interactive and collaborative environment, and will be responsible for carrying out research, including presentation of research results at conferences and in scientific journals.
Postdoctoral researchers are entitled to a competitive salary (commensurate with the applicant's qualifications), fully-furnished housing on the KAUST campus, medical and life insurance, free education at KAUST schools for the researchers' children, and relocation allowance.  KAUST will be responsible for the actual recruiting decision, appointment offers and employment benefits.

How to Apply:

For Internal and external applicants please email robert.hoehndorf@kaust.edu.sa.

Contact:

For any questions related to the position, please contact Robert Hoehndorf (robert.hoehndorf@kaust.edu.sa).

About KAUST:
King Abdullah University of Science and Technology (KAUST) is an international, graduate-level research university dedicated to inspiring a new age of scientific achievement in the Kingdom of Saudi Arabia, in the region, and around the globe. As an independent, merit-based institution, KAUST enables top researchers from around the globe and across all cultures to work together to solve challenging scientific and technological issues.

The KAUST global research and education networks support diverse talents, both on its campus and at other premier universities and research institutions, through collaborative research agreements, grants, and student scholarship programs. KAUST is open to scientists from all around the world and is governed by an independent, self-perpetuating Board of Trustees. The core campus, located on more than 36 million square meters on the Red Sea at Thuwal, Saudi Arabia, was inaugurated on the 23rd of September 2009.

Postdoctoral researcher/Research Scientist in Bioinformatics

Overview:

We are seeking to fill a position for a postdoctoral researchers or research scientist at the Computational Bioscience Research Center at King Abdullah University of Science and Technology.

The researcher will work in the Hoehndorf lab/Bio-Ontology Research Group on developing and applying knowledge-based bioinformatics methods to understand molecular mechanisms of genotype-phenotype relations. Application areas are in rare disease, cancer, metagenomics, and plant science.

Requirements:

  • A completed Ph.D. and Master degree in a relevant field (Computer Science, Bioinformatics, Statistics, or related)
  • Experience, demonstrated by a publication record, in at least one of the following areas:
    • Development of novel methods in Bioinformatics or Biomedical data analytics
    • Application of AI methods to gain novel insights from biological datasets
    • Use of biological ontologies and methods from knowledge representation to analyze biological data
  • Strong programming experience and experience in software development

Main methods that are developed and used in the research group include network- and graph-based algorithms for biological data, machine learning algorithms, and methods from formal logic including Semantic Web technologies. The researcher will be responsible for carrying out research, including presentation of research results at conferences and in scientific journals.

Researchers are entitled to a competitive salary (commensurate with the applicant's qualifications), fully-furnished housing on the KAUST campus, medical and life insurance, free education at KAUST schools for the researchers' children, and relocation allowance.
KAUST will be responsible for the actual recruiting decision, appointment offers and employment benefits.

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 apply at https://apply.interfolio.com/89992.

Contact: 
For any questions related to the position, please contact Robert Hoehndorf (robert.hoehndorf@kaust.edu.sa).


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