Two post doctor positions in Gothenburg in Computer science: Language Technology and Formal Methods
Aarne Ranta
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 - Göteborg
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.
Eligibility
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 leave.
Assessment
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
-CV
-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 employers
-Details of your specific qualifications for the position maximum two A4 page
-List of publications
-Relevant work including Phd thesis (or a draft of a thesis under preparation). and publications
Log in
NB. The online job application portal is optimized for Firefox 3.0.8 and Internet Explorer 8.0 (or later versions).
Related information
For further information please contact
Aarne Ranta, Professor
+46 31 772 1082
aa...@chalmers.se
Koen Claessen, Deputy head of department
+46 31 772 5424
ko...@chalmers.se
Gerardo Schneider, Associate professor
+46 31 772 6073
ger...@chalmers.se
www.chalmers.se/cse
Labour union
OFR/S: Stefan Schedin
+46 31 786 4770
stefan....@gu.se
SACO: Martin Selander
+46 31 786 1987
martin....@gu.se
SEKO: Lennart Olsson
+46 31 786 1173
lennart...@seko.fack.gu.se
Closing date
2013-05-13
Appointment Procedure
Please apply online.
Complementary documents, such as publications/books should be sent to the following address:
Ann-Britt Karlsson
IT Faculty
Lindholmen
SE 412 96 Göteborg
Reference number should be clearly stated when sending complementary documents.
The University of Gothenburg promotes equal opportunities, equality and diversity.
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.