Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

A formal parsing algorithm should not always be used. -- D. Gries


devel / comp.lang.functional / Professor Position: Declarative Methods for Cognitive Robotics

SubjectAuthor
o Professor Position: Declarative Methods for Cognitive RoboticsTom Schrijvers

1
Professor Position: Declarative Methods for Cognitive Robotics

<a5902a68-b91f-4c41-ad2f-6f8d9bb7c338n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9884&group=comp.lang.functional#9884

  copy link   Newsgroups: comp.lang.functional
X-Received: by 2002:a37:a20f:: with SMTP id l15mr29218qke.24.1628842074958;
Fri, 13 Aug 2021 01:07:54 -0700 (PDT)
X-Received: by 2002:a25:cc43:: with SMTP id l64mr1404568ybf.497.1628842074729;
Fri, 13 Aug 2021 01:07:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.functional
Date: Fri, 13 Aug 2021 01:07:54 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:a03f:8adc:5500:8c24:1570:5bff:9569;
posting-account=NR6oZwoAAAAoozMy-TDG9pJEIke2QNPU
NNTP-Posting-Host: 2a02:a03f:8adc:5500:8c24:1570:5bff:9569
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a5902a68-b91f-4c41-ad2f-6f8d9bb7c338n@googlegroups.com>
Subject: Professor Position: Declarative Methods for Cognitive Robotics
From: tomenann...@gmail.com (Tom Schrijvers)
Injection-Date: Fri, 13 Aug 2021 08:07:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Tom Schrijvers - Fri, 13 Aug 2021 08:07 UTC

PROFESSOR OF DECLARATIVE METHODS FOR COGNITIVE ROBOTICS
KU Leuven Campus Diepenbeek

We welcome applicants with a wide range of expertise. Expertise in functional programming is especially appreciated.

There is a vacancy for a full-time academic position (tenured or tenure track) in the Computer Science Department at KU Leuven in the area of declarative methods for cognitive robotics. The vacant position is located at Diepenbeek Campus, which is part of the Faculty of Engineering Technology of the Science and Technology Group at KU Leuven. We are looking for internationally oriented candidates with an excellent research record and with good teaching competence in Computer Science.

The most used programming language for Robotics are C/C++ and Python: the first because one wants to get the most out of the available CPU-power, the second because of its accessibility. However, in the context of cognitive robotics, these languages have many drawbacks: software built in these languages does not scale well due to a lack of appropriate abstraction mechanisms, (formal) testing and debugging is difficult, parallelization is complex, ... Especially within artificial intelligence, declarative programming languages (both logical and functional) often enable faster, more accurate and more error-proof development of software.

Topics of interest are, amongst others:

* Development of a functional control system for robots that eliminates the shortcomings aforementioned: steps have already been taken within the international research community, but the breakthrough has not yet occurred.
* Application and deepening of functional reactive programming. This approach allows asynchronous data streams of various types of data and various sources to be processed efficiently and elegantly, something that robots must increasingly be able to do.
*Development of application software using declarative programming languages. This can be done both in the form of generic functional programming languages as well as in the form of domain-specific languages (DSL).
* Application of hybrid programming forms such as probabilistic or differentiable programming. Here, a program is partly manually coded, and partly learned. This allows seamless integration of model-based approaches with recent developments such as deep learning.

See https://www.kuleuven.be/personeel/jobsite/jobs/60003386
Feel free to get in touch if you have questions.

Tom Schrijvers


devel / comp.lang.functional / Professor Position: Declarative Methods for Cognitive Robotics

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor