|
Call for Presentations: PrivacyCon 2020 |
0
|
564 |
by willirn1
Nov 8 2019 - 4:57pm |
n/a |
|
Verification Tool Competition: |
0
|
414 |
by Anonymous
Mar 14 2019 - 10:11am |
n/a |
|
Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems at Virginia Tech |
0
|
350 |
by Anonymous
Aug 16 2018 - 10:44am |
n/a |
|
SAC SVT 2018, April 12, Pau, France - Call for Participation |
0
|
448 |
by Anonymous
Mar 14 2018 - 1:50pm |
n/a |
|
Call for Nominations - VCLA Awards 2018 for Master and Bachelor theses (deadline: 15 March) |
0
|
369 |
by Anonymous
Feb 8 2018 - 1:25pm |
n/a |
|
QBFEVAL'18 - Competitive Evaluation of QBF Solvers Preliminary Call for Participation |
0
|
453 |
by Anonymous
Jan 29 2018 - 1:42pm |
n/a |
|
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems |
0
|
542 |
by Anonymous
Oct 5 2017 - 3:27pm |
n/a |
|
A 2-year Post-doc position at the Tempo team at Verimag |
0
|
621 |
by Anonymous
Oct 5 2017 - 1:00pm |
n/a |
|
CALL FOR PARTICIPATION: RUNTIME VERIFICATION 2017 (RV '17) |
0
|
513 |
by Anonymous
Aug 22 2017 - 2:39pm |
n/a |
|
RERS: International Challenge on the Rigorous Examination of Reactive Systems 2017 |
0
|
477 |
by Anonymous
Mar 28 2017 - 2:02pm |
n/a |
|
QBFEVAL'17 - First Call for Participation |
0
|
397 |
by Anonymous
Mar 6 2017 - 6:39pm |
n/a |
|
TRAVEL GRANTS: VerifyThis Verification Competition 2017 |
0
|
452 |
by Anonymous
Mar 6 2017 - 4:40pm |
n/a |
|
2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking |
0
|
471 |
by Anonymous
Jan 20 2017 - 3:20pm |
n/a |
|
Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University |
0
|
423 |
by Anonymous
Jan 3 2017 - 3:43pm |
n/a |
|
15 Research Positions for PhD Candidates (f / m) System Correctness under Adverse Conditions (SCARE) |
0
|
681 |
by Anonymous
Dec 5 2016 - 12:07pm |
n/a |
|
POSTDOC POSITIONS IN THE DEPARTMENT OF COMPUTER SCIENCE, FEDERAL UNIVERSITY OF BAHIA - BRAZIL |
0
|
528 |
by Anonymous
Oct 5 2016 - 12:57pm |
n/a |
|
PostDoc position @ RWTH Aachen University, Germany: Application Software Engineering for Cyber-physical Systems |
0
|
605 |
by Anonymous
Aug 30 2016 - 4:59pm |
n/a |
|
Tutorial on Cyber-Physical Systems Engineering: Next GenerationFoundations, Methods and Tools |
0
|
500 |
by Anonymous
Jul 15 2016 - 3:12pm |
n/a |
|
Call for Participation: ICES conference on Requirements and Verification |
0
|
396 |
by Anonymous
Jul 15 2016 - 3:07pm |
n/a |
|
Call for Participation: Summer School on Verification Technology, Systems & Applications |
0
|
479 |
by Anonymous
Jul 5 2016 - 3:09pm |
n/a |
|
AI ethics |
0
|
823 |
by jlamuth
May 18 2016 - 5:31pm |
n/a |
|
PhD Student / Research Assistant Position: Formal Methods in Software and Systems Engineering |
0
|
493 |
by Anonymous
Apr 26 2016 - 1:21pm |
n/a |
|
Senior Researcher Position in Software Testing at SICS Swedish ICT Västerås, Sweden |
0
|
438 |
by Anonymous
Mar 31 2016 - 11:36am |
n/a |
|
Call for Participation: Survey on Model-based Software Engineering and Auto-generated Code |
0
|
505 |
by Anonymous
Mar 25 2016 - 12:13pm |
n/a |
