FYI:
LARA Lab offers several projects that are related to natural language
processing:
https://lara.epfl.ch/w/p/top#relating_natural_languages_to_programming_and_specification_languages
They have updated that page only recently
The contact person is Dr. Nataliia Stulova.