Stelios Tsampas
Just added
just-published
PhD and Postdoc Positions in Programming Languages and Formal Methods at University of Southern Denmark University of Southern Denmark in Denmark
Degree Level
PhD, Postdoc
Field of study
Computer Science
Funding
Full funding availableCountry
Denmark
University
University of Southern Denmark

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
About this position
University of Southern Denmark (FORM) is hiring PhD students and postdocs to work in Programming Languages and Formal Methods at the Centre for Formal Methods and Future Computing (FORM).
The announcement is shared by Stelios Tsampas, Assistant Professor at the University of Southern Denmark. The post highlights research opportunities in a strong computing theory/software area, suitable for candidates interested in language design, verification, program analysis, logic, and related foundations of future computing.
No detailed funding, stipend, tuition, or deadline information is included in the post excerpt. Interested applicants should follow the full calls linked in the post and review the official SDU career site pages for the specific PhD and postdoc vacancies, eligibility criteria, and application instructions.
Relevant study keywords: Programming Languages, Formal Methods, Computer Science, Mathematics, Future Computing.
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
Professors

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