[Haskell-cafe] Thesis-Job: Find the best specification method
Isaac Elliott
haskell-cafe at id.ielliott.io
Sat Mar 22 01:27:04 UTC 2025
> Beside that: What does the list think are methods that are fruitful
ina commercial high-quality setting?
Quiviq's case studies using (Erland, monadic) QuickCheck sound
promising, but I've never tried it.
Some examples:
* https://www.youtube.com/watch?v=H18vxq-VsCk
* https://www.infoq.com/presentations/QuickCheck-Compliance-Testing/
* https://www.quviq.com/blog/google-leveldb/
On 2025-03-19 06:00, lists0 at freea2a.de wrote:
> 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.
>
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> 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.
More information about the Haskell-Cafe
mailing list