coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant Professor position in Formal Methods, Eindhoven University, The Netherlands

From: "Willemse, Tim" <T.A.C.Willemse AT tue.nl>
To: "Willemse, Tim" <T.A.C.Willemse AT tue.nl>
Subject: [Coq-Club] Assistant Professor position in Formal Methods, Eindhoven University, The Netherlands
Date: Thu, 21 Oct 2021 18:06:05 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=tue.nl; dmarc=pass action=none header.from=tue.nl; dkim=pass header.d=tue.nl; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Gf2s5LXUABCtZjLgLIXuYOw2FHGfjYqEXrJ0+9FG5+U=; b=FDmD5yILg3ocHjL+BcfVXGlJphn/26LAPrDmlqY7i7+oKKX/QAs8HmCMbJtzPRJ8jQRQf9JDcT5ySxULBOIG1GQbRoj4KlrMsW1lDt5U/Jh1hsgn1HuRE3HP9Ue2NEh2VtqzrCbeCVx2IznyAFaIKThDP7GoPmccmGOQH2VBBsx+bJw+JK47t30OTTB8iWjvoFeoaab66YEwh/mu2Q+/6ZaqprQlu5Iv2gVc0hRymAh0HLaV/G12BtdZVIwCnPsuLEx5lsu9TYw5DCc1tClxhtOIFgBHV0wgAGRzbQkVHEyXkIM0ZE6gp0e8kU7e+obkQHfvUUWiZ3f3RUAjnp/e+w==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lth++4jdpkmT/IqDZjR11Tm5dxRCJxCPwrs+h7OnpuUQTni7OtZ8de4LyEyf17iDrxW1zrylVpVyp7cA5MGlPMiVp0rbE13rqmeu5P137uhmE0T8+CXwYUCwhc/XWE0mskDWAH1AHBY2Hc7bWAmA2UfpuEyAgfAxilT804Q7P7RkAXMRqBzPq0AyBTy8kdjQQOZHt8aGM+rtDyISjS28/WMinvEZ0Oc4iso/8a4icHMlymz9d3Pws9ptJc3m7yVr9Pm2beiT56w9Sfuj5LKvD0KO4AF5gJ4AvZtmQF2oW8IX2J9KGMFTtAMZbQeP5uz4eu1jIA0DJX8YoXi0GudxGg==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=T.A.C.Willemse AT tue.nl; spf=Pass smtp.mailfrom=T.A.C.Willemse AT tue.nl; spf=Pass smtp.helo=postmaster AT EUR01-DB5-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:Ca6v56zW0keUCTHyia96KrPwK71zdoMgy1knxilNoNJuHvBw9vre/sjzuiWetN98YhsdcJW7VpVoIkmslqKdg7N/AV7KZmCPhILrFuBfBODZowEIbheOkNK1op0QFJSWZuecMbEDt7ef3ODuKadE/OW6
Ironport-phdr: A9a23:N2MCKRVIgkK960/tFaXa85ZB7BLV8KyfUjF92vMcY1JmTK2v8tzYMVDF4r011RmVB92duqsP1rWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRlEiCC5bL9vIxm7rQfcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhzodNzMh8G/ZlNF+jL5VrhyiuxNxzIHbbZqJNPpnYq/RYc8WSXZcUstXSidPApm8b4wKD+cZM+pXr4j9p18KrRSgAAmsH/3gxidVjXHo3K061uotGhzB0QI+Bd4DrG7YocvvOKgSUOC1yK3IwivGb/NNxzjw85TIcg0/rv2WW7JwddPcxE8yHAzKklues5bqPy+J1usTqWib6fJtW+KthmAppQ98oTihy8UxhofJiIwY103I+yt3zYsrJNC1VE52bcC4HJZStiyXKZZ7T8EiTmxstig3zqEKtJ6/cSUM1Z8pyRnfa/mdfIiJ5BLuTPqRISpmi35/frK/gxC/+lWjxO3kTsS530pGojBYntXQtH0BzQHf58idRvdg4Eus2i6D2x7S5+1YL005kLfXJ4I7zbMxk5cfr1jPEyzzlUrrgqKbc0Ap9vao5unhf77ovIWTN5VuhQH7KqkumtKwAeA/MgUWUGaU9/iy2KH+8UHgTrtHk/07nrDesJ/BO8sXvKm5AxJJ0ok47Ba/EjGm38kCkXkfNlJFfw6HgJb1NFHSIfD4CvG/j06rkDd22/DGOrrhApLOLnTZjLjherN951ZdyAo1099f+4pZB74dLP7pR0P9qN7VAgUkPwG02errFctx24AGVWKKGKCZMafSsVGS5uIoJumBfJEbtCzhJvQ/+fPil382mV4Zfamtw5QXbWu4Eep9LkWFfHrjnM0NEWEOvgYmVuzllEWCUSJPZ3a1R68z+jY7CJu/AYjfQoCtnaeO0TygHpxWY2BGEkqDHW3pd4WCQfcMaTidLtVvkjweBvCdTNpr6hCqsAL/0LcjZtbV/2dQ4a6l/Z5eodLSkRU/8Cd5J9iA3ieLSzcnsHkPQmp846F7pUF40VrHmZR5hrYQQeAVzrViFDg7MZrRyvd3I8zvV0THeoHaGx6dXty6DGRpHZoKyNgUbhMlcz1Dpj3+5XLzRpM/yvmMDpFy9b/A1X/sIco702zByKQqk1ghRI1IKHGigal8sQPUAtyQ+612v7q3eOIa2HyUnI9m5XaTsQdeVFwoOZg=
Suggested_attachment_session_id: 12c75b46-49cc-56d0-1491-f62c2d65de39

The Department of Mathematics and Computer Science of the
Eindhoven University of Technology, The Netherlands, has a vacancy
for a tenured/tenure track assistant professor in the Formal System
Analysis (FSA) group.

The Formal System Analysis Group studies formal techniques to model
and analyse software and hardware systems. The goal is to develop
techniques that are both mathematically elegant and practically
effective. Techniques typically used are term rewriting, fixed
points, parity games, SAT and SMT solving and symbolic state space
representations. The group maintains the mCRL2 toolset, which is
in use at a number of major industries and public bodies, generally
as a verification backend. The group has strong ties with industrial
partners and actively strives to apply its methods in industrial
contexts.

The group is particularly keen on strengthening its expertise in
automated reasoning, SAT solving and SMT solving.

***
This vacancy is part of the Irène Curie Fellowship and is currently
only open for female candidates. Male applicants will not be
considered for the position. As an Irène Curie Fellow, you are
entitled to a substantial start-up package to kick-off your career.
***

For more information:

https://jobs.tue.nl/en/vacancy/assistant-professor-in-formal-system-analysis-895187.html

or contact dr.ir. T.A.C. (Tim) Willemse, t.a.c.willemse[at]tue.nl.

Applications will be screened as soon as they are received. Screening
will continue until the position has been filled.

[Coq-Club] Assistant Professor position in Formal Methods, Eindhoven University, The Netherlands, Willemse, Tim, 10/21/2021