Research Scientist – Formal Methods
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
Related jobs
-
Senior Principal Cyber/EW Research Scientist USD 145K-276KC# | Cyber Warfare | Cybersecurity | Electromagnetic warfare | PrototypingEducational assistance | Healthcare | Relocation assistance | Retirement plan | Work/life benefitsSenior-level Full TimeUS-VA-ARLINGTON-111 ~ 1300 17Th St N …11d ago
-
Data Mining | Deep learning | Hardware performance | Hardware performance analysis | Language ProcessingBenefits | Bonus | EquityMid-level Full TimeNew York, NY, USA; Seattle, WA, …23d 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 States1mo ago