About the role
The safety team builds and maintains the argument for the safety of autonomous construction equipment. The intern explores how formal methods and LLM assistance can strengthen this argument by formalizing a safety claim and verifying it with real-world data.
Our summary of the posting; the original is on the Bedrock Robotics careers page.
What the posting requires
- Required
- Lean
- Probability
- Knowledge graphs
- LLM
- Mathlib
- Statistics
- Structured document analysis
- Code
- Real analysis
- Distributions
- Preferred
- Safety case
- Rust
- Assurance case
- Verification tools
- GSN
- Aeneas
These tags are our reading of the posting. They can miss something; the original posting is the reference.