Research Scientist – Formal Methods
Lexington, MA, United States
USD 91K-180K Entry-level Full Time Found 12d ago
Tasks
- Build tools in programming languages
- Collaborate on debugging and reviews
- Contribute to technical publications
- Design solutions for formal methods problems
- Document and communicate technical decisions
- Prototype and evaluate software features
Perks/Benefits
- N/A
Skills/Tech-stack
Assembly | Benchmarking | C Programming | Collaboration | Computer Architecture | Debugging | Documentation | Formal Methods | Operating Systems | Programming Languages | Prototyping | Research process | SMT solvers | Software development | Systems Software | Theorem provers | Version control
Education
Regions
Countries
States
Cities
Language: en |
Views: 0 |
Clicks: 0
Related jobs
-
Data Mining | Deep learning | Hardware performance | Hardware performance analysis | Language ProcessingBenefits | Bonus | EquityMid-level Full TimeNew York, NY, USA; Seattle, WA, …2d ago
-
AI Security | AI trend analysis | Collaboration | LLM security | Process optimizationCollaboration with industry experts | Community building events | Hands-on learningEntry-level InternshipSan Jose, California, United States14d ago