Up to 30% off — ends 2 Aug
ONLY00h00m00s
Up to 30% off — ends 2 Aug
ONLY00h00m00s
University of Koblenz
Just Landed
Posted Yesterday
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 availableCountry
Germany
University
University of Koblenz

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
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

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.