错误信息

  • Deprecated function: Return type of DatabaseStatementBase::execute($args = [], $options = []) should either be compatible with PDOStatement::execute(?array $params = null): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2244 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: Return type of DatabaseStatementEmpty::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2346 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: Return type of DatabaseStatementEmpty::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2346 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: Return type of DatabaseStatementEmpty::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2346 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: Return type of DatabaseStatementEmpty::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2346 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: Return type of DatabaseStatementEmpty::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in require_once() (line 2346 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/database/database.inc).
  • Deprecated function: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in drupal_random_bytes() (line 2268 of /homepages/32/d183506926/htdocs/MyDiss/dr722/includes/bootstrap.inc).
  • Deprecated function: strpos(): Passing null to parameter #1 ($haystack) of type string is deprecated 在 url_is_external() (行 2393/homepages/32/d183506926/htdocs/MyDiss/dr722/includes/common.inc).
  • Deprecated function: str_replace(): Passing null to parameter #3 ($subject) of type array|string is deprecated 在 url_is_external() (行 2395/homepages/32/d183506926/htdocs/MyDiss/dr722/includes/common.inc).
  • Deprecated function: ltrim(): Passing null to parameter #1 ($string) of type string is deprecated 在 url() (行 2311/homepages/32/d183506926/htdocs/MyDiss/dr722/includes/common.inc).

Postdoc position on the Mercedes project in Twente (Netherlands): "Maximal Reliability of Concurrent and Distributed Software"

Postdoc position on the Mercedes project in Twente (Netherlands): "Maximal Reliability of Concurrent and Distributed Software"
Specifications

Location
Function types
Scientific fields
Hours
Salary
Education
Job number
About employer Enschede
Postdoc positions
Engineering
38.0 hours per week
€ 3068
Doctorate
901397
University of Twente (UT)

Job description

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute CTIT.

We have a Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software.

The position will initially be for 2 years, with a possibility of extension of upto 3 more years.

University of Twente
Group: Formal Methods and Tools
Contact: Prof.dr. Marieke Huisman (m.huisman@utwente.nl)
Project webpage: fmt.ewi.utwente.nl/research/projects/Mercedes/

The challenge
You will be working on the Mercedes project, a 1,5 million euro personal grant for Marieke Huisman, funded by NWO.

Goal of the Mercedes project is to develop techniques to ensure the maximal reliability of concurrent and distributed software. This is achieved by developing a technique to construct an abstract mathematical model from a concurrent or distributed application, such that program logics can be used to prove the formal connection between the software and its abstraction.

The framework will be general, capturing many different concurrent and distributed programming paradigms. An important goal of the project is to support automated reasoning, by developing techniques to automatically generate the necessary additional annotations.

The project will also investigate the use of the abstraction theory in the opposite direction, to derive a correct program via refinement.

We are looking for a Post Doc to work on the following subproject:
Refinement: a refinement technique to derive concrete program code from an abstract model.
All results of the Mercedes project will be integrated in the VerCors tool set for verification of concurrent software, which is a result of my earlier ERC project on verification of concurrent software.

For more information about the concrete subprojects, please contact Marieke Huisman.

Requirements

We are looking for a researcher with an independent mind who is willing to cooperate in our team. It is understood that he or she works on the topics listed above. Further we ask for good communicative and collaboration skills. Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications and (prototype) tools.

Your application should consist of:
a cover letter (explaining your specific interest and qualifications);
a full Curriculum Vitae;
a list of all publications, and a short description of your PhD thesis;
references (contact information) of two scientific staff members.
Deadlines: May 1, 2017, or until the positions are filled. Earlier applications are welcome and an early start date is an advantage. Please submit your application via www.utwente.nl/vacatures/en/ before May 1, 2017.
Further information:
FMT group: fmt.cs.utwente.nl/
Prof.dr. Marieke Huisman (M.Huisman@utwente.nl)
Project webpage: fmt.ewi.utwente.nl/research/projects/Mercedes/

Conditions of employment

The University of Twente offers excellent working conditions, an exciting scientific environment, and a green and lively campus. We offer:
One Post Doc for two years (38 hrs/week), with a possibility of extension of upto 3 more years.
A stimulating scientific environment.
Full status as an employee at the University of Twente, including pension and health care benefits.
Gross salary for a Postdoc is dependent on experience and background, but will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance (8%) and end-of-year bonus (8.3%).
Excellent facilities for professional and personal development.
Good secondary conditions, in accordance with the collective labour agreement CAO-NU for Dutch universities.
A green and lively campus, with lots of sports facilities and other activities.
Starting date of the position:
as soon as possible, preferably before June 1, 2017.

Employer

The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which drives change, innovation and progress in society. The University of Twente is the only campus university in the Netherlands; divided over six faculties we provide more than fifty educational programmes. The University of Twente has a strong focus on personal development and talented researchers are given scope for carrying out pioneering research.

The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes MESA+, CTIT and MIRA.

www.academictransfer.com/39689

Tags: