KU LEUVEN

PhD Position in Programming Languages and Type Systems

Employer
KU LEUVEN
Location
Leuven, Louvain (BE)
Posted
Jun 30, 2020
End of advertisement period
Jul 31, 2020
Contract Type
Fixed Term
Hours
Full Time

PHD POSITION IN PROGRAMMING LANGUAGES AND TYPE SYSTEMS

(ref. BAP-2020-504)

The research team of prof. Tom Schrijvers of the Section Declarative Languages and Artificial Intelligence of the Deparment of Computer Science at KU Leuven has expertise in a broad range of topics related to functional programming and programming language theory, including contributions to the Haskell language, type systems and type inference, programming language meta-theory, purely functional effects, etc.

Project

You will work on our new "Implicit Type-Directed Code Generation" project, advancing the state of the art in elaboration-based type system features like Haskell's type class mechanism and Scala's implicits. This involves designing new type system features, developing type inference algorithms, proving meta-theory, and implementing case studies.

Profile

We are looking for a candidate who exhibits the following qualities:

  • You have a master degree in Computer Science with excellent grades.
  • You are familiar with several of: Haskell, Scala, functional programming, programming language theory, type inference, proof assistants.
  • You are comfortable with both theory and practical implementation.
  • You are responsible, can work both independently and in a team, show initiative and seize opportunities.
  • You have a good command of the English language, in spoken and written form.

Offer

We offer a PhD position in computer science with negotiable start date (earliest: October 1, 2020).Your contract is renewed yearly upon positive evaluation, for a maximal term of 4 years.

Interested?

For more information please contact Prof. dr. ir. Tom Schrijvers, mail: tom.schrijvers@kuleuven.be.

You can apply for this job no later than July 31, 2020 via the online application tool

KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.

Similar jobs

Similar jobs