Thesis-Job: Find the best specification method

[email protected] Tue, 18 Mar 2025 21:00:07 +0100

Newsgroups	gmane.comp.lang.haskell.cafe
Message-ID	<[email protected]>

Dear haskell-list,

at Siemens Mobility I would like to improve our specifications.

For that, I have the opportunity to teach the properties of our product
to a student, and ask him/her to specify the product with more or less
of the full power of current specification techniques.

The goal for me is, to evaluate existing methods and find the best
method. We work intensively with specifications, thus a big level of
mathematical formalism can count, as long as the technical team likes
to learn and use it.

The job offering for a final thesis is at the end of the post.

Beside that: What does the list think are methods that are fruitful in
a commercial high-quality setting ?

The implementation shall not or almost not be changed, we just want a
system for test generation and analysis of the required (and hopefully
correctly implemented) system.

Thank you for your answers!

#### Job-offering (German):

https://jobs.siemens.com/careers?query=440671&pid=563156121392428&organization=Mobility&domain=siemens.com&sort_by=relevance&hl=de&triggerGoButton=false

As part of your work, you can do the following tasks:

Search and justify a selection of an existing textual specification
method (Domain Specific Language or Framework in a proven programming
language).

Specify parts of our existing system with the selection and apply the
specification, e.g. for test case generation or for the detection of
system properties. Examine the practicality of the specification
method for daily use.

What do you bring?

You are studying computer science or a similar field.
You already have knowledge of syntax and semantics / specification
methods. Ideally, you have knowledge of several imperative
languages and knowledge of functional programming (e.g. Haskell,
OCaml, ...). Knowledge of machine proving is an advantage. You
have good German and English language skills.

You can write the work in German, English or bilingual. If you would
like to complete a mandatory internship in advance, this is also
possible after consultation.

--
Mein PGP-Schlüssel-Fingerabdruck:

B3CD 2CB8 EC08 B6BD D82C 9BE1 F702 BF50 C4AF 179D

oder

88E6 D1E7 9276 BC56 849C CF02 9F96 BE18 43FA 2CC0

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

signature.asc (application/pgp-signature, 833 B)