<div dir="ltr"><br><div class="gmail_quote"><br><div dir="ltr">Don't hesitate to distribute further! Closing 13 May 2013<div><br></div><div>Full announcement and link to application portal: <a href="http://www.gu.se/english/about_the_university/announcements-in-the-job-application-portal/?languageId=100001&contentId=-1&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fomuniversitetet%2Faktuellt%2Fledigaanstallningar%2F%3Fid%3D19144%26Dnr%3D537259%26Type%3DS&id=19144&Dnr=537259&Type=S" target="_blank">http://www.gu.se/english/about_the_university/announcements-in-the-job-application-portal/?languageId=100001&contentId=-1&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fomuniversitetet%2Faktuellt%2Fledigaanstallningar%2F%3Fid%3D19144%26Dnr%3D537259%26Type%3DS&id=19144&Dnr=537259&Type=S</a><br>
<div><br></div><div>---------------------</div><div><br></div><div><div style="width:460px;max-width:460px;float:left;margin:15px 5px 0px 15.03125px"><div><h1 style="font-weight:normal;margin:0.5em 0px 0.25em;font-size:1.625em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:31px;color:rgb(1,84,151)">
Two post doctor positions in Computer science: Language Technology and Formal Methods</h1><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">Type of employment: Fixed-term employment, Two years<br>
Extent: 100 %<br>Location: Department of Computer Science and Engineering, Johanneberg - Göteborg<br>First day of employment: As agreed<br>Reference number: PER 2013/131<br></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">
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). <br>
<br>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.<br>
</p><h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">Subject area</h3>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">Computer science: Language Technology and Formal Methods</p><h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">
Specific subject description</h3><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">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.)</p>
<h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">Job assignments</h3>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">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. <br>
<br>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.<br>
<br></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><div><h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">
Eligibility</h3><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">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.</p>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p></div><div><h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">
Assessment</h3><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">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. <br>
<br>The following qualifications, if reported as a part of the application, will be used for assessing the candidates: <br>- PhD thesis (at least a draft), in an area related to REMU <br>- publications, in an area related to REMU<br>
- programming skills, in particular, functional programming <br>- mathematical skills, in particular, formal languages, logic, statistics <br>- extensive language skills, and/or knowledge of linguistics <br>- work experience from demanding software projects <br>
- recommendations, from the PhD supervisor and/or examiner and/or other persons in areas related REMU</p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p></div><div><h3 style="font-weight:normal;margin:1.25em 0px 0.125em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:28px;color:rgb(1,84,151);font-size:1.1875em">
Additional information</h3><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">A complete application for this position should include:<br>
<br>A first page containing your name and a list of all documents that have been attached<br>-CV<br>-Attested copies of education certificates, including grade reports and other documents, English language test, e.g. TOEFL score<br>
-Letters of recommendation from academic institutions and/or previous employers<br>-Details of your specific qualifications for the position maximum two A4 page<br>-List of publications<br>-Relevant work including Phd thesis (or a draft of a thesis under preparation). and publications</p>
<br><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p></div></div><div></div></div><div style="width:220px;max-width:220px;float:left;margin:15px 5px 0px 15.03125px">
<div style="margin-bottom:2em;margin-top:1.25em"><h2 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1.1875em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:22px;color:rgb(1,84,151);padding:0px 0px 1px 5px;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(6,18,36);border-left-width:2px;border-left-style:solid;border-left-color:rgb(6,18,36)">
Log in</h2><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"><a href="http://gudok.gu.se/E-rek_CV/Login.aspx?type=E" style="color:rgb(119,119,119)" target="_blank">To the job application portal</a></p>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">NB. The online job application portal is optimized for Firefox 3.0.8 and Internet Explorer 8.0 (or later versions).</p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">
<a href="http://www.gu.se/digitalAssets/1436/1436896_manual-for-the-job-application-portal.pdf" style="color:rgb(119,119,119);margin:0.5em 0px 0.375em 4px;padding:0px 0px 0px 21px;display:block;clear:both;background-image:url(http://www.gu.se/digitalAssets/1275/1275376_pdf.gif);background-repeat:no-repeat no-repeat" target="_blank">User manual for the portal</a></p>
</div><div style="margin-bottom:2em;margin-top:1.25em"><h1 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1.1875em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:22px;color:rgb(1,84,151)">
Related information</h1><h2 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:19px;color:rgb(1,84,151)">For further information please contact</h2>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">Aarne Ranta, Professor <br><a href="tel:%2B46%2031%20772%201082" value="+46317721082" target="_blank">+46 31 772 1082</a> <br><a href="mailto:aarne@chalmers.se" style="color:rgb(119,119,119)" target="_blank">aarne@chalmers.se</a><br>
<br>Koen Claessen, Deputy head of department <br><a href="tel:%2B46%2031%20772%205424" value="+46317725424" target="_blank">+46 31 772 5424</a> <br><a href="mailto:koen@chalmers.se" style="color:rgb(119,119,119)" target="_blank">koen@chalmers.se</a><br>
<br>Gerardo Schneider, Associate professor <br>
<a href="tel:%2B46%2031%20772%206073" value="+46317726073" target="_blank">+46 31 772 6073</a> <br><a href="mailto:gersch@chalmers.se" style="color:rgb(119,119,119)" target="_blank">gersch@chalmers.se</a><br><br><a href="http://www.chalmers.se/cse" style="color:rgb(119,119,119)" target="_blank">www.chalmers.se/cse</a></p>
<h2 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:19px;color:rgb(1,84,151)">Labour union</h2><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">
OFR/S: Stefan Schedin <br><a href="tel:%2B46%2031%20786%204770" value="+46317864770" target="_blank">+46 31 786 4770</a> <br><a href="mailto:stefan.schedin@gu.se" style="color:rgb(119,119,119)" target="_blank">stefan.schedin@gu.se</a><br>
<br>SACO: Martin Selander <br><a href="tel:%2B46%2031%20786%201987" value="+46317861987" target="_blank">+46 31 786 1987</a> <br><a href="mailto:martin.selander@gu.se" style="color:rgb(119,119,119)" target="_blank">martin.selander@gu.se</a><br>
<br>SEKO: Lennart Olsson <br><a href="tel:%2B46%2031%20786%201173" value="+46317861173" target="_blank">+46 31 786 1173</a> <br><a href="mailto:lennart.olsson@seko.fack.gu.se" style="color:rgb(119,119,119)" target="_blank">lennart.olsson@seko.fack.gu.se</a><br>
<br></p><h2 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:19px;color:rgb(1,84,151)">
Closing date</h2><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">2013-05-13<br><input type="button" name="applyButton" value="Apply online" style="margin-top:0.75em;margin-bottom:0.5em;padding:0px 0px 0px 2px;font-size:11px;font-family:Verdana,Arial,Helvetica,sans-serif;display:block"></p>
<h2 style="font-weight:normal;margin:0px 0px 0.5em;font-size:1em;font-family:HelveticaNeue-Light,'Helvetica Neue Light',Helvetica,Arial,sans-serif;line-height:19px;color:rgb(1,84,151)">Appointment Procedure</h2><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">
</p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">Please apply online.<br><br>Complementary documents, such as publications/books should be sent to the following address:<br><br>Ann-Britt Karlsson<br>
IT Faculty<br>Lindholmen<br>SE 412 96 Göteborg<br><br>Reference number should be clearly stated when sending complementary documents.</p><br><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em"></p>
<p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">The University of Gothenburg promotes equal opportunities, equality and diversity.<br></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">
Salary is determined on an individual basis.<br></p><p style="margin:0px 0px 1em;padding:0px;line-height:18px;font-size:0.75em">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.<br>
</p><div><br></div></div></div><div style="clear:both;min-height:0px"></div><div style="margin-top:3em;margin-bottom:2em"><div style="width:220px;max-width:220px;float:left;margin:15px 5px 0px 15.03125px;color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:16px;line-height:16px">
</div></div></div></div></div>
</div><br></div>