ACP Section
@acp.mastodon.acm.org.ap.brid.gy
ACP section @ University of Southern Denmark
We work on programming languages, cybersecurity, and artificial intelligence.
🌉 bridged from ⁂ https://mastodon.acm.org/@acp, follow @ap.brid.gy to interact
We work on programming languages, cybersecurity, and artificial intelligence.
🌉 bridged from ⁂ https://mastodon.acm.org/@acp, follow @ap.brid.gy to interact
To apply:
~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~
https://fa-eosd-saasfaprod1.fa…
~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~
https://fa-eosd-saasfaprod1.fa…
(3/3)
~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~
https://fa-eosd-saasfaprod1.fa…
~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~
https://fa-eosd-saasfaprod1.fa…
(3/3)
November 12, 2025 at 9:19 AM
To apply:
~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~
https://fa-eosd-saasfaprod1.fa…
~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~
https://fa-eosd-saasfaprod1.fa…
(3/3)
~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~
https://fa-eosd-saasfaprod1.fa…
~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~
https://fa-eosd-saasfaprod1.fa…
(3/3)
We're looking for researchers passionate about formal methods, theorem proving, and programming languages. We want to push the boundaries of verified computing and make it a viable mainstream technology for the future of computing research and everyday software development.
🌍 Locations: Odense […]
🌍 Locations: Odense […]
Original post on mastodon.acm.org
mastodon.acm.org
November 11, 2025 at 2:43 PM
We're looking for researchers passionate about formal methods, theorem proving, and programming languages. We want to push the boundaries of verified computing and make it a viable mainstream technology for the future of computing research and everyday software development.
🌍 Locations: Odense […]
🌍 Locations: Odense […]