错误信息

  • 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 Researcher

Alex 在 周四, 04/03/2014 - 17:56 提交

Max-Planck-Institut für Informatik

The Max Planck Institute for Informatics, located on the campus of Saarland University in Saarbrücken (Germany), seeks for immediate hire a
Postdoctoral Researcher

for its Automated Reasoning and Nonlinear Arithmetic research area. The area is coordinated by Thomas Sturm and forms part of the Automation of Logic Group, which includes 17 researchers from several countries worldwide. Our working language is English. The group collaborates with several major research institutions in Europe and the U.S. and has high international visibility. Saarbrücken is one of Europe‘s leading locations for computer science research and home to two Max Planck institutes, the German Research Center for Artificial Intelligence, and the Informatics Faculty at Saarland University. Over 70 faculty members supervise the ongoing research of approximately 500 Ph.D. students each year.

Employment is limited to 18 months with a possible 6-month extension. Salary is on the TVöD Bund E14 level, which amounts to 3,000 to 5,000 euro per month pre-tax, depending on qualification

Your tasks:
scientific work within the context of an international project co-funded by the German DFG and the French ANR (http://smart.gforge.inria.fr/)

Your qualifications:
- a doctoral degree in informatics, mathematics, or the sciences
- leadership skills that enable you to successfully carry the project through to completion
- a strong background in SMT solving or symbolic computation
- experience in the realization of software projects

Disabled applicants are encouraged to apply. Our institute supports equal opportunity for men and women, and therefore welcomes applications from women.

Your application should include a curriculum vitae, the names and email addresses of your references, a list of publications, and two selected publications (preferably just URLs). Please send your application as one PDF file by email to Thomas Sturm (sturm@mpi-inf.mpg.de) by April 30, 2014.

If you have questions, please do not hesitate to contact us by email.
E-Mail: sturm@mpi-inf.mpg.de
http://smart.gforge.inria.fr/

Tags: 
Postdoc