Deadline Extension
The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth)
Workshop: 17th - 19th Nov 2025
Send us papers applying #FormalMethods to almost any kind of #Autonomous System
More details: https://buff.ly/7CbLuOm
#formalmethods
2 posts2 participants0 posts today
Deadline Extension
The deadline for #FMAS2025 is now the 28th of August (Anywhere on Earth)
Workshop: 17th - 19th Nov 2025
Send us papers applying #FormalMethods to almost any kind of #Autonomous System
More details: https://fmasworkshop.github.io/FMAS2025/
International Workshop on Formal Methods for Autonomous Systems · Seventh International Workshop on Formal Methods for Autonomous Systems
Lobsters Interview with Hwayne For this interview , I spoke with hwayne a few times. Last week, we talked to icefox , next week we’ll hear from matklad . Thank you to my proof readers! <3 Yo! ...
#person #interview #formalmethods
Origin | Interest | Match
#person #interview #formalmethods
Origin | Interest | Match
lobste.rsLobsters Interview with Hwayne | Lobsters
Lobsters Interview with Hwayne For this week’s interview , I spoke with hwayne a few times. Last week, we talked to icefox , next week we’ll hear from matklad . Thank you to my proof readers! &...
#person #formalmethods
Origin | Interest | Match
#person #formalmethods
Origin | Interest | Match
lobste.rsLobsters Interview with Hwayne | Lobsters
Lobsters Interview with Hwayne For this week’s interview , I spoke with hwayne a few times. Last week, we talked to icefox , next week we’ll hear from matklad . Thank you to my proof readers! &...
#person #formalmethods
Origin | Interest | Match
#person #formalmethods
Origin | Interest | Match
lobste.rsLobsters Interview with Hwayne | Lobsters
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS https://lobste.rs/s/7qwokh #audio #distributed #formalmethods
https://podcasts.apple.com/us/podcast/scaling-correctness-marc-brooker-on-a-decade-of/id1828967504?i=1000720862143
lobste.rsScaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS | Lobsters
One of my almae matres (?) is hiring!
From the LinkedIn announcement:
"The 𝐂𝐨𝐦𝐩𝐮𝐭𝐞𝐫 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 department at UCLouvain (Belgium) will soon open 𝐭𝐡𝐫𝐞𝐞 𝐟𝐮𝐥𝐥-𝐭𝐢𝐦𝐞 𝐟𝐚𝐜𝐮𝐥𝐭𝐲 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 targeting excellent profiles in the following domains:
- 2 Positions in one or more of these areas:
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠,
=> 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐚𝐧𝐝 𝐥𝐚𝐧𝐠𝐮𝐚𝐠𝐞𝐬,
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐝𝐞𝐩𝐞𝐧𝐝𝐚𝐛𝐢𝐥𝐢𝐭𝐲, 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐟𝐨𝐫𝐦𝐚𝐥 𝐦𝐞𝐭𝐡𝐨𝐝𝐬.
- 1 Position in 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐲𝐛𝐞𝐫𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲, also broadly construed (e.g., system security, cyber-physical systems security, AI for security & security for AI, privacy, distributed systems security, etc.).
The three positions will be open to 𝐚𝐥𝐥 𝐬𝐞𝐧𝐢𝐨𝐫𝐢𝐭𝐲 𝐥𝐞𝐯𝐞𝐥𝐬 (assistant/associate or full)."
I loved the year that I spent at Université catholique de Louvain! I learned so much there, and every time I am back, I am welcomed with such open arms by the lovely people there. I'm happy where I am now at TU Delft, but seeing this announcement, my heart jumped and I admit that I did quickly check my profile against the positions that are opening.
#AcademicJobs #GetFediHired #AcademicMastodon #AcademicJob #SoftwareEngineering #ProgrammingLanguages #FormalMethods #SoftwareSecurity #CyberSecurity #Belgium #LLN #UniversitéCatholiquedeLouvain
#AcademicChatter
www.linkedin.com𝐓𝐡𝐫𝐞𝐞 𝐅𝐚𝐜𝐮𝐥𝐭𝐲 𝐏𝐞𝐫𝐦𝐚𝐧𝐞𝐧𝐭 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 𝐎𝐩𝐞𝐧𝐢𝐧𝐠 𝐚𝐭 ICTEAM - UCLouvain 𝐢𝐧 𝐅𝐚𝐥𝐥 2025 | ICTEAM - UCLouvain𝐓𝐡𝐫𝐞𝐞 𝐅𝐚𝐜𝐮𝐥𝐭𝐲 𝐏𝐞𝐫𝐦𝐚𝐧𝐞𝐧𝐭 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 𝐎𝐩𝐞𝐧𝐢𝐧𝐠 𝐚𝐭 ICTEAM - UCLouvain 𝐢𝐧 𝐅𝐚𝐥𝐥 2025
The 𝐂𝐨𝐦𝐩𝐮𝐭𝐞𝐫 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 department at UCLouvain (Belgium) will soon open 𝐭𝐡𝐫𝐞𝐞 𝐟𝐮𝐥𝐥-𝐭𝐢𝐦𝐞 𝐟𝐚𝐜𝐮𝐥𝐭𝐲 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 targeting excellent profiles in the following domains:
- 2 Positions in one or more of these areas:
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠,
=> 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐚𝐧𝐝 𝐥𝐚𝐧𝐠𝐮𝐚𝐠𝐞𝐬,
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐝𝐞𝐩𝐞𝐧𝐝𝐚𝐛𝐢𝐥𝐢𝐭𝐲, 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐟𝐨𝐫𝐦𝐚𝐥 𝐦𝐞𝐭𝐡𝐨𝐝𝐬.
- 1 Position in 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐲𝐛𝐞𝐫𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲, also broadly construed (e.g., system security, cyber-physical systems security, AI for security & security for AI, privacy, distributed systems security, etc.).
The three positions will be open to 𝐚𝐥𝐥 𝐬𝐞𝐧𝐢𝐨𝐫𝐢𝐭𝐲 𝐥𝐞𝐯𝐞𝐥𝐬 (assistant/associate or full).
Highlights:
- A 𝐯𝐢𝐛𝐫𝐚𝐧𝐭 𝐰𝐨𝐫𝐤 𝐞𝐧𝐯𝐢𝐫𝐨𝐧𝐦𝐞𝐧𝐭 just south of Brussels
- A department with 𝐞𝐱𝐜𝐞𝐥𝐥𝐞𝐧𝐭 𝐫𝐞𝐬𝐞𝐚𝐫𝐜𝐡 infrastructure and support
- Moderate teaching load and access to 𝐞𝐱𝐜𝐞𝐥𝐥𝐞𝐧𝐭 𝐬𝐭𝐮𝐝𝐞𝐧𝐭𝐬
- 𝐂𝐨𝐦𝐩𝐞𝐭𝐢𝐭𝐢𝐯𝐞 salaries and benefits
- No need to speak French to apply (but willingness to learn in a few years if appointed)
Applications will open in 𝐅𝐚𝐥𝐥 2025 and will be handled 𝐞𝐱𝐜𝐥𝐮𝐬𝐢𝐯𝐞𝐥𝐲 𝐭𝐡𝐫𝐨𝐮𝐠𝐡 𝐭𝐡𝐞 𝐔𝐂𝐋𝐨𝐮𝐯𝐚𝐢𝐧 𝐩𝐨𝐫𝐭𝐚𝐥: https://lnkd.in/eDaYY-hr
Questions? Contact: etienne.riviere@uclouvain.be
➡️ Follow the ICTEAM LinkedIn page to stay informed and help spread the word!
#UCLouvain #ICTEAM #ProfessorPosition #SoftwareEngineering #Cybersecurity #FacultyHiring #ComputerScience #EngineeringResearch #InternationalOpportunities #JoinUs
Etienne Riviere Kim Mens Cristel Pelsser Ramin Sadre Tom Barbette Hélène Verhaeghe Pierre Dupont Pierre Schaus Peter Van Roy Eric Piette Yves Deville Charles Pecheur Siegfried Nijssen Quentin Cappart Olivier Bonaventure Sébastien Jodogne Julien Hendrickx
Our program committee is ready and waiting!
If you're doing research with #FormalMethods and #Autonomy, then we're probably interested in your work!
Special focus for this year: Human-AI teams!
Deadline: 22nd August 2025
Details: https://fmasworkshop.github.io/FMAS2025/
International Workshop on Formal Methods for Autonomous Systems · Seventh International Workshop on Formal Methods for Autonomous Systems
Catching up on some of the really great talks from the Zurich DVClub on RISC-V Verification
https://alpinumconsulting.com/dv-club-zurich-riscv-verification/
#DV #SiliconEngineering #RISCV #FormalMethods #FV
One month left to apply!
If you are looking for a PhD position and are interested in working on probabilistic inference, sensitivity analysis, and decision-making, this might be the job for you! We are looking for candidates with a strong background in Computer Science, and ideally also in Mathematics.
Please apply by 31 August. We're looking forward to reading your application!
#AcademicJobs
#AcademicMastodon
#GetFediHired
#AcademicJob
#SymbolicAI
#Statistics
#AI
#ConstraintProgramming
#CombinatorialOptimisation
#SensitivityAnalysis
#FormalMethods
#CombinatorialOptimization
#Delft
#TUDelft
#AcademicChatter
careers.tudelft.nlPhD Position Symbolic AI and Reasoning Under UncertaintyPhD Position Symbolic AI and Reasoning Under Uncertainty
Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code by @sandmouth https://lobste.rs/s/scar6u #assembly #formalmethods
https://www.philipzucker.com/asm_verify2/
lobste.rsVerified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code | Lobsters
Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tap#Call-for-Papers
conf.researchr.orgFM 2026 - Special Track on TAP (Tests and Proofs) - FM 2026FM 2026 welcomes a special track for the TAP (Tests and Proofs) conference series.
Amazon stellt Kiro vor – ein neues KI-Tool auf Basis formaler Spezifikationen.
Statt Code zu schreiben, wird das gewünschte Verhalten beschrieben. Ideal zur Verifikation reaktiver Systeme.
#Amazon #Kiro #KI #FormalMethods
Oh, look, an explainer video on the formal method underlying our tool suite! Plus a bit more stuff. But really a bit, it's mostly about the formal method underlying our tool suite. Did I mention our tool suite, and the formal method underlying it, and the new video explaining these?
youtu.be- YouTubeEnjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Yalep - Micro language based on Lean for teaching mathematical high-school proofs https://lobste.rs/s/4clcyb #education #formalmethods
https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep
lobste.rsYalep - Micro language based on Lean for teaching mathematical high-school proofs | Lobsters
Here is a very nice experience report of conformance checking between #TLA+ specs and implementation, covering both test-case generation and trace checking: https://www.mongodb.com/company/blog/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs
There are a lot of links to other reports and papers, I recommend to check them out too.
MongoDBConformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB BlogTesting code fidelity with TLA+ specs at MongoDB. Explore conformance checking experiences and agile modelling in distributed systems.