From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4453 Path: news.gmane.org!not-for-mail From: David.Clarke@cwi.nl Newsgroups: gmane.science.mathematics.categories Subject: PhD Positions in Secure Software and Languages Date: Tue, 22 Jul 2008 17:08:36 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019955 13356 80.91.229.2 (29 Apr 2009 15:45:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:55 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jul 23 10:17:48 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 23 Jul 2008 10:17:48 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KLeBx-0007TX-Pk for categories-list@mta.ca; Wed, 23 Jul 2008 10:15:41 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 20 Original-Lines: 95 Xref: news.gmane.org gmane.science.mathematics.categories:4453 Archived-At: [Please forward this announcement to interested students] Two PhD Positions in Secure Software and Languages Department of Computer Science Katholieke Universiteit Leuven, Belgium Applications are invited for two PhD positions within the DistriNet Research Group at the Katholieke Universiteit Leuven, Belgium. The research will be conducted under the supervision of David Clarke. * Research topics: These positions are devoted to research on secure software and languages, including, but not limited to: * modelling highly adaptable trustworthy systems * types and models for software families * logic and type systems for security; ownership types; pluggable types * programming languages for secure software * Profile & skills - Clear interest in and knowledge of the subject, based on education, work or research experience - Masters in Computer Science or Informatics - Team player; capability to work in an international research team - Proficiency in English and excellent communication skills, both oral and written - Prior knowledge in the areas of type systems, security, programming languages and/or formal methods is an advantage. * About DistriNet The "Distributed systems and computer Networks=E2" (DistriNet) research group was founded in 1984 as part of the Department of Computer Science at the K.U.Leuven. DistriNet's research focus and scope is twofold: distributed software=E2 and secure software. The group works on a wide range of topics including computer networks, middleware, internet architectures, network and software security, embedded systems and multi-agent systems. DistriNet's research is generally application driven and often conducted in collaboration with industry partners. Currently DistriNet counts 60 members (8 professors, 12 post-docs and 45 junior researchers) and participates in about 30 national and international research projects. The annual budget amounts to approximately 5MEuro. More information on projects and publications can be found on the DistriNet web pages: http://distrinet.cs.kuleuven.be/ * About Leuven Lively Leuven is a picturesque and upbeat Flemish city, just 25km from Brussels, and within 3 hours of major European centres such as Antwerp, Amsterdam, London and Paris. Leuven is shaped by its healthy student population - some 25,000 of them - more than a quarter of the town's population. * Further Information and Application Procedure Requests for further information and other informal enquiries can be sent to: Dr. David Clarke David.Clarke at cs.kuleuven.be Those interested in the position are asked to send e-mail to the address given above. Full Details of the application process are available upon request, but an application will include: 1. A cover letter stating the applicant's interest in the project. 2. A full curriculum vitae, including an abstract of the applicant's master's thesis and the name of their supervisor. 3. Letters of recommendation or references from at least two scientific staff members. (Letters of recommendation should either be included along with the application, or should arrive separately promptly.) 4. A completed application for postgraduate study at the K.U.Leuven. Applications and instructions are available at http://www.kuleuven.be/phd/ Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority. The PhD positions are for 4 years. The start date is negotiable, 1 October 2008 at the earliest.