[Haskell] PhD Positions in Formal Methods and Language-based Security at Chalmers
*PhD* Positions in Formal Methods and Language-based Security at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: March 30, 2013 *Job description ...* *... of the 2 PhD positions in Formal Methods* The Formal Methods group is an internationally recognized research group with a high-profile research track record and an excellent network of collaborators. The group's research focus is in the theoretical and practical aspects of formal software verification, including automated reasoning, interactive theorem proving, runtime verification, and test generation. Together with international collaborators, the group members co-developed widely recognized verification tools like KeY (www.key-project.org), Vampire (http://vprover.org), ALIGATOR (http://mtc.epfl.ch/software-tools/Aligator), and LARVA. The research of the two advertised PhD positions will be in the area of Software Verification, where - one position has a stronger focus on the creative use and development of automated reasoning techniques for software verification, - the other has a stronger focus on combining static and runtime verification of software. The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the group. *... of the (up to) 2 PhD positions in Language-based Security* The PhD students will join a world-leading team of researchers on programming language-based security. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality and integrity, as demanded by practical applications (such as web applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. We run a number of ambitious projects with top international partners in academia and industry, including the European project WebSand on web application security: https://www.websand.eu/ *Details about Employment* PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is 26,250SEK a month before tax. The positions are intended to start in spring or fall 2013. *Suitable Background* Applicants for a PhD position must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal candidate for a position in Formal Methods will have strong background in one or more of the following areas: logic, theorem proving, software verification. The ideal candidate for a position in Language-based Security will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. *The Department* The Department has about 70 faculty members and enrolls about 70 PhD students from more than 30 countries. The research spans the whole spectrum, from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. For more information, see http://www.chalmers.se/cse/EN/ Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students come from more than 30 different countries. *Gothenburg, Sweden* Gothenburg is often referred to as the "heart of Scandinavia". The videos below give an impression what it's like to live and study in Gothenburg. Live in Gothenburg: http://youtu.be/sbwVIQeGcdY Study in Gothenburg: http://youtu.be/0WrlGlSyS1c *How to Apply* Electronic
[Haskell] 4 PhD Positions at Chalmers
4 PhD Positions at Chalmers University of Technology, Gothenburg, Sweden Deadline: October 31, 2012 The Department of Computer Science and Engineering ( http://www.chalmers.se/cse/EN ) has about 70 faculty members and enrolls about 70 PhD students from more than 30 countries. The research spans the whole spectrum from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. We particularly encourage applicants with interests in: -Programming language-based security (up to 2 positions): http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL=VacDetail%2Easpx%3FCommAdSeqNo%3D805 or contact Andrei Sabelfeld (andrei at chalmers.se) -Parallel algorithms and data structures in heterogeneous multi-core systems: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL=VacDetail%2Easpx%3FCommAdSeqNo%3D798 or contact Philippas Tsigas (tsigas at chalmers.se) -Privacy through language-based security and formal methods: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL=VacDetail%2Easpx%3FCommAdSeqNo%3D807 or contact Gerardo Schneider (gerardo.schneider at ituniv.se) Information on how to apply can be found via the URL’s above. Applicants shall have a Master’s Degree or corresponding in Computer Science, Computer Engineering, or in a related discipline. A genuine interest and curiosity in the subject matter and excellent analytical and communication skills, orally as well as literally, are needed. The employment is expected to start early 2013 (deviations are negotiable). As a Ph.D. student you are employed by Chalmers and will receive a salary according to current salary agreements (starting salary at present: approx. 25000SEK before taxes). A maximum of 20% of your time will be devoted to other duties at the department, mainly teaching. The remaining time will be devoted to your own courses and research within the project and you are expected to obtain a Ph.D. within a maximum of 5 years. You may apply even though you might not have completed your degree yet, but expect to do so before the position starts. Knowledge of Swedish is not a prerequisite for application. English is our working language for research and education at Master level. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries. Live in Gothenburg: http://youtu.be/sbwVIQeGcdY Study in Gothenburg: http://youtu.be/0WrlGlSyS1c ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Summer School in Software Engineering and Verification 2011 - Call For Participation
Call for participation Summer School in Software Engineering and Verification will take place outside of Moscow, Russia, on July 17–27, 2011. The school is co-sponsored by Microsoft Research and is organized in cooperation with the Higher School of Economics (HSE) in Moscow. Courses The school will consist of a number of courses from international leaders in their field, including: * Tony Hoare, Microsoft Research, UK foundations of program verification * Andrei Voronkov, University of Manchester, UK automation of proof and disproof * Patrice Godefroid, Microsoft Research, US software model checking and automatic test case generation * Yannis Smaragdakis, University of Massachusetts, Amherst, US static analysis and bug detection * Stephan Tobies, Microsoft, Germany verification of concurrent C programs and operating systems * Natasha Sharygina, University of Lugano, Switzerland model checking * Ben Livshits, Microsoft Research, US program analysis and its applications School Goals The aim of the school is to attract promising graduate students and young scientists, and to encourage and prepare them for research in software engineering, verification, and program analysis. The students will be exposed to a combination of classical results as well as leading-edge research. To encourage research participation, the students will be required to complete a project as part of the school. We also want to provide a stimulating environment for students to meet and establish ties with each other, local faculty members and industry researchers, as well as school lecturers, who are among the top scientists in their area. Primary participants We are primarily targeting students from Russia as well as countries in Scandinavia and Eastern Europe. For more information about the school and to register for the school, please consult: http://research.microsoft.com/en-us/um/redmond/events/sssev2011/ We strongly encourage people interested in participating to register as soon as possible. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] PhD and Postdoc Positions in Language-based Security at Chalmers
*PhD* and *Postdoc* Positions in Programming Language-based Security Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: January 12, 2011 *Job description* The PhD students and postdocs will join a world-leading team of researchers on programming language-based security. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality and integrity, as demanded by practical applications (such as web applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. *Details about Employment* PhD student positions are limited to five years and will then normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is around 25,000SEK a month before tax. The positions are intended to start in spring or fall 2011. Postdoc positions are typically for one year with possibility for extension with one year (two years in total is the typical duration). As a Chalmers employee, the monthly salary will be set according to current salary agreements (currently around 33,000SEK before tax). The starting date is negotiable. *Suitable Background* Applicants for a PhD position must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal candidate for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. Applicants for a Postdoc position should have a recent PhD degree in Computing Science. They must have a well-documented research track record. Expertise in either programming languages or security and interest to both areas is a prerequisite. You may even apply if you have not yet completed your PhD degree, but expect to do so before the position starts. *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see http://www.chalmers.se/cse/EN/ . Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes. The rest come from more than 30 different countries. *How to Apply* Electronic application can be submitted following these guidelines: PhD positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-positions-in Postdoc positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-positions-in ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] PhD Positions in Language-based Security at Chalmers
*PhD Student Positions in Programming Language-based Security* Dept. of Computer Science and Engineering Chalmers University of Technology, Sweden Application deadline: January 30, 2009 Full version of this announcement is at: http://www.chalmers.se/cse/EN/news/vacancies/positions/ph-d-positions-in *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty members. For more information, see http://www.chalmers.se/cse/EN/. *PhD Project* The PhD students will join a world-leading team of researchers on *programming language-based security*. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. Drawing on the recent progress in this area, the goal of the positions is to pursue the following directions of work: * To design *rich security policies* for confidentiality and integrity, as demanded by practical applications (such as web applications). These security policies should be formal: they should operate at the level of programming-language semantics. * To develop *practical enforcement mechanisms* for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. * To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. *Details about Employment* PhD student positions are limited to five years and will then normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers? general agreement for PhD student positions, currently around 23,000SEK a month before tax. The positions are intended to start in spring or fall 2009. *Suitable Background* Applicants must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal student for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. In order to improve gender balance, Chalmers welcomes in particular applications from female candidates. *How to Apply* Application can be submitted electronically following the "Application details" and "Application procedure" guidelines at: http://www.chalmers.se/cse/EN/news/vacancies/positions/ph-d-positions-in ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] PhD Positions in Language-based Security at Chalmers
*PhD Student Positions in Programming Language-based Security* Dept. of Computer Science and Engineering Chalmers University of Technology, Sweden Application deadline: April 30, 2008 Full version of this announcement: http://www.chalmers.se/en/sections/news/vacancies/positions/phd-student-positions-in6722 *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see http://www.chalmers.se/cse/EN/. Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries. *PhD Project* The PhD students will join a world-leading team of researchers on *programming language-based security*. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on *language-based information-flow security*. Given a program that manipulates sensitive data, the aim is to make sure there is no information flow (caused by the execution of the program) that may compromise the sensitive data. Drawing on the recent progress in this area, the goal of the positions is to pursue the following directions of work: * To design *rich security policies* for confidentiality and integrity, as demanded by practical applications (such as web applications). These security policies should be formal: they should operate at the level of programming-language semantics. * To develop *practical enforcement mechanisms* for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. * To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. *Details about Employment* PhD student positions are limited to five years and will then normally include 20% departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. The positions are intended to start on September 1, 2008. In exceptional cases, we can imagine moving the starting date. *Suitable Background* Applicants must have a very good degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal student for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. In order to improve gender balance, Chalmers welcomes in particular applications from female candidates. *How to Apply* The full application should contain 1. A letter of application, listing specific research interests 2. Copies of degrees and other certificates 3. A curriculum vitae 4. Letters of recommendation from your teachers or employers 5. Copies of relevant work, for example dissertations, theses, or articles, that you have authored or co-authored You MUST include letters of recommendation: we typically get over 100 applications, and it is simply not feasible for us to request individual letters! Your application needs to include the job reference number 2008/60. The last date for your full application to arrive is April 30, 2008. The application can be submitted electronically, or on paper, following the guidelines on this web page: http://www.chalmers.se/en/sections/news/vacancies/positions/phd-student-positions-in6722 ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell