Summer Sale

Up to 30% off — ends 2 Aug

ONLY00h00m00s

Publisher
source

University of Koblenz

Just Landed

PhD Position in Symbolic AI, Ontologies, Formal Specification, and Software Engineering at University of Koblenz University of Koblenz in Germany

Degree Level

PhD

Field of study

Computer Science

Funding

Full funding available
Country flag

Country

Germany

University

University of Koblenz

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Ontology
Software Engineering

Suggested positions

About this position

Open PhD position at SoftLang, Faculty of Computer Science, University of Koblenz (Germany).

The position is for a PhD researcher to join Ralf Lämmel and work on research at the intersection of symbolic AI, ontologies, formal specification (especially logic-based approaches), and automation in software engineering.

Funding: 100% TV-L E13, initial funding for three years, with a reduced teaching obligation.

Eligibility / requirements: The post mentions German-language proficiency as one selection criterion among several. The ideal candidate should have a strong fit with computer science and software engineering research, especially in formal methods, knowledge representation, and AI-related software engineering topics.

How to apply: Read the formal job advertisement using the provided link and contact the supervisor directly if you have questions. The post encourages prospective applicants to reach out and asks colleagues to share the opportunity with suitable candidates.

Keywords: computer science, software engineering, symbolic AI, ontologies, formal methods, logic, automation.

Funding details

Full funding including tuition fees and living expenses is available for this position. The scholarship covers all educational costs and provides a monthly stipend.

How to apply

Please submit your application including a cover letter, CV, academic transcripts, and contact information for two references. Applications should be sent via the online portal before the deadline.

More information can be found here

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?