[Agda] Fwd: Two post doctor positions in Gothenburg in Computer science: Language Technology and Formal Methods

Aarne Ranta aarne at chalmers.se
Sat May 4 09:53:42 CEST 2013

Don't hesitate to distribute further! Closing 13 May 2013

Full announcement and link to application portal:


Two post doctor positions in Computer science: Language Technology and
Formal Methods

Type of employment: Fixed-term employment, Two years
Extent: 100 %
Location: Department of Computer Science and Engineering, Johanneberg -
First day of employment: As agreed
Reference number: PER 2013/131

The Department of Computer Science and Engineering (CSE) at the University
of Gothenburg and Chalmers University of Technology announces two PhD
positions within the research project Reliable Multilingual Digital
Communication: Methods and Applications (REMU) funded by the Swedish
Research Council(Vetenskapsrådet).

The CSE Department provides a strong, international, and dynamic research
environment with about 70 faculty and 70 PhD students from about 30
countries. The Postdoc positions are located jointly in two research
groups: Language Technology and Formal Methods. They will work together
with the PhD studentsand senior researchers involved in the REMU project.
The seniors directlyinvolved with REMU are professors Aarne Ranta (REMU
principal scientist), KoenClaessen, and Gerardo Schneider.
Subject area

Computer science: Language Technology and Formal Methods
Specific subject description

REMU builds on the unique joint competence of the Department in the area of
language technology, formal methods, and functional programming. It
objective is to develop methods for high-quality machine translation,
formal verification, reasoning, and information retrieval of
mission-critical documents such as contracts and legal texts. Building on
formalized interlingual representations (abstract syntax), the REMU project
will target applications in several parallel languages. The research
problems range from fundamental language-theoretic questions (e.g.
ambiguity detection) to practical system building (e.g. an editor by which
end users can build multilingual web pages). In the mid ground, the project
has topics in grammar engineering, theorem proving, software testing
methodology, and logical modelling. REMU builds on tools previously
developed at the department and also develops them further (the Grammatical
Framework GF, the software testing tool QuickCheck, the theorem prover
Equinox, the contract tool AnaCon.)
Job assignments

The Postdoc positions are open for persons with a Doctoral degree in
computer science, computational linguistics, or a related field. Their
research topics will be selected on an indivial basis from the tasks
defined in REMU's research plan.

The positions are for two years, with a start between 1 June and 31
December 2013, as agreed with the selected holders of the positions. There
is a possibility of extension due to specific reasons. The Postdocs may
work up to 20% of their time in teaching and other departmental duties,
according to individual agreement. Postdocs get a regular full-time salary
and social security.


To qualify as a postdoctoral fellow, the applicant must have completed a
Swedish doctoral degree or must have a foreign degree corresponding to a
Swedish doctoral degree. Preference will be given to candidates who have
been awarded the degree no more than three years before the application
deadline and who have not held a post-doc position within the same or
similar subject area at the University of Gothenburg for more than one
year. Applicants with a degree obtained earlier than the stipulated three
years may be preferred if special reasons exists. Special reasons in this
context include, but are not limited to, leave due to illness and parental


An applicant to the positions must have graduated with a Doctoral degree
before the start of the Postdoctoral employment, but preferably not earlier
than April 2010. At the time of application, it is enough to have a
realistic plan leading to a degree so that the work can start before the
end of 2013.

The following qualifications, if reported as a part of the application,
will be used for assessing the candidates:
- PhD thesis (at least a draft), in an area related to REMU
- publications, in an area related to REMU
- programming skills, in particular, functional programming
- mathematical skills, in particular, formal languages, logic, statistics
- extensive language skills, and/or knowledge of linguistics
- work experience from demanding software projects
- recommendations, from the PhD supervisor and/or examiner and/or other
persons in areas related REMU

Additional information

A complete application for this position should include:

A first page containing your name and a list of all documents that have
been attached
-Attested copies of education certificates, including grade reports and
other documents, English language test, e.g. TOEFL score
-Letters of recommendation from academic institutions and/or previous
-Details of your specific qualifications for the position maximum two A4
-List of publications
-Relevant work including Phd thesis (or a draft of a thesis under
preparation). and publications

 Log in

To the job application portal<http://gudok.gu.se/E-rek_CV/Login.aspx?type=E>

NB. The online job application portal is optimized for Firefox 3.0.8 and
Internet Explorer 8.0 (or later versions).

User manual for the
 Related informationFor further information please contact

Aarne Ranta, Professor
+46 31 772 1082
aarne at chalmers.se

Koen Claessen, Deputy head of department
+46 31 772 5424
koen at chalmers.se

Gerardo Schneider, Associate professor
+46 31 772 6073
gersch at chalmers.se

Labour union

OFR/S: Stefan Schedin
+46 31 786 4770
stefan.schedin at gu.se

SACO: Martin Selander
+46 31 786 1987
martin.selander at gu.se

SEKO: Lennart Olsson
+46 31 786 1173
lennart.olsson at seko.fack.gu.se

Closing date

Appointment Procedure

Please apply online.

Complementary documents, such as publications/books should be sent to the
following address:

Ann-Britt Karlsson
IT Faculty
SE 412 96 Göteborg

Reference number should be clearly stated when sending complementary

The University of Gothenburg promotes equal opportunities, equality and

Salary is determined on an individual basis.

Applications will be destroyed or returned (upon request) two years after
the decision of employment has become final. Applications from the employed
and from those who appeal the decision will not be returned.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130504/bbdd6004/attachment-0001.html

More information about the Agda mailing list