错误信息

  • 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).

postdoctoral position

The Institute for Applied Software Systems Engineering (IPSSE) has an opening for a
postdoctoral position

The research association Institute for Applied Software Systems En­gi­nee­ring (IPSSE) was found in late 2011 as cooperation between TU Clausthal, TU Braunschweig and Volkswagen AG. IPSSE offers a creative environment with a possibility to conduct highly com­pe­ti­tive research on emerging fields such as automotive software en­gi­nee­ring and electromobility. There are plenty of opportunities to work with industrial partners like Volkswagen AG, EADS, Siemens AG, and so on.

The focus of IPSSE lies in methods and tools for the development of embedded software. In this scope, one of the prevailing themes of IPSSE is the application of model-driven approaches to automotive software engineering.

Currently, there are five areas of expertise: Reliable reactive sys­tems, adaptive und modular architectures, platform and development tools, hardware/software co-design, and continuing education. IPSSE has a recognized expertise in these fields, on both academic and industrial level. Concrete approaches in these fields are

Model-based development with support of product variants, reuse and evolution
Design of modular architectures
Measure and evaluate architecture erosion and quality with the goal of continuous architecture improvement
Definition and development of platforms, for example in the multi-core environment
Model management and automated consistency and quality assurance of models
Design and implementation of modeling and development tools, e.g. for implementation and testing
Test-driven development and model-based testing
Software quality: Formal methods, validation and verification
Design procedures for real-time systems and distributed real-time systems, also with the aid of co-design
Transcoding for systems with various design and execution paradigms
Safety: Detection of execution errors (during runtime) in programs and hardware (in-situ monitoring)

Job Description

In our location in Goslar, applying candidate is required to lead on­go­ing research projects, supervise our PhD students, and also take up management responsibilities of our research institute. As optional aspects candidates may give lectures and aim for a habilitation (both not mandatory but you have the option).

Requirements

The candidate must hold a PhD or equivalent with top performance in a field that is closely related to computer science. He should have a good background in software engineering and software modeling. Knowledge in embedded and real-time domain is also preferable. German language skills are required.

Conditions of Employment

The position is funded for a period of 6 years as full-time position. The PhD position has TV-L 14 salary level.

Application

Deadline for applications: March 31st, 2014
Applications shall be sent by e-mail or postal mail to

Prof. Dr. Andreas Rausch
Technische Universität Clausthal
Institut für Informatik − Software Systems Engineering
Julius-Albert-Str. 4
38678 Clausthal-Zellerfeld, Germany
E-Mail: ipsse-bewerbung@tu-clausthal.de
http://www.ipsse.de/

TU Clausthal is seeking to increase the number of women and par­ti­cu­larly encourages qualified women to apply for the position. Qua­li­fied applicants with a disability will be given preference. The ap­pli­ca­tion shall be accompanied by documentary evidence.